Papers
| OOPSLA 2011 |
Synthesis of First-Order Dynamic Programming Algorithms Yewen Pu, Saurabh Srivastava, Rastislav Bodik OOPSLA, Oct 2011 |
| HotPar 2011 |
Parallel Programming with Inductive Synthesis Shaon Barman, Rastislav Bodik, Sagar Jain, Yewen Pu, Saurabh Srivastava, Nicholas Tung 3rd Usenix Workshop on Hot Topics in Parallelism, Berkeley, CA, May 2011 |
| ICSE 2011 |
Angelic debugging Satish Chandra, Emina Torlak, Shaon Barman, Rastislav Bodík ICSE, May 2011 |
| TR 2010 |
Parallel Web Scripting with Reactive Constraints Thibaud Hottelier, James Ide, Doug Kimelman, Ras Bodik TR, Feb 2010 |
| ICFP 2010 |
Specifying and verifying sparse matrix codes Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv ICFP, 2010 |
| POPL 2010 |
Programming with angelic nondeterminism Rastislav Bodík, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor POPL, 2010 |
| FSE 2010 |
Field-sensitive program dependence analysis Shay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Mooly Sagiv FSE, 2010 |
| WWW 2010 |
Fast and parallel webpage layout Leo A. Meyerovich, Rastislav Bodík WWW, 2010 |
| DAC 2009 |
Synthesizing hardware from sketches Andreas Raabe, Rastislav Bodík DAC, 2009 |
| PLDI FIT 2009 |
Can Computers be Programmed Productively in the Post-Dividend Era? Ras Bodik, Justin Bonnar, Doug Kimelman PLDI Fun Ideas and Thoughts, 2009 |
| EC2 2009 |
Concurrency Concerns in Rich Internet Applications James Ide, Rastislav Bodik, Doug Kimelman EC2, 2009 |
| HotPar 2009 |
Parallelizing the Web Browser Chris Jones, Rose Liu, Leo Meyerovich, Krste Asanovic, Rastislav Bodik HotPar, 2009 |
| CACM 2009 |
A view of the parallel computing landscape Krste Asanovic, Rastislav Bodík, James Demmel, Tony Keaveny, Kurt Keutzer, John Kubiatowicz, Nelson Morgan, David A. Patterson, Koushik Sen, John Wawrzynek, David Wessel, Katherine A. Yelick CACM, 2009 |
| OOPSLA 2008 |
Jolt: lightweight dynamic analysis and removal of object churn Ajeet Shankar, Matthew Arnold, Rastislav Bodík OOPSLA, 2008 |
| PEPM 2008 |
Software synthesis with sketching Rastislav Bodík PEPM, 2008 |
| PLDI 2008 |
Sketching concurrent data structures Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík PLDI, 2008 |
| PPOPP 2008 |
Type inference for locality analysis of distributed data structures Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík PPOPP, 2008 |
| SIGPLAN Notices 2008 |
Small languages in an undergraduate PL/Compiler course Rastislav Bodík SIGPLAN Notices, 2008 |
| SIGPLAN Notices 2008 |
SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations Eric Allen, Mark W. Bailey, Rastislav Bodík, Kim B. Bruce, Kathleen Fisher, Stephen N. Freund, Robert Harper, Chandra Krintz, Shriram Krishnamurthi, James R. Larus, Doug Lea, Gary T. Leavens, Lori L. Pollock, Stuart Reges, Martin C. Rinard, Mark A. Sheldon, Franklyn A. Turbak, Mitchell Wand SIGPLAN Notices, 2008 |
| PLDI 2007 |
Thin slicing Manu Sridharan, Stephen J. Fink, Rastislav Bodík PLDI, 2007 |
| PLDI 2007 |
Sketching stencils Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia PLDI, 2007 |
| PLDI 2007 |
DITTO: automatic incrementalization of data structure invariant checks (in Java) Ajeet Shankar, Rastislav Bodík PLDI, 2007 |
| IEEE MICRO: Micro Top Picks 2007 |
A Hardware Memory Race Recorder for Deterministic Replay Min Xu, Rastislav Bodík, Mark D. Hill IEEE MICRO: Micro Top Picks, 2007 |
| ASPLOS 2006 |
Combinatorial sketching for finite programs Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat ASPLOS, 2006 |
| ASPLOS 2006 |
A regulated transitive reduction (RTR) for longer memory race recording Min Xu, Mark D. Hill, Rastislav Bodík ASPLOS, 2006 |
| PLDI 2006 |
Refinement-based context-sensitive points-to analysis for Java Manu Sridharan, Rastislav Bodík PLDI, 2006 |
| OOPSLA 2005 |
Runtime specialization with optimistic heap analysis Ajeet Shankar, S. Subramanya Sastry, Rastislav Bodík, James E. Smith OOPSLA, 2005 |
| OOPSLA 2005 |
Demand-driven points-to analysis for Java Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík OOPSLA, 2005 |
| PLDI 2005 |
A serializability violation detector for shared-memory server programs Min Xu, Rastislav Bodík, Mark D. Hill PLDI, 2005 |
| PLDI 2005 |
Programming by sketching for bit-streaming programs Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodík, Kemal Ebcioglu PLDI, 2005 |
| PLDI 2005 |
Jungloid mining: helping to navigate the API jungle David Mandelin, Lin Xu, Rastislav Bodík, Doug Kimelman PLDI, 2005 |
| IEEE MICRO: Micro Top Picks 2004 |
Interaction Cost: For When Event Counts Just Don't Add Up Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn IEEE MICRO: Micro Top Picks, 2004 |
| ACM TACO 2004 |
Interaction cost and shotgun profiling Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn ACM TACO, Sep 2004 |
| Best of PLDI 2004 |
Complete removal of redundant expressions (with retrospective) Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection, 2004 |
| PPHEC 2004 |
Templating Transformations for Bitstream Programs Armando Solar-Lezama, Rastislav Bodik HPCA Workshop on Productivity and Performance in High-End Computing (P-PHEC 2004), 2004 |
| ISCA 2003 |
A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay Min Xu, Rastislav Bodík, Mark D. Hill ISCA, 2003 |
| MICRO 2003 |
Using Interaction Costs for Microarchitectural Bottleneck Analysis Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn MICRO, 2003 |
| PLDI 2003 |
Debugging temporal specifications with concept analysis Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus PLDI, 2003 |
| ISCA 2002 |
Slack: Maximizing Performance Under Technological Constraints Brian A. Fields, Rastislav Bodík, Mark D. Hill ISCA, 2002 |
| POPL 2002 |
An efficient profile-analysis framework for data-layout optimizations Shai Rubin, Rastislav Bodík, Trishul M. Chilimbi POPL, 2002 |
| POPL 2002 |
Mining specifications Glenn Ammons, Rastislav Bodík, James R. Larus POPL, 2002 |
| ISCA 2001 |
Rapid profiling via stratified sampling S. Subramanya Sastry, Rastislav Bodík, James E. Smith ISCA, 2001 |
| ISCA 2001 |
Focusing processor policies via critical-path prediction Brian A. Fields, Shai Rubin, Rastislav Bodík ISCA, 2001 |
| PLDI 2000 |
ABCD: eliminating array bounds checks on demand Rastislav Bodík, Rajiv Gupta, Vivek Sarkar PLDI, 2000 |
| FDDO 2000 |
Characterizing Coarse-Grain Reuse of Computations Subbu Sastry, Rastislav Bodik, James E. Smith Proc. 3rd ACM Workshop on Feedback-Directed and Dynamic Optimization (FDDO-3), 2000 |
| CC 1999 |
Register Pressure Sensitive Redundancy Elimination Rajiv Gupta, Rastislav Bodík CC, 1999 |
| PLDI 1999 |
Load-Reuse Analysis: Design and Evaluation Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa PLDI, 1999 |
| PLDI 1998 |
Complete Removal of Redundant Computations Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa PLDI, 1998 |
| POPL 1998 |
Path-Sensitive Value-Flow Analysis Rastislav Bodík, Sadun Anik POPL, 1998 |
| FSE 1997 |
Refining Data Flow Information Using Infeasible Paths Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa FSE, 1997 |
| PLDI 1997 |
Interprocedural Conditional Branch Elimination Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa PLDI, 1997 |
| PLDI 1997 |
Partial Dead Code Elimination using Slicing Transformations Rastislav Bodík, Rajiv Gupta PLDI, 1997 |
| IJPP 1996 |
Array Data-Flow Analysis for Load-Store Optimizations in Fine-Grain Rastislav Bodik, Rajiv Gupta IJPP, 1996 |
| SPDP 1995 |
Adaptive Loop Transformations for Scientific Programs Rajiv Gupta, Rastislav Bodik IEEE Symposium on Parallel and Distributed Processing, 1995 |
| LCPC 1995 |
Array Data-Flow Analysis for Load-Store Optimizations in Superscalar Architectures Rastislav Bodík, Rajiv Gupta LCPC, 1995 |
Search
Site Map
- Research
- Teaching
- Service