Dynamic determinacy analysis
- Max Schäfer
- Manu Sridharan
- et al.
- 2013
- PLDI 2013
Publications
Date
Featured collections
Popular topics
3 results at PLDI 2013
Thresher: Precise refutations for heap reachability
- Sam Blackshear
- Bor-Yuh Evan Chang
- et al.
- 2013
- PLDI 2013
CLAP: Recording local executions to reproduce concurrency failures
- Jeff Huang
- Charles Zhang
- et al.
- 2013
- PLDI 2013