Papers
| Frontiers 2014 | Towards Synthesizing Executable Models in Biology Jasmin Fisher, Nir Piterman, Rastislav Bodik Frontiers in Bioengineering and Biotechnology |
| RECOMB 2014 | Synthesizing signaling pathways from temporal phosphoproteomic data (refereed presentation), [slides: pdf][video] Ali Sinan Köksal, Anthony Gitter, Kirsten Beck, Aaron McKenna, Saurabh Srivastava, Nir Piterman, Rastislav Bodík, Alejandro Wolf-Yadlin, Ernest Fraenkel, Jasmin Fisher RECOMB/ISCB Conference on Regulatory and Systems Genomics, 2014 |
| UIST 2014 | Programming by Manipulation for Layout[video] Thibaud Hottelier, Rastislav Bodik, Kimiko Ryokai ACM Symposium on User Interface Software and Technology (UIST) |
| FP 2014 | CodeHint: Dynamic and Interactive Synthesis for Modern IDEs (refereed presentation)[video] Joel Galenson, Rastislav Bodik, Koushik Sen Future Programming, (FP), collocated at SPLASH |
| FP 2014 | CodeHint: Dynamic and Interactive Synthesis for Modern IDEs (refereed presentation)[video] Joel Galenson, Rastislav Bodik, Koushik Sen Future Programming, (FP), collocated at Strange Loop |
| PLDI 2014 | Chlorophyll: Synthesis-Aided Compiler for Low-Power Spatial Architectures Phitchaya Mangpo Phothilimthana, Tikhon Jelves, Rohin Shah, Nishant Totla, Sarah Chasins, and Rastislav Bodik ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) |
| PLDI 2014 | A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages Emina Torlak and Rastislav Bodik ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) |
| ICSE 2014 | CodeHint: Dynamic and Interactive Synthesis of Code Snippets Joel Galenson, Philip Reames, Rastislav Bodik, Björn Hartmann, and Koushik Sen 36th International Conference on Software Engineering (ICSE) |
| FMCAD 2013 | Syntax-Guided Synthesis (Tutorial), [slides: ppt] Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo Martin, Mukund Raghothman, Sanjit Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhsihek Udupa Formal Methods in Computer-Aided Design (FMCAD) |
| STTT 2013 | Algorithmic Program Synthesis: Guest Editors' Introduction Rastislav Bodik and Barbara Jobstmann International Journal on Software Tools for Technology Transfer |
| Onward! 2013 | Growing Solver-Aided Languages with Rosette Emina Torlak and Rastislav Bodik Symposium on New Ideas in Programming and Reflections on Software (Onward! 2013) |
| ParLab Book 2013 | Parallelizing the Browser (Chapter 2) Rastislav Bodik Retrospective, in The Berkeley Par Lab: Progress in the Parallel Computing Landscape, David Patterson, Dennis Gannon, Michael Wrinn, ed. |
| ParLab Book 2013 | Algorithmic Program Synthesis (Chapter 14) Rastislav Bodik Retrospective, in The Berkeley Par Lab: Progress in the Parallel Computing Landscape, David Patterson, Dennis Gannon, Michael Wrinn, ed. |
| TR 2013 | Quicksilver: Automatic Synthesis of Relational Queries Edward Lu and Rastislav Bodik University of California, Berkeley, Technical Report No. UCB/EECS-2013-68 |
| LIVE 2013 | CodeHint: Lightweight and Interactive Synthesis for modern IDEs Joel Galenson, Philip Reames, Rastislav Bodik, and Koushik Sen First International Workshop on Live Programming (LIVE) |
| LASH-C 2013 | Superconductor: A Language for Big Data Visualization., [slides: pdf] Leo A. Meyerovich, Matthew E. Torok, Eric Atkinson, Rastislav Bodik. Workshop on Leveraging Abstractions and Semantics in High-performance Computing (LASH-C) |
| PPoPP 2013 | Parallel Schedule Synthesis for Attribute Grammars Leo A. Meyerovich, Matthew E. Torok, Eric Atkinson, Rastislav Bodik 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) |
| OTBT 2013 | Biochemistry as a Programming Language Saurabh Srivastava et al Off The Beaten Track: New Frontiers for Programming Languages Research |
| POPL 2013 | Synthesis of Biological Models from Mutation Experiments Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodik, Jasmin Fisher, Nir Piterman 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) |
| CACM 2012 | Compiling What to How (Overview for Kuncak et al CACM Research Highlight paper "Software Synthesis Procedures") Rastislav Bodik Communications of the ACM |
| OOPSLA 2011 | Synthesis of First-Order Dynamic Programming Algorithms, [slides: pdf ppt] Yewen Pu, Saurabh Srivastava, Rastislav Bodik 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) |
| HotPar 2011 | Parallel Programming with Inductive Synthesis, [slides: pdf] Shaon Barman, Rastislav Bodik, Sagar Jain, Yewen Pu, Saurabh Srivastava, Nicholas Tung 3rd Usenix Workshop on Hot Topics in Parallelism (HotPar) |
| ICSE 2011 | Angelic debugging Satish Chandra, Emina Torlak, Shaon Barman, Rastislav Bodik International Conference on Software Engineering (ICSE) |
| TR 2010 | Parallel Web Scripting with Reactive Constraints Thibaud Hottelier, James Ide, Doug Kimelman, Rastislav Bodik |
| ICFP 2010 | Specifying and verifying sparse matrix codes Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodik, Mooly Sagiv The 15th ACM SIGPLAN International Conference on Functional Programming (ICFP) |
| POPL 2010 | Programming with angelic nondeterminism Rastislav Bodik, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor Symposium on Principles of Programming Languages (POPL) |
| FSE 2010 | Field-sensitive program dependence analysis Shay Litvak, Nurit Dor, Rastislav Bodik, Noam Rinetzky, Mooly Sagiv Eighteenth International Symposium on the Foundations of Software Engineering (FSE) |
| WWW 2010 | Fast and parallel webpage layout Leo A. Meyerovich, Rastislav Bodik International World Wide Web Conferences (WWW) |
| DAC 2009 | Synthesizing hardware from sketches Andreas Raabe, Rastislav Bodik Wild and Crazy Ideas |
| PLDI FIT 2009 | Can Computers be Programmed Productively in the Post-Dividend Era?, [slides: pdf] Rastislav Bodik, Justin Bonnar, Doug Kimelman PLDI Fun Ideas and Thoughts |
| EC2 2009 | Concurrency Concerns in Rich Internet Applications James Ide, Rastislav Bodik, Doug Kimelman Exploiting Concurrency Efficiently and Correctly, a CAV workshop |
| HotPar 2009 | Parallelizing the Web Browser Chris Jones, Rose Liu, Leo Meyerovich, Krste Asanovic, Rastislav Bodik USENIX Workshop on Hot Topics in Parallelism |
| CACM 2009 | A view of the parallel computing landscape Krste Asanovic, Rastislav Bodik, James Demmel, Tony Keaveny, Kurt Keutzer, John Kubiatowicz, Nelson Morgan, David A. Patterson, Koushik Sen, John Wawrzynek, David Wessel, Katherine A. Yelick Communications of the ACM |
| OOPSLA 2008 | Jolt: lightweight dynamic analysis and removal of object churn Ajeet Shankar, Matthew Arnold, Rastislav Bodik ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications |
| PEPM 2008 | Software synthesis with sketching Rastislav Bodik ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation (PEPM '08) |
| PLDI 2008 | Sketching concurrent data structures Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodik ACM SIGPLAN Conference on Programming Language Design and Implementation |
| PPOPP 2008 | Type inference for locality analysis of distributed data structures Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodik ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming |
| SIGPLAN Notices 2008 | Small languages in an undergraduate PL/Compiler course Rastislav Bodik First SIGPLAN Workshop on Undergraduate Programming Language Curricula |
| SIGPLAN Notices 2008 | SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations Eric Allen, Mark W. Bailey, Rastislav Bodik, 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 programming languages curriculum workshop |
| PLDI 2007 | Thin slicing Manu Sridharan, Stephen J. Fink, Rastislav Bodik ACM SIGPLAN Conference on Programming Language Design and Implementation |
| PLDI 2007 | Sketching stencils Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodik, Vijay A. Saraswat, Sanjit A. Seshia ACM SIGPLAN Conference on Programming Language Design and Implementation |
| PLDI 2007 | DITTO: automatic incrementalization of data structure invariant checks (in Java) Ajeet Shankar, Rastislav Bodik ACM SIGPLAN Conference on Programming Language Design and Implementation |
| IEEE MICRO: Micro Top Picks 2007 | A Hardware Memory Race Recorder for Deterministic Replay Min Xu, Rastislav Bodik, Mark D. Hill IEEE Micro |
| ASPLOS 2006 | Combinatorial sketching for finite programs Armando Solar-Lezama, Liviu Tancau, Rastislav Bodik, Sanjit A. Seshia, Vijay A. Saraswat 12th International Conference on Architectural Support for Programming Languages and Operating Systems |
| ASPLOS 2006 | A regulated transitive reduction (RTR) for longer memory race recording Min Xu, Mark D. Hill, Rastislav Bodik 12th International Conference on Architectural Support for Programming Languages and Operating Systems |
| PLDI 2006 | Refinement-based context-sensitive points-to analysis for Java Manu Sridharan, Rastislav Bodik ACM SIGPLAN Conference on Programming Language Design and Implementation |
| OOPSLA 2005 | Runtime specialization with optimistic heap analysis Ajeet Shankar, S. Subramanya Sastry, Rastislav Bodik, James E. Smith 20th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications |
| OOPSLA 2005 | Demand-driven points-to analysis for Java Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodik Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications |
| PLDI 2005 | A serializability violation detector for shared-memory server programs Min Xu, Rastislav Bodik, Mark D. Hill ACM SIGPLAN Conference on Programming Language Design and Implementation |
| PLDI 2005 | Programming by sketching for bit-streaming programs Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodik, Kemal Ebcioglu ACM SIGPLAN Conference on Programming Language Design and Implementation |
| PLDI 2005 | Jungloid mining: helping to navigate the API jungle David Mandelin, Lin Xu, Rastislav Bodik, Doug Kimelman ACM SIGPLAN Conference on Programming Language Design and Implementation |
| IEEE MICRO: Micro Top Picks 2004 | Interaction Cost: For When Event Counts Just Don't Add Up Brian A. Fields, Rastislav Bodik, Mark D. Hill, Chris J. Newburn IEEE Micro Special Issue: Micro's Top Picks from Microarchitecture Conferences |
| ACM TACO 2004 | Interaction cost and shotgun profiling Brian A. Fields, Rastislav Bodik, Mark D. Hill, Chris J. Newburn ACM Transactions on Architecture and Code Optimization |
| Best of PLDI 2004 | Complete removal of redundant expressions (with retrospective) Rastislav Bodik, Rajiv Gupta, Mary Lou Soffa 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection |
| 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) |
| ISCA 2003 | A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay Min Xu, Rastislav Bodik, Mark D. Hill ACM SIGARCH 30th Annual International Symposium on Computer Architecture |
| MICRO 2003 | Using Interaction Costs for Microarchitectural Bottleneck Analysis Brian A. Fields, Rastislav Bodik, Mark D. Hill, Chris J. Newburn The 36th Annual IEEE/ACM International Symposium on Microarchitecture |
| PLDI 2003 | Debugging temporal specifications with concept analysis Glenn Ammons, David Mandelin, Rastislav Bodik, James R. Larus ACM SIGPLAN Conference on Programming Language Design and Implementation |
| ISCA 2002 | Slack: Maximizing Performance Under Technological Constraints Brian A. Fields, Rastislav Bodik, Mark D. Hill ACM SIGARCH 29th Annual International Symposium on Computer Architecture |
| POPL 2002 | An efficient profile-analysis framework for data-layout optimizations Shai Rubin, Rastislav Bodik, Trishul M. Chilimbi ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages |
| POPL 2002 | Mining specifications Glenn Ammons, Rastislav Bodik, James R. Larus ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages |
| ISCA 2001 | Rapid profiling via stratified sampling S. Subramanya Sastry, Rastislav Bodik, James E. Smith ACM SIGARCH 28th Annual International Symposium on Computer Architecture |
| ISCA 2001 | Focusing processor policies via critical-path prediction Brian A. Fields, Shai Rubin, Rastislav Bodik ACM SIGARCH 28th Annual International Symposium on Computer Architecture |
| PLDI 2000 | ABCD: eliminating array bounds checks on demand Rastislav Bodik, Rajiv Gupta, Vivek Sarkar ACM SIGPLAN Conference on Programming Language Design and Implementation |
| 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) |
| CC 1999 | Register Pressure Sensitive Redundancy Elimination Rajiv Gupta, Rastislav Bodik International Conference on Compiler Construction |
| PLDI 1999 | Load-Reuse Analysis: Design and Evaluation Rastislav Bodik, Rajiv Gupta, Mary Lou Soffa ACM SIGPLAN Conference on Programming Language Design and Implementation |
| PLDI 1998 | Complete Removal of Redundant Computations Rastislav Bodik, Rajiv Gupta, Mary Lou Soffa ACM SIGPLAN Conference on Programming Language Design and Implementation |
| POPL 1998 | Path-Sensitive Value-Flow Analysis Rastislav Bodik, Sadun Anik ACM SIG\-PLAN-SIGACT Symposium on Principles of Programming Languages |
| FSE 1997 | Refining Data Flow Information Using Infeasible Paths Rastislav Bodik, Rajiv Gupta, Mary Lou Soffa ACM SIGSOFT Symposium on Foundations of Software Engineering |
| PLDI 1997 | Interprocedural Conditional Branch Elimination Rastislav Bodik, Rajiv Gupta, Mary Lou Soffa ACM SIGPLAN Conference on Programming Language Design and Implementation |
| PLDI 1997 | Partial Dead Code Elimination using Slicing Transformations Rastislav Bodik, Rajiv Gupta ACM SIGPLAN Conference on Programming Language Design and Implementation |
| IJPP 1996 | Array Data-Flow Analysis for Load-Store Optimizations in Fine-Grain Rastislav Bodik, Rajiv Gupta International Journal of Parallel Programming |
| SPDP 1995 | Adaptive Loop Transformations for Scientific Programs Rajiv Gupta, Rastislav Bodik IEEE Symposium on Parallel and Distributed Processing |
| LCPC 1995 | Array Data-Flow Analysis for Load-Store Optimizations in Superscalar Architectures Rastislav Bodik, Rajiv Gupta The Eighth Annual Workshop on Languages and Compilers for Parallel Computing |
| PhD Dissertation 1999 | Path-Sensitive Value-Flow Optimizations of Programs, Rastislav Bodik PhD Thesis |