Thread-Level Speculation (TLS) is a promising technique that allows the parallel execution
of sequential code without relying on a prior, compile-time-dependence analysis. In this …

This book presents new concepts, techniques and promising programming models for
designing software for chips with" many"(hundreds to thousands) processor cores. Given the …

CPU cache is a limited but crucial storage component in modern processors, whereas the
cache timing side-channel may inadvertently leak information through the physically …

A finite-state machine (FSM) is an important abstraction for solving several problems,
including regular-expression matching, tokenizing text, and Huffman decoding. FSM …

We present a complete redesign of evaluation strategies, a key abstraction for specifying
pure, deterministic parallelism in Haskell. Our new formulation preserves the …

User-defined aggregations (UDAs) are integral to large-scale data-processing systems,
such as MapReduce and Hadoop, because they let programmers express application …

Intermittently-powered, energy-harvesting devices operate on energy collected from their
environment and must operate intermittently as energy is available. Runtime systems for …

Parallelizing of software improves its effectiveness and productivity. To guarantee
correctness, the parallel and serial versions of the same code must be formally verified to be …

We present Sigma*, a novel technique for learning symbolic models of software behavior.
Sigma* addresses the challenge of synthesizing models of software by using symbolic …

Finite State Machine (FSM) is the backbone of an important class of applications in many
domains. Its parallelization has been extremely difficult due to inherent strong dependences …