Rastislav Bodk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
66
Venues
23
Active years
1997–2022
Best venue rank
A*
Where they publish
- A*PLDI20 papers
- AOOPSLA8 papers
- A*ASPLOS5 papers
- A*POPL5 papers
- A*ISCA4 papers
- BFMCAD2 papers
- BCC2 papers
- AICFP2 papers
- A*WWW2 papers
- A*ICSE2 papers
- BPPoPP2 papers
- A*CHI1 paper
- A*OSDI1 paper
- A*UIST1 paper
- ATACAS1 paper
- A*SIGMOD1 paper
- A*IJCAI1 paper
- BGPCE1 paper
- A*CAV1 paper
- A*DAC1 paper
- BSAS1 paper
- CPEPM1 paper
- A*MICRO1 paper
Papers
66 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ASPLOS | Tree traversal synthesis using domain-specific symbolic compilation. | Yanju Chen, Junrui Liu, Yu Feng, Rastislav Bodk |
| 2022 | PLDI | Synthesizing analytical SQL queries from computation demonstration. | Xiangyu Zhou, Rastislav Bodk, Alvin Cheung, Chenglong Wang |
| 2021 | CHI | Falx: Synthesis-Powered Visualization Authoring. | Chenglong Wang, Yu Feng, Rastislav Bodk, Isil Dillig, Alvin Cheung, Amy J. Ko |
| 2019 | ASPLOS | 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 Bodk |
| 2018 | OSDI | Floem: A Programming System for NIC-Accelerated Network Applications. | Phitchaya Mangpo Phothilimthana, Ming Liu, Antoine Kaufmann, Simon Peter, Rastislav Bodk, Thomas E. Anderson |
| 2018 | UIST | Rousillon: Scraping Distributed Hierarchical Web Data. | Sarah E. Chasins, Maria Mueller, Rastislav Bodk |
| 2018 | TACAS | Accelerating Syntax-Guided Invariant Synthesis. | Grigory Fedyukovich, Rastislav Bodk |
| 2017 | FMCAD | Sampling invariants from frequency distributions. | Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodk |
| 2017 | PLDI | Gradual synthesis for static parallelization of single-pass array-processing programs. | Grigory Fedyukovich, Maaz Bin Safeer Ahmad, Rastislav Bodk |
| 2017 | PLDI | Synthesizing highly expressive SQL queries from input-output examples. | Chenglong Wang, Alvin Cheung, Rastislav Bodk |
| 2017 | SIGMOD | Interactive Query Synthesis from Input-Output Examples. | Chenglong Wang, Alvin Cheung, Rastislav Bodk |
| 2016 | ASPLOS | Scaling up Superoptimization. | Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodk, Dinakar Dhurjati |
| 2016 | CC | GreenThumb: superoptimizer construction framework. | Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodk, Dinakar Dhurjati |
| 2016 | IJCAI | Swift: Compiled Inference for Probabilistic Programming Languages. | Yi Wu, Lei Li, Stuart Russell, Rastislav Bodk |
| 2016 | OOPSLA | Ringer: web automation by demonstration. | Shaon Barman, Sarah E. Chasins, Rastislav Bodk, Sumit Gulwani |
| 2015 | ICFP | Program synthesis: opportunities for the next decade. | Rastislav Bodk |
| 2015 | OOPSLA | Toward tool support for interactive synthesis. | Shaon Barman, Rastislav Bodk, Satish Chandra, Emina Torlak, Arka Aloke Bhattacharya, David E. Culler |
| 2015 | OOPSLA | Synthesis of layout engines from relational constraints. | Thibaud Hottelier, Rastislav Bodk |
| 2015 | WWW | Browser Record and Replay as a Building Block for End-User Web Automation Tools. | Sarah E. Chasins, Shaon Barman, Rastislav Bodk, Sumit Gulwani |
| 2014 | ICSE | CodeHint: dynamic and interactive synthesis of code snippets. | Joel Galenson, Philip Reames, Rastislav Bodk, Bjrn Hartmann, Koushik Sen |
| 2014 | PLDI | Chlorophyll: synthesis-aided compiler for low-power spatial architectures. | Phitchaya Mangpo Phothilimthana, Tikhon Jelvis, Rohin Shah, Nishant Totla, Sarah E. Chasins, Rastislav Bodk |
| 2014 | PLDI | A lightweight symbolic virtual machine for solver-aided host languages. | Emina Torlak, Rastislav Bodk |
| 2013 | FMCAD | Syntax-guided synthesis. | Rajeev Alur, Rastislav Bodk, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa |
| 2013 | GPCE | Modeling biology with solver-aided programming languages. | Rastislav Bodk |
| 2013 | OOPSLA | Growing solver-aided languages with rosette. | Emina Torlak, Rastislav Bodk |
| 2013 | POPL | Synthesis of biological models from mutation experiments. | Ali Sinan Kksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodk, Jasmin Fisher, Nir Piterman |
| 2013 | PPoPP | Parallel schedule synthesis for attribute grammars. | Leo A. Meyerovich, Matthew E. Torok, Eric Atkinson, Rastislav Bodk |
| 2012 | CAV | Synthesizing Programs with Constraint Solvers. | Rastislav Bodk, Emina Torlak |
| 2011 | ICSE | Angelic debugging. | Satish Chandra, Emina Torlak, Shaon Barman, Rastislav Bodk |
| 2011 | OOPSLA | Synthesis of first-order dynamic programming algorithms. | Yewen Pu, Rastislav Bodk, Saurabh Srivastava |
| 2010 | ICFP | Specifying and verifying sparse matrix codes. | Gilad Arnold, Johannes Hlzl, Ali Sinan Kksal, Rastislav Bodk, Mooly Sagiv |
| 2010 | POPL | Programming with angelic nondeterminism. | Rastislav Bodk, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor |
| 2010 | WWW | Fast and parallel webpage layout. | Leo A. Meyerovich, Rastislav Bodk |
| 2009 | DAC | Synthesizing hardware from sketches. | Andreas Raabe, Rastislav Bodk |
| 2009 | SAS | Algorithmic Program Synthesis with Partial Programs and Decision Procedures. | Rastislav Bodk |
| 2008 | OOPSLA | Jolt: lightweight dynamic analysis and removal of object churn. | Ajeet Shankar, Matthew Arnold, Rastislav Bodk |
| 2008 | PEPM | Software synthesis with sketching. | Rastislav Bodk |
| 2008 | PLDI | Sketching concurrent data structures. | Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodk |
| 2008 | PPoPP | Type inference for locality analysis of distributed data structures. | Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodk |
| 2007 | PLDI | DITTO: automatic incrementalization of data structure invariant checks (in Java). | Ajeet Shankar, Rastislav Bodk |
| 2007 | PLDI | Sketching stencils. | Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodk, Vijay A. Saraswat, Sanjit A. Seshia |
| 2007 | PLDI | Thin slicing. | Manu Sridharan, Stephen J. Fink, Rastislav Bodk |
| 2006 | ASPLOS | Combinatorial sketching for finite programs. | Armando Solar-Lezama, Liviu Tancau, Rastislav Bodk, Sanjit A. Seshia, Vijay A. Saraswat |
| 2006 | ASPLOS | A regulated transitive reduction (RTR) for longer memory race recording. | Min Xu, Mark D. Hill, Rastislav Bodk |
| 2006 | PLDI | Refinement-based context-sensitive points-to analysis for Java. | Manu Sridharan, Rastislav Bodk |
| 2005 | OOPSLA | Runtime specialization with optimistic heap analysis. | Ajeet Shankar, S. Subramanya Sastry, Rastislav Bodk, James E. Smith |
| 2005 | OOPSLA | Demand-driven points-to analysis for Java. | Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodk |
| 2005 | PLDI | Jungloid mining: helping to navigate the API jungle. | David Mandelin, Lin Xu, Rastislav Bodk, Doug Kimelman |
| 2005 | PLDI | Programming by sketching for bit-streaming programs. | Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodk, Kemal Ebcioglu |
| 2005 | PLDI | A serializability violation detector for shared-memory server programs. | Min Xu, Rastislav Bodk, Mark D. Hill |
| 2003 | ISCA | A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay. | Min Xu, Rastislav Bodk, Mark D. Hill |
| 2003 | MICRO | Using Interaction Costs for Microarchitectural Bottleneck Analysis. | Brian A. Fields, Rastislav Bodk, Mark D. Hill, Chris J. Newburn |
| 2003 | PLDI | Debugging temporal specifications with concept analysis. | Glenn Ammons, David Mandelin, Rastislav Bodk, James R. Larus |
| 2002 | ISCA | Slack: Maximizing Performance Under Technological Constraints. | Brian A. Fields, Rastislav Bodk, Mark D. Hill |
| 2002 | POPL | Mining specifications. | Glenn Ammons, Rastislav Bodk, James R. Larus |
| 2002 | POPL | An efficient profile-analysis framework for data-layout optimizations. | Shai Rubin, Rastislav Bodk, Trishul M. Chilimbi |
| 2001 | ISCA | Focusing processor policies via critical-path prediction. | Brian A. Fields, Shai Rubin, Rastislav Bodk |
| 2001 | ISCA | Rapid profiling via stratified sampling. | S. Subramanya Sastry, Rastislav Bodk, James E. Smith |
| 2000 | PLDI | ABCD: eliminating array bounds checks on demand. | Rastislav Bodk, Rajiv Gupta, Vivek Sarkar |
| 1999 | CC | Register Pressure Sensitive Redundancy Elimination. | Rajiv Gupta, Rastislav Bodk |
| 1999 | PLDI | Load-Reuse Analysis: Design and Evaluation. | Rastislav Bodk, Rajiv Gupta, Mary Lou Soffa |
| 1998 | PLDI | Complete Removal of Redundant Computations. | Rastislav Bodk, Rajiv Gupta, Mary Lou Soffa |
| 1998 | PLDI | Complete removal of redundant expressions (with retrospective) | Rastislav Bodk, Rajiv Gupta, Mary Lou Soffa |
| 1998 | POPL | Path-Sensitive Value-Flow Analysis. | Rastislav Bodk, Sadun Anik |
| 1997 | PLDI | Partial Dead Code Elimination using Slicing Transformations. | Rastislav Bodk, Rajiv Gupta |
| 1997 | PLDI | Interprocedural Conditional Branch Elimination. | Rastislav Bodk, Rajiv Gupta, Mary Lou Soffa |