When systems fail in production environments, log data is often the only information
available to programmers for postmortem debugging. Consequently, programmers' decision …

We present CLAP, a new technique to reproduce concurrency bugs. CLAP has two key
steps. First, it logs thread local execution paths at runtime. Second, offline, it computes …

We describe a cascaded method for object detection. This approach uses a novel
organization of the first cascade stage called" feature-centric" evaluation which re-uses …

We present maximal causality reduction (MCR), a new technique for stateless model
checking. MCR systematically explores the state-space of concurrent programs with a …

Multi-Version eXecution (MVX) is a technique that deploys many equivalent versions of the
same program—variants—as a single program, with direct applications in important fields …

We present Castor, a record/replay system for multi-core applications that provides
consistently low and predictable overheads. With Castor, developers can leave record and …

Slow builds remain a plague for software developers. The frequency with which code can be
built (compiled, tested and packaged) directly impacts the productivity of developers: longer …

Writing efficient synchronization for multithreaded programs is notoriously hard. The
resulting code often contains subtle concurrency bugs. Even worse, many bug fixes …

Predictive analysis is a powerful technique that exposes concurrency bugs in un-exercised
program executions. However, current predictive analysis approaches lack the …

Debugging of concurrent systems is a tedious and error-prone activity. A main issue is that
there is no guarantee that a bug that appears in the original computation is replayed inside …