Publications

3 results for Charles Zhang

Grail: Context-aware fixing of concurrency bugs
- - Peng Liu
  - Omer Tripp
  - et al.
- 2014
- FSE 2014
CLAP: Recording local executions to reproduce concurrency failures
- - Jeff Huang
  - Charles Zhang
  - et al.
- 2013
- PLDI 2013
Finding incorrect compositions of atomicity
- - Peng Liu
  - Julian Dolby
  - et al.
- 2013
- ESEC/FSE 2013