Publications

3 results for Emina Torlak

Angelic debugging
- - Satish Chandra
  - Emina Torlak
  - et al.
- 2011
- ICSE 2011
Effective interprocedural resource leak detection
- - Emina Torlak
  - Satish Chandra
- 2010
- ICSE 2010
MemSAT: Checking axiomatic specifications of memory models
- - Emina Torlak
  - Mandana Vaziri
  - et al.
- 2010
- PLDI 2010