research
∙
04/07/2023
Optimal Reads-From Consistency Checking for C11-Style Memory Models
Over the years, several memory models have been proposed to capture the ...
share
research
∙
04/07/2023
Sound Dynamic Deadlock Prediction in Linear Time
Deadlocks are one of the most notorious concurrency bugs, and significan...
research
∙
08/25/2022
Coarser Equivalences for Concurrent Program Runs
Trace theory is a framework for designing equivalence relations for conc...
research
∙
01/17/2022
A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
Dynamic techniques are a scalable and effective way to analyze concurren...
research
∙
07/08/2021
Dynamic Data-Race Detection through the Fine-Grained Lens
Data races are among the most common bugs in concurrency. The standard a...
research
∙
10/30/2020
Optimal Prediction of Synchronization-Preserving Races
Concurrent programs are notoriously hard to write correctly, as scheduli...
research
∙
10/20/2020
Scalable Statistical Root Cause Analysis on App Telemetry
Despite engineering workflows that aim to prevent buggy code from being ...
research
∙
04/30/2020
The Complexity of Dynamic Data Race Prediction
Writing concurrent programs is notoriously hard due to scheduling non-de...
research
∙
01/14/2020
Atomicity Checking in Linear Time using Vector Clocks
Multi-threaded programs are challenging to write. Developers often need ...
research
∙
10/24/2019
What's Decidable About Program Verification Modulo Axioms?
We consider the decidability of the verification problem of programs mod...
research
∙
10/22/2019
Decidable Synthesis of Programs with Uninterpreted Functions
We identify a decidable synthesis problem for a class of programs of unb...
research
∙
06/29/2019
Deciding Memory Safety for Forest Datastructures
Memory safety is the problem of determining if a heap manipulating progr...
research
∙
11/01/2018
Decidable Verification of Uninterpreted Programs
verifying uninterpreted programs---programs that work over arbitrary da...
research
∙
08/01/2018
What Happens - After the First Race? Enhancing the Predictive Power of Happens - Before Based Dynamic Race Detection
Dynamic race detection is the problem of determining if an observed prog...
research
∙
07/23/2018
Data Race Detection on Compressed Traces
We consider the problem of detecting data races in program traces that h...
research
∙
12/15/2017