JavaScript has become one of the most prevalent programming languages. Unfortunately,
some of the unique properties that contribute to this popularity also make JavaScript …

JavaScript has been a de facto standard language for client-side web programs, and now it
is expanding its territory to general purpose programs. In this article, we classify the client …

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 investigate a family of bugs in blockchain-based smart contracts, which we dub event-
ordering (or EO) bugs. These bugs are intimately related to the dynamic ordering of contract …

Programming environments for smartphones expose a concurrency model that combines
multi-threading and asynchronous event-based dispatch. While this enables the …

Mobile systems commonly support an event-based model of concurrent programming. This
model, used in popular platforms such as Android, naturally supports mobile devices that …

Many JavaScript programs are written in an event-driven style. In particular, in server-side
Node. js applications, operations involving sockets, streams, and files are typically …

Concurrency bugs are hard to find, reproduce, and debug. They often escape rigorous in-
house testing, but result in large-scale outages in production. Existing concurrency-bug …

Software-Defined Networking (SDN) has significantly enriched network functionalities by
decoupling programmable network controllers from the network hardware. Because SDN …

We present a complete end-to-end dynamic analysis system for finding data races in mobile
Android applications. The capabilities of our system significantly exceed the state of the art …