Papers
| CACM 2012 | Compiling What to How (Overview for Kuncak et al CACM Research Highlight paper "Software Synthesis Procedures") Rastislav Bodik |
| OOPSLA 2011 | Synthesis of First-Order Dynamic Programming Algorithms, Slides: [pdf] [ppt] Yewen Pu, Saurabh Srivastava, Rastislav Bodik |
| HotPar 2011 | Parallel Programming with Inductive Synthesis, Slides: [pdf] Shaon Barman, Rastislav Bodik, Sagar Jain, Yewen Pu, Saurabh Srivastava, Nicholas Tung |
| ICSE 2011 | Angelic debugging Satish Chandra, Emina Torlak, Shaon Barman, Rastislav Bodík |
| TR 2010 | Parallel Web Scripting with Reactive Constraints Thibaud Hottelier, James Ide, Doug Kimelman, Ras Bodik |
| ICFP 2010 | Specifying and verifying sparse matrix codes Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv |
| POPL 2010 | Programming with angelic nondeterminism Rastislav Bodík, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor |
| FSE 2010 | Field-sensitive program dependence analysis Shay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Mooly Sagiv |
| WWW 2010 | Fast and parallel webpage layout Leo A. Meyerovich, Rastislav Bodík |
| DAC 2009 | Synthesizing hardware from sketches Andreas Raabe, Rastislav Bodík |
| PLDI FIT 2009 | Can Computers be Programmed Productively in the Post-Dividend Era?, Slides: [pdf] Ras Bodik, Justin Bonnar, Doug Kimelman |
| EC2 2009 | Concurrency Concerns in Rich Internet Applications James Ide, Rastislav Bodik, Doug Kimelman |
| HotPar 2009 | Parallelizing the Web Browser Chris Jones, Rose Liu, Leo Meyerovich, Krste Asanovic, Rastislav Bodik |
| 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 |
| OOPSLA 2008 | Jolt: lightweight dynamic analysis and removal of object churn Ajeet Shankar, Matthew Arnold, Rastislav Bodík |
| PEPM 2008 | Software synthesis with sketching Rastislav Bodík |
| PLDI 2008 | Sketching concurrent data structures Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík |
| PPOPP 2008 | Type inference for locality analysis of distributed data structures Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík |
| SIGPLAN Notices 2008 | Small languages in an undergraduate PL/Compiler course Rastislav Bodík |
| 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 |
| PLDI 2007 | Thin slicing Manu Sridharan, Stephen J. Fink, Rastislav Bodík |
| PLDI 2007 | Sketching stencils Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia |
| PLDI 2007 | DITTO: automatic incrementalization of data structure invariant checks (in Java) Ajeet Shankar, Rastislav Bodík |
| IEEE MICRO: Micro Top Picks 2007 | A Hardware Memory Race Recorder for Deterministic Replay Min Xu, Rastislav Bodík, Mark D. Hill |
| ASPLOS 2006 | Combinatorial sketching for finite programs Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat |
| ASPLOS 2006 | A regulated transitive reduction (RTR) for longer memory race recording Min Xu, Mark D. Hill, Rastislav Bodík |
| PLDI 2006 | Refinement-based context-sensitive points-to analysis for Java Manu Sridharan, Rastislav Bodík |
| OOPSLA 2005 | Runtime specialization with optimistic heap analysis Ajeet Shankar, S. Subramanya Sastry, Rastislav Bodík, James E. Smith |
| OOPSLA 2005 | Demand-driven points-to analysis for Java Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík |
| PLDI 2005 | A serializability violation detector for shared-memory server programs Min Xu, Rastislav Bodík, Mark D. Hill |
| PLDI 2005 | Programming by sketching for bit-streaming programs Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodík, Kemal Ebcioglu |
| PLDI 2005 | Jungloid mining: helping to navigate the API jungle David Mandelin, Lin Xu, Rastislav Bodík, Doug Kimelman |
| 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 |
| ACM TACO 2004 | Interaction cost and shotgun profiling Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn |
| Best of PLDI 2004 | Complete removal of redundant expressions (with retrospective) Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa |
| PPHEC 2004 | Templating Transformations for Bitstream Programs Armando Solar-Lezama, Rastislav Bodik |
| ISCA 2003 | A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay Min Xu, Rastislav Bodík, Mark D. Hill |
| MICRO 2003 | Using Interaction Costs for Microarchitectural Bottleneck Analysis Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn |
| PLDI 2003 | Debugging temporal specifications with concept analysis Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus |
| ISCA 2002 | Slack: Maximizing Performance Under Technological Constraints Brian A. Fields, Rastislav Bodík, Mark D. Hill |
| POPL 2002 | An efficient profile-analysis framework for data-layout optimizations Shai Rubin, Rastislav Bodík, Trishul M. Chilimbi |
| POPL 2002 | Mining specifications Glenn Ammons, Rastislav Bodík, James R. Larus |
| ISCA 2001 | Rapid profiling via stratified sampling S. Subramanya Sastry, Rastislav Bodík, James E. Smith |
| ISCA 2001 | Focusing processor policies via critical-path prediction Brian A. Fields, Shai Rubin, Rastislav Bodík |
| PLDI 2000 | ABCD: eliminating array bounds checks on demand Rastislav Bodík, Rajiv Gupta, Vivek Sarkar |
| FDDO 2000 | Characterizing Coarse-Grain Reuse of Computations Subbu Sastry, Rastislav Bodik, James E. Smith |
| CC 1999 | Register Pressure Sensitive Redundancy Elimination Rajiv Gupta, Rastislav Bodík |
| PLDI 1999 | Load-Reuse Analysis: Design and Evaluation Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa |
| PLDI 1998 | Complete Removal of Redundant Computations Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa |
| POPL 1998 | Path-Sensitive Value-Flow Analysis Rastislav Bodík, Sadun Anik |
| FSE 1997 | Refining Data Flow Information Using Infeasible Paths Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa |
| PLDI 1997 | Interprocedural Conditional Branch Elimination Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa |
| PLDI 1997 | Partial Dead Code Elimination using Slicing Transformations Rastislav Bodík, Rajiv Gupta |
| IJPP 1996 | Array Data-Flow Analysis for Load-Store Optimizations in Fine-Grain Rastislav Bodik, Rajiv Gupta |
| SPDP 1995 | Adaptive Loop Transformations for Scientific Programs Rajiv Gupta, Rastislav Bodik |
| LCPC 1995 | Array Data-Flow Analysis for Load-Store Optimizations in Superscalar Architectures Rastislav Bodík, Rajiv Gupta |
| PhD Dissertation 1999 | Path-Sensitive Value-Flow Optimizations of Programs, Rastislav Bodik |