Array Data Flow Analysis for Load-Store Optimizations in Superscalar Architectures. - Rastislav Bodík; Rajiv Gupta 001 (LCPC, 1995)

Adaptive loop transformations for scientific programs. - Rajiv Gupta 001; Rastislav Bodík (SPDP, 1995)

Array Data Flow Analysis for Load-Store Optimizations in Fine-Grained Architectures. - Rastislav Bodík; Rajiv Gupta 001 (Int. J. Parallel Program., 1996)

Refining Data Flow Information Using Infeasible Paths. - Rastislav Bodík; Rajiv Gupta 001; Mary Lou Soffa (ESEC / SIGSOFT FSE, 1997)

Partial Dead Code Elimination using Slicing Transformations. - Rastislav Bodík; Rajiv Gupta 001 (PLDI, 1997)

Interprocedural Conditional Branch Elimination. - Rastislav Bodík; Rajiv Gupta 001; Mary Lou Soffa (PLDI, 1997)

Complete Removal of Redundant Computations. - Rastislav Bodík; Rajiv Gupta 001; Mary Lou Soffa (PLDI, 1998)

Complete removal of redundant expressions (with retrospective) - Rastislav Bodík; Rajiv Gupta 001; Mary Lou Soffa (Best of PLDI, 1998)

Path-Sensitive Value-Flow Analysis. - Rastislav Bodík; Sadun Anik (POPL, 1998)

Register Pressure Sensitive Redundancy Elimination. - Rajiv Gupta 001; Rastislav Bodík (CC, 1999)

Load-Reuse Analysis: Design and Evaluation. - Rastislav Bodík; Rajiv Gupta 001; Mary Lou Soffa (PLDI, 1999)

ABCD: eliminating array bounds checks on demand. - Rastislav Bodík; Rajiv Gupta 001; Vivek Sarkar (PLDI, 2000)

Focusing processor policies via critical-path prediction. - Brian A. Fields; Shai Rubin; Rastislav Bodík (ISCA, 2001)

Rapid profiling via stratified sampling. - S. Subramanya Sastry; Rastislav Bodík; James E. Smith 001 (ISCA, 2001)

Slack: Maximizing Performance Under Technological Constraints. - Brian A. Fields; Rastislav Bodík; Mark D. Hill (ISCA, 2002)

Mining specifications. - Glenn Ammons; Rastislav Bodík; James R. Larus (POPL, 2002)

An efficient profile-analysis framework for data-layout optimizations. - Shai Rubin; Rastislav Bodík; Trishul M. Chilimbi (POPL, 2002)

A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay. - Min Xu; Rastislav Bodík; Mark D. Hill (ISCA, 2003)

Using Interaction Costs for Microarchitectural Bottleneck Analysis. - Brian A. Fields; Rastislav Bodík; Mark D. Hill; Chris J. Newburn (MICRO, 2003)

Debugging temporal specifications with concept analysis. - Glenn Ammons; David Mandelin; Rastislav Bodík; James R. Larus (PLDI, 2003)

Interaction Cost: For When Event Counts Just Don't Add Up. - Brian A. Fields; Rastislav Bodík; Mark D. Hill; Chris J. Newburn (IEEE Micro, 2004)

Interaction cost and shotgun profiling. - Brian A. Fields; Rastislav Bodík; Mark D. Hill; Chris J. Newburn (ACM Trans. Archit. Code Optim., 2004)

Runtime specialization with optimistic heap analysis. - Ajeet Shankar; S. Subramanya Sastry; Rastislav Bodík; James E. Smith 001 (OOPSLA, 2005)

Demand-driven points-to analysis for Java. - Manu Sridharan; Denis Gopan; Lexin Shan; Rastislav Bodík (OOPSLA, 2005)

Jungloid mining: helping to navigate the API jungle. - David Mandelin; Lin Xu; Rastislav Bodík; Doug Kimelman (PLDI, 2005)

Programming by sketching for bit-streaming programs. - Armando Solar-Lezama; Rodric M. Rabbah; Rastislav Bodík; Kemal Ebcioglu (PLDI, 2005)

A serializability violation detector for shared-memory server programs. - Min Xu; Rastislav Bodík; Mark D. Hill (PLDI, 2005)

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 (ASPLOS, 2006)

Refinement-based context-sensitive points-to analysis for Java. - Manu Sridharan; Rastislav Bodík (PLDI, 2006)

DITTO: automatic incrementalization of data structure invariant checks (in Java). - Ajeet Shankar; 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)

Thin slicing. - Manu Sridharan; Stephen J. Fink; Rastislav Bodík (PLDI, 2007)

A Hardware Memory Race Recorder for Deterministic Replay. - Min Xu; Rastislav Bodík; Mark D. Hill (IEEE Micro, 2007)

Jolt: lightweight dynamic analysis and removal of object churn. - Ajeet Shankar; Matthew Arnold; Rastislav Bodík (OOPSLA, 2008)

Software synthesis with sketching. - Rastislav Bodík (PEPM, 2008)

Sketching concurrent data structures. - Armando Solar-Lezama; Christopher Grant Jones; Rastislav Bodík (PLDI, 2008)

Type inference for locality analysis of distributed data structures. - Satish Chandra 001; Vijay A. Saraswat; Vivek Sarkar; Rastislav Bodík (PPoPP, 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 001; Chandra Krintz; Shriram Krishnamurthi; James R. Larus; Doug Lea; Gary T. Leavens; et al. (ACM SIGPLAN Notices, 2008)

Small languages in an undergraduate PL/Compiler course. - Rastislav Bodík (ACM SIGPLAN Notices, 2008)

Synthesizing hardware from sketches. - Andreas Raabe; Rastislav Bodík (DAC, 2009)

09501 Abstracts Collection - Software Synthesis. - Rastislav Bodík; Orna Kupferman; Douglas R. Smith; Eran Yahav (Software Synthesis, 2009)

Algorithmic Program Synthesis with Partial Programs and Decision Procedures. - Rastislav Bodík (SAS, 2009)

A view of the parallel computing landscape. - Krste Asanovic; Rastislav Bodík; James Demmel; Tony M. Keaveny; Kurt Keutzer; John Kubiatowicz; Nelson Morgan; David A. Patterson 001; Koushik Sen; John Wawrzynek; David Wessel; Katherine A. Yelick (Commun. ACM, 2009)

Specifying and verifying sparse matrix codes. - Gilad Arnold; Johannes Hölzl; Ali Sinan Köksal; Rastislav Bodík; Mooly Sagiv (ICFP, 2010)

Programming with angelic nondeterminism. - Rastislav Bodík; Satish Chandra 001; Joel Galenson; Doug Kimelman; Nicholas Tung; Shaon Barman; Casey Rodarmor (POPL, 2010)

Field-sensitive program dependence analysis. - Shay Litvak; Nurit Dor; Rastislav Bodík; Noam Rinetzky; Mooly Sagiv (SIGSOFT FSE, 2010)

Fast and parallel webpage layout. - Leo A. Meyerovich; Rastislav Bodík (WWW, 2010)

Angelic debugging. - Satish Chandra 001; Emina Torlak; Shaon Barman; Rastislav Bodík (ICSE, 2011)

Synthesis of first-order dynamic programming algorithms. - Yewen Pu; Rastislav Bodík; Saurabh Srivastava 001 (OOPSLA, 2011)

Synthesizing Programs with Constraint Solvers. - Rastislav Bodík; Emina Torlak (CAV, 2012)

Compiling what to how: technical perspective. - Rastislav Bodík (Commun. ACM, 2012)

Software Synthesis (Dagstuhl Seminar 12152). - Rastislav Bodík; Sumit Gulwani; Eran Yahav (Dagstuhl Reports, 2012)

Syntax-guided synthesis. - Rajeev Alur; Rastislav Bodík; Garvit Juniwal; Milo M. K. Martin; Mukund Raghothaman; Sanjit A. Seshia; Rishabh Singh; Armando Solar-Lezama; Emina Torlak; Abhishek Udupa (FMCAD, 2013)

Modeling biology with solver-aided programming languages. - Rastislav Bodík (GPCE, 2013)

Growing solver-aided languages with rosette. - Emina Torlak; Rastislav Bodík (Onward!, 2013)

Synthesis of biological models from mutation experiments. - Ali Sinan Köksal; Yewen Pu; Saurabh Srivastava 001; Rastislav Bodík; Jasmin Fisher; Nir Piterman (POPL, 2013)

Parallel schedule synthesis for attribute grammars. - Leo A. Meyerovich; Matthew E. Torok; Eric Atkinson; Rastislav Bodík (PPoPP, 2013)

Algorithmic program synthesis: introduction. - Rastislav Bodík; Barbara Jobstmann (Int. J. Softw. Tools Technol. Transf., 2013)

CodeHint: dynamic and interactive synthesis of code snippets. - Joel Galenson; Philip Reames; Rastislav Bodík; Björn Hartmann; Koushik Sen (ICSE, 2014)

Chlorophyll: synthesis-aided compiler for low-power spatial architectures. - Phitchaya Mangpo Phothilimthana; Tikhon Jelvis; Rohin Shah; Nishant Totla; Sarah E. Chasins; Rastislav Bodík (PLDI, 2014)

A lightweight symbolic virtual machine for solver-aided host languages. - Emina Torlak; Rastislav Bodík (PLDI, 2014)

Programming by manipulation for layout. - Thibaud Hottelier; Ras Bodík; Kimiko Ryokai (UIST, 2014)

Program synthesis: opportunities for the next decade. - Rastislav Bodík (ICFP, 2015)

Toward tool support for interactive synthesis. - Shaon Barman; Rastislav Bodík; Satish Chandra 001; Emina Torlak; Arka Aloke Bhattacharya; David E. Culler (Onward!, 2015)

Synthesis of layout engines from relational constraints. - Thibaud Hottelier; Rastislav Bodík (OOPSLA, 2015)

Browser Record and Replay as a Building Block for End-User Web Automation Tools. - Sarah E. Chasins; Shaon Barman; Rastislav Bodík; Sumit Gulwani (WWW (Companion Volume), 2015)

Syntax-Guided Synthesis. - Rajeev Alur; Rastislav Bodík; Eric Dallal; Dana Fisman; Pranav Garg 001; Garvit Juniwal; Hadas Kress-Gazit; P. Madhusudan; Milo M. K. Martin; Mukund Raghothaman; Shambwaditya Saha; Sanjit A. Seshia; et al. (Dependable Software Systems Engineering, 2015)

Scaling up Superoptimization. - Phitchaya Mangpo Phothilimthana; Aditya Thakur 001; Rastislav Bodík; Dinakar Dhurjati (ASPLOS, 2016)

GreenThumb: superoptimizer construction framework. - Phitchaya Mangpo Phothilimthana; Aditya Thakur 001; Rastislav Bodík; Dinakar Dhurjati (CC, 2016)

Swift: Compiled Inference for Probabilistic Programming Languages. - Yi Wu 013; Lei Li 005; Stuart Russell 001; Rastislav Bodík (IJCAI, 2016)

Compiling a gesture recognition application for a low-power spatial architecture. - Phitchaya Mangpo Phothilimthana; Michael Schuldt; Rastislav Bodík (LCTES, 2016)

Ringer: web automation by demonstration. - Shaon Barman; Sarah E. Chasins; Rastislav Bodík; Sumit Gulwani (OOPSLA, 2016)

Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions. - Grigory Fedyukovich; Rastislav Bodík (SYNT@CAV, 2016)

SIMPL: A DSL for Automatic Specialization of Inference Algorithms. - Rohin Shah; Emina Torlak; Rastislav Bodík (CoRR, 2016)

Sampling invariants from frequency distributions. - Grigory Fedyukovich; Samuel J. Kaufman; Rastislav Bodík (FMCAD, 2017)

Gradual synthesis for static parallelization of single-pass array-processing programs. - Grigory Fedyukovich; Maaz Bin Safeer Ahmad; Rastislav Bodík (PLDI, 2017)

Synthesizing highly expressive SQL queries from input-output examples. - Chenglong Wang; Alvin Cheung; Rastislav Bodík (PLDI, 2017)

Interactive Query Synthesis from Input-Output Examples. - Chenglong Wang; Alvin Cheung; Rastislav Bodík (SIGMOD Conference, 2017)

Domain-Specific Symbolic Compilation. - Rastislav Bodík; Kartik Chandra; Phitchaya Mangpo Phothilimthana; Nathaniel Yazdani (SNAPL, 2017)

Skip blocks: reusing execution history to accelerate web scripts. - Sarah E. Chasins; Rastislav Bodík (Proc. ACM Program. Lang., 2017)

Floem: A Programming System for NIC-Accelerated Network Applications. - Phitchaya Mangpo Phothilimthana; Ming Liu 027; Antoine Kaufmann; Simon Peter 001; Rastislav Bodík; Thomas E. Anderson (OSDI, 2018)

Accelerating Syntax-Guided Invariant Synthesis. - Grigory Fedyukovich; Rastislav Bodík (TACAS (1), 2018)

Rousillon: Scraping Distributed Hierarchical Web Data. - Sarah E. Chasins; Maria Mueller; Rastislav Bodík (UIST, 2018)

Bonsai: synthesis-based reasoning for type systems. - Kartik Chandra; Rastislav Bodík (Proc. ACM Program. Lang., 2018)

Speeding up symbolic reasoning for relational queries. - Chenglong Wang; Alvin Cheung; Rastislav Bodík (Proc. ACM Program. Lang., 2018)

Swizzle Inventor: Data Movement Synthesis for GPU Kernels. - Phitchaya Mangpo Phothilimthana; Archibald Samuel Elliott; An Wang 003; Abhinav Jangda; Bastian Hagedorn; Henrik Barthels; Samuel J. Kaufman; Vinod Grover; Emina Torlak; Rastislav Bodík (ASPLOS, 2019)

Precise Attack Synthesis for Smart Contracts. - Yu Feng 001; Emina Torlak; Rastislav Bodík (CoRR, 2019)

Using human-in-the-loop synthesis to author functional reactive programs. - Julie L. Newcomb; Rastislav Bodík (CoRR, 2019)

Iterative Search for Reconfigurable Accelerator Blocks With a Compiler in the Loop. - Max Willsey; Vincent T. Lee; Alvin Cheung; Rastislav Bodík; Luis Ceze (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

Fireiron: A Data-Movement-Aware Scheduling Language for GPUs. - Bastian Hagedorn; Archibald Samuel Elliott; Henrik Barthels; Rastislav Bodík; Vinod Grover (PACT, 2020)

Summary-Based Symbolic Evaluation for Smart Contracts. - Yu Feng 001; Emina Torlak; Rastislav Bodík (ASE, 2020)

Fireiron: A Scheduling Language for High-Performance Linear Algebra on GPUs. - Bastian Hagedorn; Archibald Samuel Elliott; Henrik Barthels; Rastislav Bodík; Vinod Grover (CoRR, 2020)

Computer-Aided Personalized Education. - Rajeev Alur; Richard G. Baraniuk; Rastislav Bodík; Ann W. Drobnis; Sumit Gulwani; Bjoern Hartmann; Yasmin B. Kafai; Jeff Karpicke; Ran Libeskind-Hadas; Debra J. Richardson; Armando Solar-Lezama; Candace Thille; et al. (CoRR, 2020)

Learning inductive invariants by sampling from frequency distributions. - Grigory Fedyukovich; Samuel J. Kaufman; Rastislav Bodík (Formal Methods Syst. Des., 2020)

Verifying and improving Halide's term rewriting system with program synthesis. - Julie L. Newcomb; Andrew Adams; Steven Johnson; Rastislav Bodík; Shoaib Kamil 001 (Proc. ACM Program. Lang., 2020)

Visualization by example. - Chenglong Wang; Yu Feng 001; Rastislav Bodík; Alvin Cheung; Isil Dillig (Proc. ACM Program. Lang., 2020)

Falx: Synthesis-Powered Visualization Authoring. - Chenglong Wang; Yu Feng 001; Rastislav Bodík; Isil Dillig; Alvin Cheung; Amy J. Ko (CHI, 2021)

Tree traversal synthesis using domain-specific symbolic compilation. - Yanju Chen; Junrui Liu; Yu Feng 001; Rastislav Bodík (ASPLOS, 2022)

Synthesizing analytical SQL queries from computation demonstration. - Xiangyu Zhou; Rastislav Bodík; Alvin Cheung; Chenglong Wang (PLDI, 2022)

Differentiable 3D CAD Programs for Bidirectional Editing. - Dan Cascaval; Mira Shalah; Phillip Quinn; Rastislav Bodík; Maneesh Agrawala; Adriana Schulz (Comput. Graph. Forum, 2022)

A Lineage-Based Referencing DSL for Computer-Aided Design. - Dan Cascaval; Rastislav Bodík; Adriana Schulz (Proc. ACM Program. Lang., 2023)

Conflict-Driven Synthesis for Layout Engines. - Junrui Liu; Yanju Chen; Eric Atkinson; Yu Feng 001; Rastislav Bodík (Proc. ACM Program. Lang., 2023)

Grisette: Symbolic Compilation as a Functional Programming Library. - Sirui Lu; Rastislav Bodík (Proc. ACM Program. Lang., 2023)

TensorRight: Automated Verification of Tensor Graph Rewrites. - Jai Arora; Sirui Lu; Devansh Jain 001; Tianfan Xu; Farzin Houshmand; Phitchaya Mangpo Phothilimthana; Mohsen Lesani; Praveen Narayanan; Karthik Srinivasa Murthy; Rastislav Bodík; Amit Sabne; Charith Mendis (Proc. ACM Program. Lang., 2025)

Morello: Compiling Fast Neural Networks with Dynamic Programming and Spatial Compression. - Samuel J. Kaufman; René Just; Rastislav Bodík (CoRR, 2025)