Angelic debugging
- Satish Chandra
- Emina Torlak
- et al.
- 2011
- ICSE 2011
Conference paper
Publications
15 results for Rastislav Bodik
Programming with angelic nondeterminism
- Rastislav Bodik
- Satish Chandra
- et al.
- 2010
- POPL 2010
Conference paperJolt: Lightweight dynamic analysis and removal of object churn
- Ajeet Shankar
- Matthew Arnold
- et al.
- 2008
- OOPSLA 2008
Conference paperJolt: lightweight dynamic analysis and removal of object churn
- Ajeet Shankar
- Matthew Arnold
- et al.
- 2008
- ACM SIGPLAN Notices
PaperType inference for locality analysis of distributed data structures
- Satish Chandra
- Vijay Saraswat
- et al.
- 2008
- PPoPP 2008
Conference paperSketching stencils
- Armando Solar-Lezama
- Gilad Arnold
- et al.
- 2007
- PLDI 2007
Conference paperThin slicing
- Manu Sridharan
- Stephen J. Fink
- et al.
- 2007
- PLDI 2007
Conference paperSketching stencils
- Armando Solar-Lezama
- Gilad Arnold
- et al.
- 2007
- ACM SIGPLAN Notices
PaperThin slicing
- Manu Sridharan
- Stephen J. Fink
- et al.
- 2007
- ACM SIGPLAN Notices
PaperCombinatorial sketching for finite programs
- Armando Solar-Lezama
- Liviu Tancau
- et al.
- 2006
- ASPLOS 2006
Conference paper