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