Scalable and precise dynamic datarace detection for structured parallelism
Abstract
Existing dynamic race detectors suffer from at least one of the following three limitations:
Related papers
- Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs PLDI 2002
- Dataflow analysis for concurrent programs using datarace detection PLDI 2008
- Scaling model checking of dataraces using dynamic information PPoPP 2005
- Detecting All High-Level Dataraces in an RTOS Kernel VMCAI 2017
- Saturn: A scalable framework for error detection using Boolean satisfiability TOPLAS 2007
- Communication-centric optimizations by dynamically detecting collective operations PPoPP 2012
- Entanglement detection with near-zero cost ICFP 2022
- Scalable parallel debugging with statistical assertions PPoPP 2012