Rastislav Bodík

According to our database, Rastislav Bodík authored at least 104 papers between 1995 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Grisette: Symbolic Compilation as a Functional Programming Library.

Sirui Lu, Rastislav Bodík

Proc. ACM Program. Lang., January, 2023

Conflict-Driven Synthesis for Layout Engines.

Junrui Liu, Yanju Chen, Eric Atkinson, Yu Feng, Rastislav Bodík

Proc. ACM Program. Lang., 2023

A Lineage-Based Referencing DSL for Computer-Aided Design.

Dan Cascaval, Rastislav Bodík, Adriana Schulz

Proc. ACM Program. Lang., 2023

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

Synthesizing analytical SQL queries from computation demonstration.

Xiangyu Zhou, Rastislav Bodík, Alvin Cheung, Chenglong Wang

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Tree traversal synthesis using domain-specific symbolic compilation.

Yanju Chen, Junrui Liu, Yu Feng, Rastislav Bodík

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2021

Falx: Synthesis-Powered Visualization Authoring.

Chenglong Wang, Yu Feng, Rastislav Bodík, Isil Dillig, Alvin Cheung, Amy J. Ko

Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

2020

Visualization by example.

Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung, Isil Dillig

Proc. ACM Program. Lang., 2020

Verifying and improving Halide's term rewriting system with program synthesis.

Julie L. Newcomb, Andrew Adams, Steven Johnson, Rastislav Bodík, Shoaib Kamil

Proc. ACM Program. Lang., 2020

Learning inductive invariants by sampling from frequency distributions.

Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík

Formal Methods Syst. Des., 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, Moshe Y. Vardi

CoRR, 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

Summary-Based Symbolic Evaluation for Smart Contracts.

Yu Feng, Emina Torlak, Rastislav Bodík

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Fireiron: A Data-Movement-Aware Scheduling Language for GPUs.

Bastian Hagedorn, Archibald Samuel Elliott, Henrik Barthels, Rastislav Bodík, Vinod Grover

Proceedings of the PACT '20: International Conference on Parallel Architectures and Compilation Techniques, 2020

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

Using human-in-the-loop synthesis to author functional reactive programs.

Julie L. Newcomb, Rastislav Bodík

CoRR, 2019

Precise Attack Synthesis for Smart Contracts.

Yu Feng, Emina Torlak, Rastislav Bodík

CoRR, 2019

Swizzle Inventor: Data Movement Synthesis for GPU Kernels.

Phitchaya Mangpo Phothilimthana, Archibald Samuel Elliott, An Wang, Abhinav Jangda, Bastian Hagedorn, Henrik Barthels, Samuel J. Kaufman, Vinod Grover, Emina Torlak, Rastislav Bodík

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018

Speeding up symbolic reasoning for relational queries.

Chenglong Wang, Alvin Cheung, Rastislav Bodík

Proc. ACM Program. Lang., 2018

Bonsai: synthesis-based reasoning for type systems.

Kartik Chandra, Rastislav Bodík

Proc. ACM Program. Lang., 2018

Rousillon: Scraping Distributed Hierarchical Web Data.

Sarah E. Chasins, Maria Mueller, Rastislav Bodík

Proceedings of the 31st Annual ACM Symposium on User Interface Software and Technology, 2018

Accelerating Syntax-Guided Invariant Synthesis.

Grigory Fedyukovich, Rastislav Bodík

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Floem: A Programming System for NIC-Accelerated Network Applications.

Phitchaya Mangpo Phothilimthana, Ming Liu, Antoine Kaufmann, Simon Peter, Rastislav Bodík, Thomas E. Anderson

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

2017

Skip blocks: reusing execution history to accelerate web scripts.

Sarah E. Chasins, Rastislav Bodík

Proc. ACM Program. Lang., 2017

Domain-Specific Symbolic Compilation.

Rastislav Bodík, Kartik Chandra, Phitchaya Mangpo Phothilimthana, Nathaniel Yazdani

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Interactive Query Synthesis from Input-Output Examples.

Chenglong Wang, Alvin Cheung, Rastislav Bodík

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Synthesizing highly expressive SQL queries from input-output examples.

Chenglong Wang, Alvin Cheung, Rastislav Bodík

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Gradual synthesis for static parallelization of single-pass array-processing programs.

Grigory Fedyukovich, Maaz Bin Safeer Ahmad, Rastislav Bodík

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Sampling invariants from frequency distributions.

Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

SIMPL: A DSL for Automatic Specialization of Inference Algorithms.

Rohin Shah, Emina Torlak, Rastislav Bodík

CoRR, 2016

Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions.

Grigory Fedyukovich, Rastislav Bodík

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

Ringer: web automation by demonstration.

Shaon Barman, Sarah E. Chasins, Rastislav Bodík, Sumit Gulwani

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Compiling a gesture recognition application for a low-power spatial architecture.

Phitchaya Mangpo Phothilimthana, Michael Schuldt, Rastislav Bodík

Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, 2016

Swift: Compiled Inference for Probabilistic Programming Languages.

Yi Wu, Lei Li, Stuart Russell, Rastislav Bodík

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

GreenThumb: superoptimizer construction framework.

Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodík, Dinakar Dhurjati

Proceedings of the 25th International Conference on Compiler Construction, 2016

Scaling up Superoptimization.

Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodík, Dinakar Dhurjati

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2015

Syntax-Guided Synthesis.

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

Proceedings of the Dependable Software Systems Engineering, 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

Proceedings of the 24th International Conference on World Wide Web Companion, 2015

Synthesis of layout engines from relational constraints.

Thibaud Hottelier, Rastislav Bodík

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Toward tool support for interactive synthesis.

Shaon Barman, Rastislav Bodík, Satish Chandra, Emina Torlak, Arka Aloke Bhattacharya, David E. Culler

Proceedings of the 2015 ACM International Symposium on New Ideas, 2015

Program synthesis: opportunities for the next decade.

Rastislav Bodík

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014

Programming by manipulation for layout.

Thibaud Hottelier, Ras Bodík, Kimiko Ryokai

Proceedings of the 27th Annual ACM Symposium on User Interface Software and Technology, 2014

A lightweight symbolic virtual machine for solver-aided host languages.

Emina Torlak, Rastislav Bodík

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 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

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

CodeHint: dynamic and interactive synthesis of code snippets.

Joel Galenson, Philip Reames, Rastislav Bodík, Björn Hartmann, Koushik Sen

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Algorithmic program synthesis: introduction.

Rastislav Bodík, Barbara Jobstmann

Int. J. Softw. Tools Technol. Transf., 2013

Parallel schedule synthesis for attribute grammars.

Leo A. Meyerovich, Matthew E. Torok, Eric Atkinson, Rastislav Bodík

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Synthesis of biological models from mutation experiments.

Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher, Nir Piterman

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Growing solver-aided languages with rosette.

Emina Torlak, Rastislav Bodík

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2013

Modeling biology with solver-aided programming languages.

Rastislav Bodík

Proceedings of the Generative Programming: Concepts and Experiences, 2013

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

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012

Software Synthesis (Dagstuhl Seminar 12152).

Rastislav Bodík, Sumit Gulwani, Eran Yahav

Dagstuhl Reports, 2012

Compiling what to how: technical perspective.

Rastislav Bodík

Commun. ACM, 2012

Synthesizing Programs with Constraint Solvers.

Rastislav Bodík, Emina Torlak

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Synthesis of first-order dynamic programming algorithms.

Yewen Pu, Rastislav Bodík, Saurabh Srivastava

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Angelic debugging.

Satish Chandra, Emina Torlak, Shaon Barman, Rastislav Bodík

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Fast and parallel webpage layout.

Leo A. Meyerovich, Rastislav Bodík

Proceedings of the 19th International Conference on World Wide Web, 2010

Field-sensitive program dependence analysis.

Shay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Mooly Sagiv

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Programming with angelic nondeterminism.

Rastislav Bodík, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Specifying and verifying sparse matrix codes.

Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

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, Koushik Sen, John Wawrzynek, David Wessel, Katherine A. Yelick

Commun. ACM, 2009

Algorithmic Program Synthesis with Partial Programs and Decision Procedures.

Rastislav Bodík

Proceedings of the Static Analysis, 16th International Symposium, 2009

09501 Abstracts Collection - Software Synthesis.

Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav

Proceedings of the Software Synthesis, 06.12. - 11.12.2009, 2009

Synthesizing hardware from sketches.

Andreas Raabe, Rastislav Bodík

Proceedings of the 46th Design Automation Conference, 2009

2008

Small languages in an undergraduate PL/Compiler course.

Rastislav Bodík

ACM SIGPLAN Notices, 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, 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

ACM SIGPLAN Notices, 2008

Type inference for locality analysis of distributed data structures.

Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Sketching concurrent data structures.

Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Software synthesis with sketching.

Rastislav Bodík

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

Jolt: lightweight dynamic analysis and removal of object churn.

Ajeet Shankar, Matthew Arnold, Rastislav Bodík

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007

A Hardware Memory Race Recorder for Deterministic Replay.

Min Xu, Rastislav Bodík, Mark D. Hill

IEEE Micro, 2007

Thin slicing.

Manu Sridharan, Stephen J. Fink, Rastislav Bodík

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Sketching stencils.

Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

DITTO: automatic incrementalization of data structure invariant checks (in Java).

Ajeet Shankar, Rastislav Bodík

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

2006

Refinement-based context-sensitive points-to analysis for Java.

Manu Sridharan, Rastislav Bodík

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

A regulated transitive reduction (RTR) for longer memory race recording.

Min Xu, Mark D. Hill, Rastislav Bodík

Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006

Combinatorial sketching for finite programs.

Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat

Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006

2005

A serializability violation detector for shared-memory server programs.

Min Xu, Rastislav Bodík, Mark D. Hill

Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Programming by sketching for bit-streaming programs.

Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodík, Kemal Ebcioglu

Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Jungloid mining: helping to navigate the API jungle.

David Mandelin, Lin Xu, Rastislav Bodík, Doug Kimelman

Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Demand-driven points-to analysis for Java.

Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Runtime specialization with optimistic heap analysis.

Ajeet Shankar, S. Subramanya Sastry, Rastislav Bodík, James E. Smith

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2004

Interaction cost and shotgun profiling.

Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn

ACM Trans. Archit. Code Optim., 2004

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

2003

Debugging temporal specifications with concept analysis.

Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

Using Interaction Costs for Microarchitectural Bottleneck Analysis.

Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn

Proceedings of the 36th Annual International Symposium on Microarchitecture, 2003

A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay.

Min Xu, Rastislav Bodík, Mark D. Hill

Proceedings of the 30th International Symposium on Computer Architecture (ISCA 2003), 2003

2002

An efficient profile-analysis framework for data-layout optimizations.

Shai Rubin, Rastislav Bodík, Trishul M. Chilimbi

Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

Mining specifications.

Glenn Ammons, Rastislav Bodík, James R. Larus

Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

Slack: Maximizing Performance Under Technological Constraints.

Brian A. Fields, Rastislav Bodík, Mark D. Hill

Proceedings of the 29th International Symposium on Computer Architecture (ISCA 2002), 2002

2001

Rapid profiling via stratified sampling.

S. Subramanya Sastry, Rastislav Bodík, James E. Smith

Proceedings of the 28th Annual International Symposium on Computer Architecture, 2001

Focusing processor policies via critical-path prediction.

Brian A. Fields, Shai Rubin, Rastislav Bodík

Proceedings of the 28th Annual International Symposium on Computer Architecture, 2001

2000

ABCD: eliminating array bounds checks on demand.

Rastislav Bodík, Rajiv Gupta, Vivek Sarkar

Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

1999

Load-Reuse Analysis: Design and Evaluation.

Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa

Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

Register Pressure Sensitive Redundancy Elimination.

Rajiv Gupta, Rastislav Bodík

Proceedings of the Compiler Construction, 8th International Conference, 1999

1998

Path-Sensitive Value-Flow Analysis.

Rastislav Bodík, Sadun Anik

Proceedings of the POPL '98, 1998

Complete removal of redundant expressions (with retrospective)

Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa

Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1998

Complete Removal of Redundant Computations.

Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

1997

Interprocedural Conditional Branch Elimination.

Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa

Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997

Partial Dead Code Elimination using Slicing Transformations.

Rastislav Bodík, Rajiv Gupta

Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997

Refining Data Flow Information Using Infeasible Paths.

Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa

Proceedings of the Software Engineering, 1997

1996

Array Data Flow Analysis for Load-Store Optimizations in Fine-Grained Architectures.

Rastislav Bodík, Rajiv Gupta

Int. J. Parallel Program., 1996

1995

Adaptive loop transformations for scientific programs.

Rajiv Gupta, Rastislav Bodík

Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, 1995

Array Data Flow Analysis for Load-Store Optimizations in Superscalar Architectures.

Rastislav Bodík, Rajiv Gupta

Proceedings of the Languages and Compilers for Parallel Computing, 1995