While current bug detection techniques for concurrent software focus on unearthing low-
level issues such as data races or deadlocks, they often fall short of discovering more …

We propose a general framework for static analysis of concurrent multi-threaded programs
in the presence of various types of synchronization primitives such as locks and pairwise …

Data races are among the most reliable indicators of programming errors in concurrent
software. For at least two decades, Lamport's happens-before (HB) relation has served as …

In previous work, we developed a sound static analysis by abstract interpretation to check
the absence of run-time errors in concurrent programs, focusing on embedded C programs …

Data races are among the most common bugs in concurrency. The standard approach to
data-race detection is via dynamic analyses, which work over executions of concurrent …

Despite the numerous static and dynamic program analysis techniques in the literature, data
races remain one of the most common bugs in modern concurrent software. Further, the …

Writing reliable concurrent software remains a huge challenge for today's programmers.
Programmers rarely reason about their code by explicitly considering different possible inter …

Runtime monitoring allows programmers to validate, for instance, the proper use of
application interfaces. Given a property specification, a runtime monitor tracks appropriate …

Data race is one of the most dangerous errors in multithreaded programming, and despite
intensive studies, it remains a notorious cause of failures in concurrent systems. Detecting …

Dataraces in multithreaded programs often indicate severe bugs and can cause unexpected
behaviors when different thread interleavings are executed. Because dataraces are a cause …