Angelic debugging
- Satish Chandra
- Emina Torlak
- et al.
- 2011
- ICSE 2011
Publications
Date
Featured collections
Popular topics
15 results for Rastislav Bodik
Sketching stencils
- Armando Solar-Lezama
- Gilad Arnold
- et al.
- 2007
- PLDI 2007
Thin slicing
- Manu Sridharan
- Stephen J. Fink
- et al.
- 2007
- PLDI 2007
Programming by sketching for bit-streaming programs
- Armando Solar-Lezama
- Rodric Rabbah
- et al.
- 2005
- PLDI 2005
Debugging temporal specifications with concept analysis
- Glenn Ammons
- David Mandelin
- et al.
- 2003
- PLDI 2003
A "flight data recorder" for enabling full-system multiprocessor deterministic replay
- Min Xu
- Rastislav Bodik
- et al.
- 2003
- ISCA 2003
Programming with angelic nondeterminism
- Rastislav Bodik
- Satish Chandra
- et al.
- 2010
- POPL 2010
Jolt: Lightweight dynamic analysis and removal of object churn
- Ajeet Shankar
- Matthew Arnold
- et al.
- 2008
- OOPSLA 2008
Type inference for locality analysis of distributed data structures
- Satish Chandra
- Vijay Saraswat
- et al.
- 2008
- PPoPP 2008
Combinatorial sketching for finite programs
- Armando Solar-Lezama
- Liviu Tancau
- et al.
- 2006
- ASPLOS 2006