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