Rastislav Bodík

121 papers A* 46A 8B 11C 1Journal 36Unranked 13
YearRankTypeTitle / Venue / Authors
2025 J jnl
HieraSynth: A Parallel Framework for Complete Super-Optimization with Hierarchical Space Decomposition.
Proc. ACM Program. Lang.
Sirui Lu, Rastislav Bodík
2025 J jnl
Morello: Compiling Fast Neural Networks with Dynamic Programming and Spatial Compression.
CoRR
Samuel J. Kaufman, René Just, Rastislav Bodík
2025 J jnl
TensorRight: Automated Verification of Tensor Graph Rewrites.
CoRR
Jai Arora, Sirui Lu, Devansh Jain, Tianfan Xu, Farzin Houshmand, Phitchaya Mangpo Phothilimthana, Mohsen Lesani, Praveen Narayanan, Karthik Srinivasa Murthy, Rastislav Bodík, Amit Sabne, Charith Mendis
2025 J jnl
TensorRight: Automated Verification of Tensor Graph Rewrites.
Proc. ACM Program. Lang.
Jai Arora, Sirui Lu, Devansh Jain, Tianfan Xu, Farzin Houshmand, Phitchaya Mangpo Phothilimthana, Mohsen Lesani, Praveen Narayanan, Karthik Srinivasa Murthy, Rastislav Bodík, Amit Sabne, Charith Mendis
2023 J jnl
A Lineage-Based Referencing DSL for Computer-Aided Design.
Proc. ACM Program. Lang.
Dan Cascaval, Rastislav Bodík, Adriana Schulz
2023 J jnl
Conflict-Driven Synthesis for Layout Engines.
Proc. ACM Program. Lang.
Junrui Liu, Yanju Chen, Eric Atkinson, Yu Feng, Rastislav Bodík
2023 J jnl
Grisette: Symbolic Compilation as a Functional Programming Library.
Proc. ACM Program. Lang.
Sirui Lu, Rastislav Bodík
2022 J jnl
Differentiable 3D CAD Programs for Bidirectional Editing.
Comput. Graph. Forum
Dan Cascaval, Mira Shalah, Phillip Quinn, Rastislav Bodík, Maneesh Agrawala, Adriana Schulz
2022 J jnl
Synthesizing Analytical SQL Queries from Computation Demonstration.
CoRR
Xiangyu Zhou, Rastislav Bodík, Alvin Cheung, Chenglong Wang
2022 A* conf
Synthesizing analytical SQL queries from computation demonstration.
PLDI
Xiangyu Zhou, Rastislav Bodík, Alvin Cheung, Chenglong Wang
2022 A* conf
Tree traversal synthesis using domain-specific symbolic compilation.
ASPLOS
Yanju Chen, Junrui Liu, Yu Feng, Rastislav Bodík
2021 J jnl
Differentiable 3D CAD Programs for Bidirectional Editing.
CoRR
Dan Cascaval, Mira Shalah, Phillip Quinn, Rastislav Bodík, Maneesh Agrawala, Adriana Schulz
2021 A* conf
Falx: Synthesis-Powered Visualization Authoring.
CHI
Chenglong Wang, Yu Feng, Rastislav Bodík, Isil Dillig, Alvin Cheung, Amy J. Ko
2021 J jnl
Falx: Synthesis-Powered Visualization Authoring.
CoRR
Chenglong Wang, Yu Feng, Rastislav Bodík, Isil Dillig, Alvin Cheung, Amy J. Ko
2020 J jnl
Computer-Aided Personalized Education.
CoRR
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, Moshe Y. Vardi
2020 B conf
Fireiron: A Data-Movement-Aware Scheduling Language for GPUs.
PACT
Bastian Hagedorn, Archibald Samuel Elliott, Henrik Barthels, Rastislav Bodík, Vinod Grover
2020 J jnl
Fireiron: A Scheduling Language for High-Performance Linear Algebra on GPUs.
CoRR
Bastian Hagedorn, Archibald Samuel Elliott, Henrik Barthels, Rastislav Bodík, Vinod Grover
2020 J jnl
Learning inductive invariants by sampling from frequency distributions.
Formal Methods Syst. Des.
Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík
2020 A* conf
Summary-Based Symbolic Evaluation for Smart Contracts.
ASE
Yu Feng, Emina Torlak, Rastislav Bodík
2020 J jnl
Verifying and improving Halide's term rewriting system with program synthesis.
Proc. ACM Program. Lang.
Julie L. Newcomb, Andrew Adams, Steven Johnson, Rastislav Bodík, Shoaib Kamil
2020 J jnl
Visualization by example.
Proc. ACM Program. Lang.
Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung, Isil Dillig
2019 — ed.
3rd Summit on Advances in Programming Languages, SNAPL 2019, Providence, RI, USA, May 16-17, 2019
SNAPL
Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi
2019 J jnl
Iterative Search for Reconfigurable Accelerator Blocks With a Compiler in the Loop.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Max Willsey, Vincent T. Lee, Alvin Cheung, Rastislav Bodík, Luis Ceze
2019 J jnl
Precise Attack Synthesis for Smart Contracts.
CoRR
Yu Feng, Emina Torlak, Rastislav Bodík
2019 A* conf
Swizzle Inventor: Data Movement Synthesis for GPU Kernels.
ASPLOS
Phitchaya Mangpo Phothilimthana, Archibald Samuel Elliott, An Wang, Abhinav Jangda, Bastian Hagedorn, Henrik Barthels, Samuel J. Kaufman, Vinod Grover, Emina Torlak, Rastislav Bodík
2019 J jnl
Using human-in-the-loop synthesis to author functional reactive programs.
CoRR
Julie L. Newcomb, Rastislav Bodík
2019 J jnl
Visualization by Example.
CoRR
Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung, Isil Dillig
2018 — conf
Accelerating Syntax-Guided Invariant Synthesis.
TACAS (1)
Grigory Fedyukovich, Rastislav Bodík
2018 J jnl
Bonsai: synthesis-based reasoning for type systems.
Proc. ACM Program. Lang.
Kartik Chandra, Rastislav Bodík
2018 A* conf
Floem: A Programming System for NIC-Accelerated Network Applications.
OSDI
Phitchaya Mangpo Phothilimthana, Ming Liu, Antoine Kaufmann, Simon Peter, Rastislav Bodík, Thomas E. Anderson
2018 A* conf
Rousillon: Scraping Distributed Hierarchical Web Data.
UIST
Sarah E. Chasins, Maria Mueller, Rastislav Bodík
2018 J jnl
Speeding up symbolic reasoning for relational queries.
Proc. ACM Program. Lang.
Chenglong Wang, Alvin Cheung, Rastislav Bodík
2017 — ed.
2nd Summit on Advances in Programming Languages, SNAPL 2017, Asilomar, CA, USA, May 7-10, 2017
SNAPL
Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi
2017 J jnl
Bonsai: Synthesis-Based Reasoning for Type Systems.
CoRR
Kartik Chandra, Rastislav Bodík
2017 — conf
Domain-Specific Symbolic Compilation.
SNAPL
Rastislav Bodík, Kartik Chandra, Phitchaya Mangpo Phothilimthana, Nathaniel Yazdani
2017 A* conf
Gradual synthesis for static parallelization of single-pass array-processing programs.
PLDI
Grigory Fedyukovich, Maaz Bin Safeer Ahmad, Rastislav Bodík
2017 — conf
Interactive Query Synthesis from Input-Output Examples.
SIGMOD Conference
Chenglong Wang, Alvin Cheung, Rastislav Bodík
2017 B conf
Sampling invariants from frequency distributions.
FMCAD
Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík
2017 J jnl
Skip blocks: reusing execution history to accelerate web scripts.
Proc. ACM Program. Lang.
Sarah E. Chasins, Rastislav Bodík
2017 A* conf
Synthesizing highly expressive SQL queries from input-output examples.
PLDI
Chenglong Wang, Alvin Cheung, Rastislav Bodík
2016 — conf
Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions.
SYNT@CAV
Grigory Fedyukovich, Rastislav Bodík
2016 B conf
Compiling a gesture recognition application for a low-power spatial architecture.
LCTES
Phitchaya Mangpo Phothilimthana, Michael Schuldt, Rastislav Bodík
2016 B conf
GreenThumb: superoptimizer construction framework.
CC
Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodík, Dinakar Dhurjati
2016 A* ed.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016
POPL
Rastislav Bodík, Rupak Majumdar
2016 A conf
Ringer: web automation by demonstration.
OOPSLA
Shaon Barman, Sarah E. Chasins, Rastislav Bodík, Sumit Gulwani
2016 J jnl
SIMPL: A DSL for Automatic Specialization of Inference Algorithms.
CoRR
Rohin Shah, Emina Torlak, Rastislav Bodík
2016 A* conf
Scaling up Superoptimization.
ASPLOS
Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodík, Dinakar Dhurjati
2016 A* conf
Swift: Compiled Inference for Probabilistic Programming Languages.
IJCAI
Yi Wu, Lei Li, Stuart Russell, Rastislav Bodík
2016 J jnl
Swift: Compiled Inference for Probabilistic Programming Languages.
CoRR
Yi Wu, Lei Li, Stuart Russell, Rastislav Bodík
2015 — ed.
1st Summit on Advances in Programming Languages, SNAPL 2015, Asilomar, California, USA, May 3-6, 2015
SNAPL
Thomas Ball, Rastislav Bodík, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett
2015 — conf
Browser Record and Replay as a Building Block for End-User Web Automation Tools.
WWW (Companion Volume)
Sarah E. Chasins, Shaon Barman, Rastislav Bodík, Sumit Gulwani
2015 A conf
Program synthesis: opportunities for the next decade.
ICFP
Rastislav Bodík
2015 — ch.
Syntax-Guided Synthesis.
Dependable Software Systems Engineering
Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa
2015 A conf
Synthesis of layout engines from relational constraints.
OOPSLA
Thibaud Hottelier, Rastislav Bodík
2015 — conf
Toward tool support for interactive synthesis.
Onward!
Shaon Barman, Rastislav Bodík, Satish Chandra, Emina Torlak, Arka Aloke Bhattacharya, David E. Culler
2014 A* conf
A lightweight symbolic virtual machine for solver-aided host languages.
PLDI
Emina Torlak, Rastislav Bodík
2014 A* conf
Chlorophyll: synthesis-aided compiler for low-power spatial architectures.
PLDI
Phitchaya Mangpo Phothilimthana, Tikhon Jelvis, Rohin Shah, Nishant Totla, Sarah E. Chasins, Rastislav Bodík
2014 A* conf
CodeHint: dynamic and interactive synthesis of code snippets.
ICSE
Joel Galenson, Philip Reames, Rastislav Bodík, Björn Hartmann, Koushik Sen
2013 J jnl
Algorithmic program synthesis: introduction.
Int. J. Softw. Tools Technol. Transf.
Rastislav Bodík, Barbara Jobstmann
2013 A* ed.
Architectural Support for Programming Languages and Operating Systems, ASPLOS 2013, Houston, TX, USA, March 16-20, 2013
ASPLOS
Vivek Sarkar, Rastislav Bodík
2013 — conf
Growing solver-aided languages with rosette.
Onward!
Emina Torlak, Rastislav Bodík
2013 B conf
Modeling biology with solver-aided programming languages.
GPCE
Rastislav Bodík
2013 B conf
Parallel schedule synthesis for attribute grammars.
PPoPP
Leo A. Meyerovich, Matthew E. Torok, Eric Atkinson, Rastislav Bodík
2013 B conf
Syntax-guided synthesis.
FMCAD
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
2013 A* conf
Synthesis of biological models from mutation experiments.
POPL
Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher, Nir Piterman
2012 J jnl
Compiling what to how: technical perspective.
Commun. ACM
Rastislav Bodík
2012 J jnl
Software Synthesis (Dagstuhl Seminar 12152).
Dagstuhl Reports
Rastislav Bodík, Sumit Gulwani, Eran Yahav
2012 A* conf
Synthesizing Programs with Constraint Solvers.
CAV
Rastislav Bodík, Emina Torlak
2011 A* conf
Angelic debugging.
ICSE
Satish Chandra, Emina Torlak, Shaon Barman, Rastislav Bodík
2011 A conf
Synthesis of first-order dynamic programming algorithms.
OOPSLA
Yewen Pu, Rastislav Bodík, Saurabh Srivastava
2010 A* conf
Fast and parallel webpage layout.
WWW
Leo A. Meyerovich, Rastislav Bodík
2010 — conf
Field-sensitive program dependence analysis.
SIGSOFT FSE
Shay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Mooly Sagiv
2010 A* conf
Programming with angelic nondeterminism.
POPL
Rastislav Bodík, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor
2010 A conf
Specifying and verifying sparse matrix codes.
ICFP
Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv
2009 — conf
09501 Abstracts Collection - Software Synthesis.
Software Synthesis
Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav
2009 J jnl
A view of the parallel computing landscape.
Commun. ACM
Krste Asanovic, Rastislav Bodík, James Demmel, Tony M. Keaveny, Kurt Keutzer, John Kubiatowicz, Nelson Morgan, David A. Patterson, Koushik Sen, John Wawrzynek, David Wessel, Katherine A. Yelick
2009 B conf
Algorithmic Program Synthesis with Partial Programs and Decision Procedures.
SAS
Rastislav Bodík
2009 — ed.
Software Synthesis, 06.12. - 11.12.2009
Software Synthesis
Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav
2009 A* conf
Synthesizing hardware from sketches.
DAC
Andreas Raabe, Rastislav Bodík
2008 A conf
Jolt: lightweight dynamic analysis and removal of object churn.
OOPSLA
Ajeet Shankar, Matthew Arnold, Rastislav Bodík
2008 J jnl
SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations.
ACM SIGPLAN Notices
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
2008 A* conf
Sketching concurrent data structures.
PLDI
Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík
2008 J jnl
Small languages in an undergraduate PL/Compiler course.
ACM SIGPLAN Notices
Rastislav Bodík
2008 C conf
Software synthesis with sketching.
PEPM
Rastislav Bodík
2008 B conf
Type inference for locality analysis of distributed data structures.
PPoPP
Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík
2007 J jnl
A Hardware Memory Race Recorder for Deterministic Replay.
IEEE Micro
Min Xu, Rastislav Bodík, Mark D. Hill
2007 A* conf
DITTO: automatic incrementalization of data structure invariant checks (in Java).
PLDI
Ajeet Shankar, Rastislav Bodík
2007 A* conf
Sketching stencils.
PLDI
Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia
2007 A* conf
Thin slicing.
PLDI
Manu Sridharan, Stephen J. Fink, Rastislav Bodík
2006 A* conf
A regulated transitive reduction (RTR) for longer memory race recording.
ASPLOS
Min Xu, Mark D. Hill, Rastislav Bodík
2006 A* conf
Combinatorial sketching for finite programs.
ASPLOS
Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat
2006 A* conf
Refinement-based context-sensitive points-to analysis for Java.
PLDI
Manu Sridharan, Rastislav Bodík
2005 A* conf
A serializability violation detector for shared-memory server programs.
PLDI
Min Xu, Rastislav Bodík, Mark D. Hill
2005 B ed.
Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
CC
Rastislav Bodík
2005 A conf
Demand-driven points-to analysis for Java.
OOPSLA
Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík
2005 A* conf
Jungloid mining: helping to navigate the API jungle.
PLDI
David Mandelin, Lin Xu, Rastislav Bodík, Doug Kimelman
2005 A* conf
Programming by sketching for bit-streaming programs.
PLDI
Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodík, Kemal Ebcioglu
2005 A conf
Runtime specialization with optimistic heap analysis.
OOPSLA
Ajeet Shankar, S. Subramanya Sastry, Rastislav Bodík, James E. Smith
2004 J jnl
Interaction Cost: For When Event Counts Just Don't Add Up.
IEEE Micro
Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn
2004 J jnl
Interaction cost and shotgun profiling.
ACM Trans. Archit. Code Optim.
Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn
2003 A* conf
A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay.
ISCA
Min Xu, Rastislav Bodík, Mark D. Hill
2003 A* conf
Debugging temporal specifications with concept analysis.
PLDI
Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus
2003 A* conf
Using Interaction Costs for Microarchitectural Bottleneck Analysis.
MICRO
Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn
2002 A* conf
An efficient profile-analysis framework for data-layout optimizations.
POPL
Shai Rubin, Rastislav Bodík, Trishul M. Chilimbi
2002 A* conf
Mining specifications.
POPL
Glenn Ammons, Rastislav Bodík, James R. Larus
2002 A* conf
Slack: Maximizing Performance Under Technological Constraints.
ISCA
Brian A. Fields, Rastislav Bodík, Mark D. Hill
2001 A* conf
Focusing processor policies via critical-path prediction.
ISCA
Brian A. Fields, Shai Rubin, Rastislav Bodík
2001 — ed.
Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM '01, Snow Bird, Utah, USA
OM@PLDI
Rastislav Bodík, Vugranam C. Sreedhar
2001 A* conf
Rapid profiling via stratified sampling.
ISCA
S. Subramanya Sastry, Rastislav Bodík, James E. Smith
2000 A* conf
ABCD: eliminating array bounds checks on demand.
PLDI
Rastislav Bodík, Rajiv Gupta, Vivek Sarkar
1999 A* conf
Load-Reuse Analysis: Design and Evaluation.
PLDI
Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa
1999 B conf
Register Pressure Sensitive Redundancy Elimination.
CC
Rajiv Gupta, Rastislav Bodík
1998 A* conf
Complete Removal of Redundant Computations.
PLDI
Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa
1998 — conf
Complete removal of redundant expressions (with retrospective)
Best of PLDI
Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa
1998 A* conf
Path-Sensitive Value-Flow Analysis.
POPL
Rastislav Bodík, Sadun Anik
1997 A* conf
Interprocedural Conditional Branch Elimination.
PLDI
Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa
1997 A* conf
Partial Dead Code Elimination using Slicing Transformations.
PLDI
Rastislav Bodík, Rajiv Gupta
1997 — conf
Refining Data Flow Information Using Infeasible Paths.
ESEC / SIGSOFT FSE
Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa
1996 J jnl
Array Data Flow Analysis for Load-Store Optimizations in Fine-Grained Architectures.
Int. J. Parallel Program.
Rastislav Bodík, Rajiv Gupta
1995 — conf
Adaptive loop transformations for scientific programs.
SPDP
Rajiv Gupta, Rastislav Bodík
1995 — conf
Array Data Flow Analysis for Load-Store Optimizations in Superscalar Architectures.
LCPC
Rastislav Bodík, Rajiv Gupta