Rastislav Bodik

Professor
Computer Science and Engineering
University of Washington
Seattle, WA

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