Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs
No abstract available.
Related papers
- Precise and maximal race detection from incomplete traces OOPSLA 2016
- Maximal sound predictive race detection with control flow abstraction PLDI 2014
- Scalable race detection for Android applications OOPSLA 2015
- SDNRacer: concurrency analysis for software-defined networks PLDI 2016
- Sound predictive race detection in polynomial time POPL 2012
- Dynamic race prediction in linear time PLDI 2017
- Inductive Diagrams for Causal Reasoning OOPSLA 2024
- The lazy happens-before relation: better partial-order reduction for systematic concurrency testing PPoPP 2015