Publications

2 results at POPL 2010

Programming with angelic nondeterminism
- - Rastislav Bodik
  - Satish Chandra
  - et al.
- 2010
- POPL 2010
Abstraction-guided synthesis of synchronization
- - Martin Vechev
  - Eran Yahav
  - et al.
- 2010
- POPL 2010