Programming by sketching for bit-streaming programs
- Armando Solar-Lezama
- Rodric Rabbah
- et al.
- 2005
- PLDI 2005
Publications
Date
Featured collections
Popular topics
15 results for Rastislav Bodik
Programming by sketching for bit-streaming programs
- Armando Solar-Lezama
- Rodric Rabbah
- et al.
- 2005
- ACM SIGPLAN Notices
A "flight data recorder" for enabling full-system multiprocessor deterministic replay
- Min Xu
- Rastislav Bodik
- et al.
- 2003
- ISCA 2003
Debugging temporal specifications with concept analysis
- Glenn Ammons
- David Mandelin
- et al.
- 2003
- PLDI 2003
ABCD: Eliminating array bounds checks on demand
- Rastislav Bodík
- Rajiv Gupta
- et al.
- 2000
- SIGPLAN Notices (ACM Special Interest Group on Programming Languages)