Papers
Cell Reports 2018 | Synthesizing Signaling Pathways from Temporal Phosphoproteomic Data Ali Sinan Köksal, Kirsten Beck, Dylan R. Cronin, Aaron McKenna, Nathan D.Camp, Saurabh Srivastava, Matthew E. MacGilvray, Rastislav Bodík, Alejandro Wolf-Yadlin, Ernest Fraenkel, Jasmin Fisher, Anthony Gitter |
OOPSLA 2018 | Speeding up Symbolic Reasoning for Relational Queries Chenglong Wang, Alvin Cheung, Rastislav Bodik ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (OOPSLA) |
OSDI 2018 | Floem: Programming System for NIC-Accelerated Network Applications Phitchaya Mangpo Phothilimthana, Ming Liu, Antoine Kaufman, Simon Peter, Rastislav Bodik, Thomas Anderson 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI) |
UIST 2018 | Rousillon: Scraping Distributed Hierarchical Web Data Sarah Chasins, Maria Mueller, Rastislav Bodik 31st ACM User Interface Software and Technology Symposium (UIST) |
TACAS 2018 | Accelerating Syntax-Guided Invariant Synthesis Grigory Fedyukovich, Rastislav Bodik 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) |
POPL 2018 | Bonsai:Synthesis-Based Reasoning for Type Systems Kartik Chandra and Rastislav Bodik 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) |
OOPSLA 2017 | Skip Blocks: Reusing Execution History to Accelerate Web Scripts Sarah Chasins, Rastislav Bodik 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) |
PLDI 2017 | Gradual Synthesis for Static Parallelization of Single-Pass Array-Processing Programs Grigory Fedyukovich, Maaz Bin Safeer Ahmad, Rastislav Bodik ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) |
PLDI 2017 | Synthesizing Highly Expressive SQL Queries from Input-Output Examples Chenglong Wang, Alvin Cheung, Rastislav Bodik ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) |
FMCAD 2017 | Sampling Invariants from Frequency Distributions Grigory Fedyukovich, Samuel Kaufman, Rastislav Bodik Formal Methods in Computer Aided Design (FMCAD) |
SNAPL 2017 | Domain-Specific Symbolic Compilation Rastislav Bodik, Kartik Chandra, Phitchaya Mangpo Phothilimthana, Nathaniel Yazdani 2nd Summit on Advances in Programming Languages |
OOPSLA 2016 | Ringer: Web Automation by Demonstration Shaon Barman, Sarah Chasins, Ras Bodik, Sumit Gulwani 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) |
SYNT 2016 | Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions Grigory Fedyukovich and Rastislav Bodik Fifth Workshop on Synthesis |
IJCAI16 2016 | Swift: Compiled Inference for Probablistic Programming Languages Yi Wu, Lei Li, Stuart Russell, Rastislav Bodik International Joint Conference on Artificial Intelligence |
LCTES 2016 | Compiling a Gesture Recognition Application for a Low-Power Spatial Architecture Phitchaya Mangpo Phothilimthana, Michael Schuldt, Rastislav Bodik Languages, Compilers, Tools and Thoery for Embedded Systems |
ASPLOS 2016 | Scaling up Superoptimization Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodik, and Dinakar Dhurjati 12th International Conference on Architectural Support for Programming Languages and Operating Systems |
arXiv 2016 | SIMPL: A DSL for Automatic Specialization of Inference Algorithms Rohin Shah, Emina Torlak, Rastislav Bodik arXiv |
JCGS 2016 | Programming with models: writing statistical algorithms for general model structures with NIMBLE Perry de Valpine, Daniel Turek, Christopher J. Paciorek, Clifford Anderson-Bergman, Duncan Temple Lang & Rastislav Bodik Journal of Computational and Graphical Statistics |
CC 2016 | GreenThumb: Superoptimizer Construction Framework Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodik, and Dinakar Dhurjati Languages, Compilers, Tools and Thoery for Embedded Systems |
arXiv 2015 | Programming with models: writing statistical algorithms for general model structures with NIMBLE Perry de Valpine, Daniel Turek, Christopher J. Paciorek, Clifford Anderson-Bergman, Duncan Temple Lang, Rastislav Bodik arXiv |
WWW 2015 | Browser Record and Replay as a Building Block for End-User Web Automation Tools[video] Sarah Chasins, Shaon Barman, Sumit Gulwani, Rastislav Bodik 24th International World Wide Web Conference |
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 Jelvis, 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 |
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 |
About
- Contact Information
- Download CV
- Projects
- Students
- Papers
- Talks
- Current and Recent Courses
- Courseware
- Organizing
News
Looking for a research programmer position? 9/4/2018
We are looking for a research programmer with interests in program synthesis, DSLs, SMT solvers, and Scala.
Course on program synthesis
9/2/2012Emina Torlak and I have given an invited tutorial at CAV 2012. The tutorial is being expanded this semester into a graduate course, which you can follow as we add lectures and homeworks. CAV tutorial slides: (ppt, pdf, screencast). The graduate course.