Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
No abstract available.
Related papers
- Efficient race detection with futures PPoPP 2019
- Parallel determinacy race detection for futures PPoPP 2020
- Efficient parallel determinacy race detection for two-dimensional dags PPoPP 2018
- Efficient Timestamping for Sampling-Based Race Detection PLDI 2025
- Entanglement detection with near-zero cost ICFP 2022
- Provably space-efficient parallel functional programming POPL 2021
- Scalable and precise dynamic datarace detection for structured parallelism PLDI 2012
- What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection OOPSLA 2018