Distributed systems are difficult to implement correctly because they must handle both
concurrency and failures: machines may crash at arbitrary points and networks may reorder …

Coverage-guided fuzz testing (" fuzzing") has become mainstream and we have observed
lots of progress in this research area recently. However, it is still challenging to efficiently test …

Diagnosis and correction of performance issues in modern, large-scale distributed systems
can be a daunting task, since a single developer is unlikely to be familiar with the entire …

This paper argues that a new class of bugs faced by millions of smartphones, energy bugs
or ebugs, have become increasingly prominent that already they have led to significant user …

MODIST is the first model checker designed for transparently checking unmodified
distributed systems running on unmodified operating systems. It achieves this transparency …

The last five years have seen a rise of implementationlevel distributed system model
checkers (dmck) for verifying the reliability of real distributed systems. Existing dmcks …

Concurrent systems are notoriously difficult to debug and understand. A common way of
gaining insight into system behavior is to inspect execution logs and documentation …

Grey-box fuzzing is the lightweight approach of choice for finding bugs in sequential
programs. It provides a balance between efficiency and effectiveness by conducting a …

Distributed systems have become the backbone of cloud computing. Incorrect system
designs and implementations can greatly impair the reliability of distributed systems …

Recent advances in formal verification techniques enabled the implementation of distributed
systems with machine-checked proofs. While results are encouraging, the importance of …