At the heart of software evolution is a sequence of edit actions, called an edit script, made to
a source code file. Since software systems are stored version by version, the edit script has …

Developers frequently use inefficient code sequences that could be fixed by simple patches.
These inefficient code sequences can cause significant performance degradation and …

Large, production quality distributed systems still fail periodically, and do so sometimes
catastrophically, where most or all users experience an outage or data loss. We present the …

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 …

In many projects, lexical preprocessors are used to manage different variants of the project
(using conditional compilation) and to define compile-time code transformations (using …

RedLeaf is a new operating system developed from scratch in Rust to explore the impact of
language safety on operating system organization. In contrast to commodity systems …

We present TaxDC, the largest and most comprehensive taxonomy of non-deterministic
concurrency bugs in distributed systems. We study 104 distributed concurrency (DC) bugs …

While kernel drivers have long been know to poses huge security risks, due to their
privileged access and lower code quality, bug-finding tools for drivers are still greatly lacking …

The file system is an essential operating system component for persisting data on storage
devices. Writing bug-free file systems is non-trivial, as they must correctly implement and …

Avoiding kernel vulnerabilities is critical to achieving security of many systems, because the
kernel is often part of the trusted computing base. This paper evaluates the current state-of …