Publications

2 results for Shaon Barman

Angelic debugging
- - Satish Chandra
  - Emina Torlak
  - et al.
- 2011
- ICSE 2011
Programming with angelic nondeterminism
- - Rastislav Bodik
  - Satish Chandra
  - et al.
- 2010
- POPL 2010