Detecting Errors Before Reaching Them
Abstract elided by the publisher.
Related papers
- Detecting and reproducing error-code propagation bugs in MPI implementations PPoPP 2020
- Scalable race detection for Android applications OOPSLA 2015
- Practical initialization race detection for JavaScript web applications OOPSLA 2017
- Static Race Detection and Mutex Safety and Liveness for Go Programs ECOOP 2020
- Automatic detection of floating-point exceptions POPL 2013
- Hybrid dynamic data race detection PPoPP 2003
- Transition Power Abstractions for Deep Counterexample Detection TACAS 2022
- EffectiveSan: type and memory error detection using dynamically typed C/C++ PLDI 2018