Publications

15 results for Rastislav Bodik

Programming by sketching for bit-streaming programs
- - Armando Solar-Lezama
  - Rodric Rabbah
  - et al.
- 2005
- PLDI 2005
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)