Publications

3 results at PLDI 2013

Dynamic determinacy analysis
- - Max Schäfer
  - Manu Sridharan
  - et al.
- 2013
- 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