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 …

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

We aim to detect and diagnose energy anomalies, abnormally heavy battery use. This paper
describes a collaborative black-box method, and an implementation called Carat, for …

Big data analytics is the process of examining large amounts of data (big data) in an effort to
uncover hidden patterns or unknown correlations. Big Data Analytics Applications (BDA …

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 …

Debugging software failures in deployed systems is important because they impact real
users and customers. However, debugging such failures is notoriously hard in practice …

Go is a statically-typed programming language that aims to provide a simple, efficient, and
safe way to build multi-threaded software. Since its creation in 2009, Go has matured and …

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 …

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 …

Some of the worst concurrency problems in multi-threaded systems today are due to data
races---these bugs can have messy consequences, and they are hard to diagnose and fix …