Rastislav Bodík

ORCID

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 42

Top Venues

CoRR

Proc. ACM Program. Lang.

PLDI

ASPLOS

Publications

Sirui Lu, Rastislav Bodík
Grisette: Symbolic Compilation as a Functional Programming Library. Proc. ACM Program. Lang. 7 (POPL) (2023)
Junrui Liu, Yanju Chen, Eric Atkinson, Yu Feng, Rastislav Bodík
Conflict-Driven Synthesis for Layout Engines. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Dan Cascaval, Rastislav Bodík, Adriana Schulz
A Lineage-Based Referencing DSL for Computer-Aided Design. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Xiangyu Zhou, Rastislav Bodík, Alvin Cheung, Chenglong Wang
Synthesizing Analytical SQL Queries from Computation Demonstration. CoRR (2022)
Yanju Chen, Junrui Liu, Yu Feng, Rastislav Bodík
Tree traversal synthesis using domain-specific symbolic compilation. ASPLOS (2022)
Xiangyu Zhou, Rastislav Bodík, Alvin Cheung, Chenglong Wang
Synthesizing analytical SQL queries from computation demonstration. PLDI (2022)
Dan Cascaval, Mira Shalah, Phillip Quinn, Rastislav Bodík, Maneesh Agrawala, Adriana Schulz
Differentiable 3D CAD Programs for Bidirectional Editing. Comput. Graph. Forum 41 (2) (2022)
Chenglong Wang, Yu Feng, Rastislav Bodík, Isil Dillig, Alvin Cheung, Amy J. Ko
Falx: Synthesis-Powered Visualization Authoring. CoRR (2021)
Dan Cascaval, Mira Shalah, Phillip Quinn, Rastislav Bodík, Maneesh Agrawala, Adriana Schulz
Differentiable 3D CAD Programs for Bidirectional Editing. CoRR (2021)
Chenglong Wang, Yu Feng, Rastislav Bodík, Isil Dillig, Alvin Cheung, Amy J. Ko
Falx: Synthesis-Powered Visualization Authoring. CHI (2021)
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
Computer-Aided Personalized Education. CoRR (2020)
Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung, Isil Dillig
Visualization by example. Proc. ACM Program. Lang. 4 (POPL) (2020)
Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík
Learning inductive invariants by sampling from frequency distributions. Formal Methods Syst. Des. 56 (1) (2020)
Yu Feng, Emina Torlak, Rastislav Bodík
Summary-Based Symbolic Evaluation for Smart Contracts. ASE (2020)
Julie L. Newcomb, Andrew Adams, Steven Johnson, Rastislav Bodík, Shoaib Kamil
Verifying and improving Halide's term rewriting system with program synthesis. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Bastian Hagedorn, Archibald Samuel Elliott, Henrik Barthels, Rastislav Bodík, Vinod Grover
Fireiron: A Scheduling Language for High-Performance Linear Algebra on GPUs. CoRR (2020)
Bastian Hagedorn, Archibald Samuel Elliott, Henrik Barthels, Rastislav Bodík, Vinod Grover
Fireiron: A Data-Movement-Aware Scheduling Language for GPUs. PACT (2020)
Phitchaya Mangpo Phothilimthana, Archibald Samuel Elliott, An Wang, Abhinav Jangda, Bastian Hagedorn, Henrik Barthels, Samuel J. Kaufman, Vinod Grover, Emina Torlak, Rastislav Bodík
Swizzle Inventor: Data Movement Synthesis for GPU Kernels. ASPLOS (2019)
Julie L. Newcomb, Rastislav Bodík
Using human-in-the-loop synthesis to author functional reactive programs. CoRR (2019)
Max Willsey, Vincent T. Lee, Alvin Cheung, Rastislav Bodík, Luis Ceze
Iterative Search for Reconfigurable Accelerator Blocks With a Compiler in the Loop. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (3) (2019)
Yu Feng, Emina Torlak, Rastislav Bodík
Precise Attack Synthesis for Smart Contracts. CoRR (2019)
Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung, Isil Dillig
Visualization by Example. CoRR (2019)
Sarah E. Chasins, Maria Mueller, Rastislav Bodík
Rousillon: Scraping Distributed Hierarchical Web Data. UIST (2018)
Kartik Chandra, Rastislav Bodík
Bonsai: synthesis-based reasoning for type systems. Proc. ACM Program. Lang. 2 (POPL) (2018)
Phitchaya Mangpo Phothilimthana, Ming Liu, Antoine Kaufmann, Simon Peter, Rastislav Bodík, Thomas E. Anderson
Floem: A Programming System for NIC-Accelerated Network Applications. OSDI (2018)
Grigory Fedyukovich, Rastislav Bodík
Accelerating Syntax-Guided Invariant Synthesis. TACAS (1) (2018)
Chenglong Wang, Alvin Cheung, Rastislav Bodík
Speeding up symbolic reasoning for relational queries. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík
Sampling invariants from frequency distributions. FMCAD (2017)
Kartik Chandra, Rastislav Bodík
Bonsai: Synthesis-Based Reasoning for Type Systems. CoRR (2017)
Sarah E. Chasins, Rastislav Bodík
Skip blocks: reusing execution history to accelerate web scripts. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Grigory Fedyukovich, Maaz Bin Safeer Ahmad, Rastislav Bodík
Gradual synthesis for static parallelization of single-pass array-processing programs. PLDI (2017)
Chenglong Wang, Alvin Cheung, Rastislav Bodík
Interactive Query Synthesis from Input-Output Examples. SIGMOD Conference (2017)
Chenglong Wang, Alvin Cheung, Rastislav Bodík
Synthesizing highly expressive SQL queries from input-output examples. PLDI (2017)
Rastislav Bodík, Kartik Chandra, Phitchaya Mangpo Phothilimthana, Nathaniel Yazdani
Domain-Specific Symbolic Compilation. SNAPL (2017)
Phitchaya Mangpo Phothilimthana, Michael Schuldt, Rastislav Bodík
Compiling a gesture recognition application for a low-power spatial architecture. LCTES (2016)
Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodík, Dinakar Dhurjati
GreenThumb: superoptimizer construction framework. CC (2016)
Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodík, Dinakar Dhurjati
Scaling up Superoptimization. ASPLOS (2016)
Shaon Barman, Sarah E. Chasins, Rastislav Bodík, Sumit Gulwani
Ringer: web automation by demonstration. OOPSLA (2016)
Yi Wu, Lei Li, Stuart J. Russell, Rastislav Bodík
Swift: Compiled Inference for Probabilistic Programming Languages. IJCAI (2016)
Grigory Fedyukovich, Rastislav Bodík
Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions. SYNT@CAV (2016)
Yi Wu, Lei Li, Stuart J. Russell, Rastislav Bodík
Swift: Compiled Inference for Probabilistic Programming Languages. CoRR (2016)
Rohin Shah, Emina Torlak, Rastislav Bodík
SIMPL: A DSL for Automatic Specialization of Inference Algorithms. CoRR (2016)
Sarah E. Chasins, Shaon Barman, Rastislav Bodík, Sumit Gulwani
Browser Record and Replay as a Building Block for End-User Web Automation Tools. WWW (Companion Volume) (2015)
Rastislav Bodík
Program synthesis: opportunities for the next decade. ICFP (2015)
Shaon Barman, Rastislav Bodík, Satish Chandra, Emina Torlak, Arka Aloke Bhattacharya, David E. Culler
Toward tool support for interactive synthesis. Onward! (2015)
Thibaud Hottelier, Rastislav Bodík
Synthesis of layout engines from relational constraints. OOPSLA (2015)
Phitchaya Mangpo Phothilimthana, Tikhon Jelvis, Rohin Shah, Nishant Totla, Sarah E. Chasins, Rastislav Bodík
Chlorophyll: synthesis-aided compiler for low-power spatial architectures. PLDI (2014)
Joel Galenson, Philip Reames, Rastislav Bodík, Björn Hartmann, Koushik Sen
CodeHint: dynamic and interactive synthesis of code snippets. ICSE (2014)
Emina Torlak, Rastislav Bodík
A lightweight symbolic virtual machine for solver-aided host languages. PLDI (2014)
Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher, Nir Piterman
Synthesis of biological models from mutation experiments. POPL (2013)
Rastislav Bodík, Barbara Jobstmann
Algorithmic program synthesis: introduction. Int. J. Softw. Tools Technol. Transf. 15 (5-6) (2013)
Emina Torlak, Rastislav Bodík
Growing solver-aided languages with rosette. Onward! (2013)
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
Syntax-guided synthesis. FMCAD (2013)
Leo A. Meyerovich, Matthew E. Torok, Eric Atkinson, Rastislav Bodík
Parallel schedule synthesis for attribute grammars. PPOPP (2013)
Rastislav Bodík
Modeling biology with solver-aided programming languages. GPCE (2013)
Rastislav Bodík, Sumit Gulwani, Eran Yahav
Software Synthesis (Dagstuhl Seminar 12152). Dagstuhl Reports 2 (4) (2012)
Rastislav Bodík, Emina Torlak
Synthesizing Programs with Constraint Solvers. CAV (2012)
Rastislav Bodík
Compiling what to how: technical perspective. Commun. ACM 55 (2) (2012)
Satish Chandra, Emina Torlak, Shaon Barman, Rastislav Bodík
Angelic debugging. ICSE (2011)
Yewen Pu, Rastislav Bodík, Saurabh Srivastava
Synthesis of first-order dynamic programming algorithms. OOPSLA (2011)
Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv
Specifying and verifying sparse matrix codes. ICFP (2010)
Leo A. Meyerovich, Rastislav Bodík
Fast and parallel webpage layout. WWW (2010)
Rastislav Bodík, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor
Programming with angelic nondeterminism. POPL (2010)
Shay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Mooly Sagiv
Field-sensitive program dependence analysis. SIGSOFT FSE (2010)
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
A view of the parallel computing landscape. Commun. ACM 52 (10) (2009)
Rastislav Bodík
Algorithmic Program Synthesis with Partial Programs and Decision Procedures. SAS (2009)
Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav
09501 Abstracts Collection - Software Synthesis. Software Synthesis (2009)
Andreas Raabe, Rastislav Bodík
Synthesizing hardware from sketches. DAC (2009)
Rastislav Bodík
Software synthesis with sketching. PEPM (2008)
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
SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. ACM SIGPLAN Notices 43 (11) (2008)
Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík
Type inference for locality analysis of distributed data structures. PPOPP (2008)
Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík
Sketching concurrent data structures. PLDI (2008)
Ajeet Shankar, Matthew Arnold, Rastislav Bodík
Jolt: lightweight dynamic analysis and removal of object churn. OOPSLA (2008)
Rastislav Bodík
Small languages in an undergraduate PL/Compiler course. ACM SIGPLAN Notices 43 (11) (2008)
Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia
Sketching stencils. PLDI (2007)
Manu Sridharan, Stephen J. Fink, Rastislav Bodík
Thin slicing. PLDI (2007)
Ajeet Shankar, Rastislav Bodík
DITTO: automatic incrementalization of data structure invariant checks (in Java). PLDI (2007)
Min Xu, Rastislav Bodík, Mark D. Hill
A Hardware Memory Race Recorder for Deterministic Replay. IEEE Micro 27 (1) (2007)
Manu Sridharan, Rastislav Bodík
Refinement-based context-sensitive points-to analysis for Java. PLDI (2006)
Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat
Combinatorial sketching for finite programs. ASPLOS (2006)
Min Xu, Mark D. Hill, Rastislav Bodík
A regulated transitive reduction (RTR) for longer memory race recording. ASPLOS (2006)
Min Xu, Rastislav Bodík, Mark D. Hill
A serializability violation detector for shared-memory server programs. PLDI (2005)
David Mandelin, Lin Xu, Rastislav Bodík, Doug Kimelman
Jungloid mining: helping to navigate the API jungle. PLDI (2005)
Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodík, Kemal Ebcioglu
Programming by sketching for bit-streaming programs. PLDI (2005)
Ajeet Shankar, S. Subramanya Sastry, Rastislav Bodík, James E. Smith
Runtime specialization with optimistic heap analysis. OOPSLA (2005)
Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík
Demand-driven points-to analysis for Java. OOPSLA (2005)
Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn
Interaction cost and shotgun profiling. ACM Trans. Archit. Code Optim. 1 (3) (2004)
Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn
Interaction Cost: For When Event Counts Just Don't Add Up. IEEE Micro 24 (6) (2004)
Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn
Using Interaction Costs for Microarchitectural Bottleneck Analysis. MICRO (2003)
Min Xu, Rastislav Bodík, Mark D. Hill
A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay. ISCA (2003)
Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus
Debugging temporal specifications with concept analysis. PLDI (2003)
Brian A. Fields, Rastislav Bodík, Mark D. Hill
Slack: Maximizing Performance Under Technological Constraints. ISCA (2002)
Shai Rubin, Rastislav Bodík, Trishul M. Chilimbi
An efficient profile-analysis framework for data-layout optimizations. POPL (2002)
Glenn Ammons, Rastislav Bodík, James R. Larus
Mining specifications. POPL (2002)
S. Subramanya Sastry, Rastislav Bodík, James E. Smith
Rapid profiling via stratified sampling. ISCA (2001)
Brian A. Fields, Shai Rubin, Rastislav Bodík
Focusing processor policies via critical-path prediction. ISCA (2001)
Rastislav Bodík, Rajiv Gupta, Vivek Sarkar
ABCD: eliminating array bounds checks on demand. PLDI (2000)
Rajiv Gupta, Rastislav Bodík
Register Pressure Sensitive Redundancy Elimination. CC (1999)
Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa
Load-Reuse Analysis: Design and Evaluation. PLDI (1999)
Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa
Complete removal of redundant expressions (with retrospective) Best of PLDI (1998)

Rastislav Bodík.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rastislav Bodík