In recent years, the deployment of many application-level countermeasures against memory
errors and the increasing number of vulnerabilities discovered in the kernel has fostered a …

Fixing software bugs has always been an important and time-consuming process in software
development. Fixing concurrency bugs has become especially critical in the multicore era …

Concurrency bugs are widespread in multithreaded programs. Fixing them is time-
consuming and error-prone. We present CFix, a system that automates the repair of …

Many bugs, even those that are known and documented in bug reports, remain in mature
software for a long time due to the lack of the development resources to fix them. We …

Developers spend a lot of time searching for the root causes of software failures. For this,
they traditionally try to reproduce those failures, but unfortunately many failures are so hard …

Multithreaded programs are hard to get right. A key reason is that the contract between
developers and runtimes grants exponentially many schedules to the runtimes. We present …

Data races are a common source of errors in multithreaded programs. In this paper, we
show how to protect a program from data race errors at runtime by executing multiple …

State machine replication (SMR) leverages distributed consensus protocols such as Paxos
to keep multiple replicas of a program consistent in face of replica failures or network …

Deterministic multithreading (DMT) eliminates many pernicious software problems caused
by nondeterminism. It works by constraining a program to repeat the same thread …

Just as errors in sequential programs can lead to security exploits, errors in concurrent
programs can lead to concurrency attacks. Questions such as whether these attacks are …