Information & computer science publications

Traditional models based on strong computing primitives, such as atomic transactions, should be replaced by weaker models such as the partially ordered knowledge sharing model, which we motivate in this paper…

We propose a template-based approach that extracts a functional description for a low-level combinational circuit by showing it to be equivalent to a reference implementation, while synthesizing an appropriate mapping…

We describe the latest release of Yices, namely, Yices 2.2. We present the tool’s architecture and discuss the algorithms it implements, and we describe recent developments such as support for…

We present a new procedure for testing satisability (over the reals) of a conjunction of polynomial equations.

In this paper we describe the architecture and features of our lazy solver (LBV). We provide a comparative analysis of the eager and lazy approaches, and show how they are…

We present a computational technique, called FastGapFilling, that efficiently completes a reaction network by using only Linear Programming, not MILP.

This paper addresses the research challenges inherent to the exchange of content and interests without compromising the privacy of subscribers, and allowing unauthorised access to untrusted brokers. Specifically, this paper…

Motivated by contemporary security challenges, we reevaluate and refine capability-based addressing for the RISC era. We present CHERI, a hybrid capability model that extends the 64-bit MIPS ISA with byte-granularity…