R. Bodík

Most-cited papers

Programming With Models: Writing Statistical Algorithms for General Model Structures With NIMBLE
P. de Valpine, Daniel B. Turek, C. Paciorek, Clifford Anderson-Bergman +2 more
20151,122 citations Open access
Semantic Scholar
Syntax-guided synthesis
R. Alur, R. Bodík, Eric Dallal, D. Fisman +12 more
2013Formal Methods in Computer-Aided Design930 citations Open access
Semantic Scholar
A lightweight symbolic virtual machine for solver-aided host languages
Emina Torlak, R. Bodík
2014ACM-SIGPLAN Symposium on Programming Language Design and Implementation269 citations
Semantic Scholar
Growing solver-aided languages with rosette
Emina Torlak, R. Bodík
2013SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software267 citations
Semantic Scholar
Synthesizing highly expressive SQL queries from input-output examples
Chenglong Wang, Alvin Cheung, R. Bodík
2017ACM-SIGPLAN Symposium on Programming Language Design and Implementation231 citations Open access
Semantic Scholar
Floem: A Programming System for NIC-Accelerated Network Applications
P. Phothilimthana, Ming Liu, Antoine Kaufmann, Simon Peter +2 more
2018USENIX Symposium on Operating Systems Design and Implementation161 citations
Semantic Scholar
Chlorophyll: synthesis-aided compiler for low-power spatial architectures
P. Phothilimthana, Tikhon Jelvis, Rohin Shah, Nishant Totla +2 more
2014ACM-SIGPLAN Symposium on Programming Language Design and Implementation152 citations
Semantic Scholar
Angelic debugging
S. Chandra, Emina Torlak, Shaon Barman, R. Bodík
2011International Conference on Software Engineering145 citations
Semantic Scholar
CodeHint: dynamic and interactive synthesis of code snippets
Joel Galenson, Philip Reames, R. Bodík, Bjoern Hartmann +1 more
2014International Conference on Software Engineering135 citations Open access
Semantic Scholar
Scaling up Superoptimization
P. Phothilimthana, Aditya V. Thakur, R. Bodík, Dinakar Dhurjati
2016International Conference on Architectural Support for Programming Languages and Operating Systems120 citations Open access
Semantic Scholar
Rousillon: Scraping Distributed Hierarchical Web Data
Sarah E. Chasins, M. Mueller, R. Bodík
2018ACM Symposium on User Interface Software and Technology108 citations
Semantic Scholar
Programming with angelic nondeterminism
R. Bodík, S. Chandra, Joel Galenson, D. Kimelman +3 more
2010ACM-SIGACT Symposium on Principles of Programming Languages71 citations
Semantic Scholar
Ringer: web automation by demonstration
Shaon Barman, Sarah E. Chasins, R. Bodík, Sumit Gulwani
2016Conference on Object-Oriented Programming Systems, Languages, and Applications65 citations
Semantic Scholar
Falx: Synthesis-Powered Visualization Authoring
Chenglong Wang, Yu Feng, R. Bodík, I. Dillig +2 more
2021International Conference on Human Factors in Computing Systems62 citations Open access
Semantic Scholar
Algorithmic program synthesis: introduction
R. Bodík, Barbara Jobstmann
2013International Journal on Software Tools for Technology Transfer (STTT)61 citations
Semantic Scholar
Precise Attack Synthesis for Smart Contracts
Yu Feng, Emina Torlak, R. Bodík
2019arXiv.org48 citations
Semantic Scholar
Swizzle Inventor: Data Movement Synthesis for GPU Kernels
P. Phothilimthana, A. Elliott, An Wang, Abhinav Jangda +6 more
2019International Conference on Architectural Support for Programming Languages and Operating Systems47 citations Open access
Semantic Scholar
Visualization by example
Chenglong Wang, Yu Feng, R. Bodík, Alvin Cheung +1 more
2019Proc. ACM Program. Lang.47 citations Open access
Semantic Scholar
Gradual synthesis for static parallelization of single-pass array-processing programs
Grigory Fedyukovich, Maaz Bin Safeer Ahmad, R. Bodík
2017ACM-SIGPLAN Symposium on Programming Language Design and Implementation47 citations
Semantic Scholar
Synthesis of biological models from mutation experiments
Ali Sinan Köksal, Yewen Pu, S. Srivastava, R. Bodík +2 more
2013ACM-SIGACT Symposium on Principles of Programming Languages46 citations
Semantic Scholar
Differentiable 3D CAD Programs for Bidirectional Editing
D. Cașcaval, Mira Shalah, Phillip L. Quinn, R. Bodík +2 more
2021Computer graphics forum (Print)45 citations Open access
Semantic Scholar
Interactive Query Synthesis from Input-Output Examples
Chenglong Wang, Alvin Cheung, R. Bodík
2017SIGMOD Conference45 citations Open access
Semantic Scholar
Accelerating Syntax-Guided Invariant Synthesis
Grigory Fedyukovich, R. Bodík
2018International Conference on Tools and Algorithms for Construction and Analysis of Systems43 citations Open access
Semantic Scholar
Sampling invariants from frequency distributions
Grigory Fedyukovich, Samuel J. Kaufman, R. Bodík
2017Formal Methods in Computer-Aided Design41 citations
Semantic Scholar
Fireiron: A Data-Movement-Aware Scheduling Language for GPUs
Bastian Hagedorn, A. Elliott, Henrik Barthels, R. Bodík +1 more
2020International Conference on Parallel Architectures and Compilation Techniques40 citations Open access
Semantic Scholar
Synthesizing Signaling Pathways from Temporal Phosphoproteomic Data
Ali Sinan Köksal, Kirsten Beck, Dylan Cronin, A. McKenna +8 more
2017bioRxiv39 citations Open access
Semantic Scholar
Chlorophyll : Synthesis-Aided Compiler for Low-Power Spatial Architectures by Phitchaya Mangpo Phothilimthana
P. Phothilimthana, Tikhon Jelvis, Rohin Shah, Nishant Totla +2 more
201532 citations
Semantic Scholar
Swift: Compiled Inference for Probabilistic Programming Languages
Yi Wu, Lei Li, Stuart J. Russell, R. Bodík
2016International Joint Conference on Artificial Intelligence31 citations
Semantic Scholar
Synthesis of first-order dynamic programming algorithms
Yewen Pu, R. Bodík, S. Srivastava
2011Conference on Object-Oriented Programming Systems, Languages, and Applications31 citations
Semantic Scholar
Programming by manipulation for layout
Thibaud Hottelier, R. Bodík, Kimiko Ryokai
2014ACM Symposium on User Interface Software and Technology30 citations
Semantic Scholar
Verifying and improving Halide’s term rewriting system with program synthesis
Julie L. Newcomb, Andrew Adams, Steven M. Johnson, R. Bodík +1 more
2020Proc. ACM Program. Lang.28 citations Open access
Semantic Scholar
Parallel schedule synthesis for attribute grammars
Leo A. Meyerovich, Matthew E. Torok, Eric Hamilton Atkinson, R. Bodík
2013ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming27 citations
Semantic Scholar
Browser Record and Replay as a Building Block for End-User Web Automation Tools
Sarah E. Chasins, Shaon Barman, R. Bodík, Sumit Gulwani
2015The Web Conference25 citations Open access
Semantic Scholar
Specifying and verifying sparse matrix codes
Gilad Arnold, J. Hölzl, Ali Sinan Köksal, R. Bodík +1 more
2010ACM SIGPLAN International Conference on Functional Programming25 citations
Semantic Scholar
Summary-Based Symbolic Evaluation for Smart Contracts
Yu Feng, Emina Torlak, R. Bodík
2020International Conference on Automated Software Engineering23 citations Open access
Semantic Scholar
GreenThumb: superoptimizer construction framework
P. Phothilimthana, Aditya V. Thakur, R. Bodík, Dinakar Dhurjati
2016International Conference on Compiler Construction22 citations Open access
Semantic Scholar
Inter-Disciplinary Research Challenges in Computer Systems for the 2020s
Albert Cohen, Xi-Peng Shen, J. Torrellas, James Tuck +48 more
201820 citations
Semantic Scholar
Iterative Search for Reconfigurable Accelerator Blocks With a Compiler in the Loop
Max Willsey, Vincent T. Lee, Alvin Cheung, R. Bodík +1 more
2019IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems17 citations Open access
Semantic Scholar
Skip blocks: reusing execution history to accelerate web scripts
Sarah E. Chasins, R. Bodík
2017Proc. ACM Program. Lang.16 citations Open access
Semantic Scholar
TensorRight: Automated Verification of Tensor Graph Rewrites
Jai Arora, Sirui Lu, Devansh Jain, Tian-Fang Xu +8 more
2025Proc. ACM Program. Lang.15 citations Open access
Semantic Scholar
Grisette: Symbolic Compilation as a Functional Programming Library
Sirui Lu, R. Bodík
2023Proc. ACM Program. Lang.15 citations Open access
Semantic Scholar
Synthesizing analytical SQL queries from computation demonstration
Xiangyu Zhou, R. Bodík, Alvin Cheung, Chenglong Wang
2022ACM-SIGPLAN Symposium on Programming Language Design and Implementation15 citations Open access
Semantic Scholar
Speeding up symbolic reasoning for relational queries
Chenglong Wang, Alvin Cheung, R. Bodík
2018Proc. ACM Program. Lang.13 citations Open access
Semantic Scholar
Field-sensitive program dependence analysis
Shay Litvak, Nurit Dor, R. Bodík, N. Rinetzky +1 more
2010Fast Software Encryption Workshop13 citations
Semantic Scholar
Toward tool support for interactive synthesis
Shaon Barman, R. Bodík, S. Chandra, Emina Torlak +2 more
2015SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software12 citations Open access
Semantic Scholar
Fireiron: A Scheduling Language for High-Performance Linear Algebra on GPUs
Bastian Hagedorn, A. Elliott, Henrik Barthels, R. Bodík +1 more
2020arXiv.org11 citations
Semantic Scholar
Toward Synthesizing Executable Models in Biology
Jasmin Fisher, Nir Piterman, R. Bodík
2014Frontiers in Bioengineering and Biotechnology11 citations Open access
Semantic Scholar
A Lineage-Based Referencing DSL for Computer-Aided Design
D. Cașcaval, R. Bodík, Adriana Schulz
2023Proc. ACM Program. Lang.10 citations Open access
Semantic Scholar
Bonsai: synthesis-based reasoning for type systems
Kartik Chandra, R. Bodík
2017Proc. ACM Program. Lang.9 citations Open access
Semantic Scholar
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
R. Bodík, R. Majumdar
2016ACM-SIGACT Symposium on Principles of Programming Languages9 citations
Semantic Scholar