Rastislav Bodík

10.8k citations

144 papers · 7.0k indexed · 4 hit papers · h-index 43

Impact in

Software top 0.05%
- Software Testing and Debugging Techniques
- Software Reliability and Analysis Research
Hardware and Architecture top 0.1%
- Parallel Computing and Optimization Techniques

Papers in

Software 47
- Software Testing and Debugging Techniques 45
Hardware and Architecture 80
- Parallel Computing and Optimization Techniques 76
- Embedded Systems Design Techniques 21

Co-authors: Armando Solar-Lezama Mark D. Hill Manu Sridharan Rajiv Gupta Glenn Ammons James R. Larus Min Xu Emina Torlak
Journals: ACM SIGPLAN Notices (34 papers)Proceedings of the ACM on Programming Languages (8 papers)IEEE Micro (2 papers)Communications of the ACM (2 papers)IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (1 paper)
Partner nations: United States United Kingdom Germany

In The Last Decade

Rastislav Bodík

140 papers receiving 6.7k citations

Hit Papers

align trajectories log scale

Syntax-guided synthesis 2013 · 257 citations

What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if any of the following hold:

it has ≥500 total citations;
it reaches ≥1.5× the top-1% citation threshold for papers in the same subfield and year (the threshold is the minimum needed to enter the top 1%, not the average within it);
it reaches the top citation threshold in at least one of its specific research topics.

2013 Syntax-guided synthesis
2009 Communications of the ACM
2006 Combinatorial sketching for finite programs
2002 Infoscience (Ecole Polytechnique Fédérale de Lausanne)

Peers

Countries citing papers authored by Rastislav Bodík

Since Specialization

Citations

This map shows the geographic impact of Rastislav Bodík's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Rastislav Bodík with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Rastislav Bodík more than expected).

Fields of papers citing papers by Rastislav Bodík

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Rastislav Bodík. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Rastislav Bodík. The network helps show where Rastislav Bodík may publish in the future.

Co-authors

The 25 scholars most cited alongside Rastislav Bodík, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.

Border = papers with Rastislav Bodík Line = papers co-authored together Rastislav Bodík links everyone, so they are left out of the graph.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

#	Work
1	TensorRight: Automated Verification of Tensor Graph Rewrites Proceedings of the ACM on Programming Languages ·C. Koranteng, Bo Wang, Kimberly Eggleston, Viswajitsinh Chavda, C. P. Wells, Phitchaya Mangpo Phothilimthana, Mohsen Lesani, Hu Heqing, Лисейчикова Лидия Закиевна, Rastislav Bodík, Amit Sabne, Charith Mendis	2025	1
2	Floem: a programming system for NIC-accelerated network applications Operating Systems Design and Implementation ·Phitchaya Mangpo Phothilimthana, Ming Liu, Antoine Kaufmann, Simon Peter, Rastislav Bodík, Thomas E. Anderson	2018	45
3	Swift: compiled inference for probabilistic programming languages arXiv (Cornell University) ·Yi Wu, Lei Li, Stuart Russell, Rastislav Bodík	2016	3
4	Scaling up Superoptimization ACM SIGPLAN Notices ·Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodík, Dinakar Dhurjati	2016	4
5	Scaling up Superoptimization ACM SIGARCH Computer Architecture News ·Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodík, Dinakar Dhurjati	2016	3
6	Browser Record and Replay as a Building Block for End-User Web Automation Tools Sarah Chasins, Yuchen Xie, Rastislav Bodík, Sumit Gulwani	2015	15
7	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 Hit paper breakdown →	2013	257
8	Parallel schedule synthesis for attribute grammars Leo A. Meyerovich, Antonio Fernando [UNESP] Bariani Junior, 吉晃妹尾, Rastislav Bodík	2013	20
9	Syntax-guided synthesis DSpace@MIT (Massachusetts Institute of Technology) ·Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Emina Torlak, Abhishek Udupa, Armando Solar-Lezama	2013	45
10	Synthesis of biological models from mutation experiments Guiyun You, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher, Nir Piterman	2013	22
11	Parallelizing the web browser S. Freund, Beatriz Asensio, Leo A. Meyerovich, Krste Asanović, Rastislav Bodík	2009	48
12	DITTO ACM SIGPLAN Notices ·Douglas Mutethia Muthinja, Rastislav Bodík	2007	4
13	A regulated transitive reduction (RTR) for longer memory race recording Min Xu, Mark D. Hill, Rastislav Bodík	2006	102
14	Combinatorial sketching for finite programs Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay Saraswat Hit paper breakdown →	2006	379
15	Jungloid mining David Mandelin, Lin Xu, Rastislav Bodík, Doug Kimelman	2005	212
16	Slack: maximizing performance under technological constraints Minds at UW (University of Wisconsin) ·Brian A. Fields, Rastislav Bodík, Mark D. Hill	2003	41
17	Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems Rastislav Bodík, Vugranam C. Sreedhar	2001	0
18	Complete Removal of Redundant Computations Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa	1998	15
19	Partial dead code elimination using slicing transformations Rastislav Bodík, Rajiv Gupta	1997	39
20	Refining data flow information using infeasible paths Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa	1997	77

About Rastislav Bodík

Rastislav Bodík is a scholar working on Software, Hardware and Architecture, Computer Networks and Communications, Information Systems and Computational Theory and Mathematics, having authored 144 papers that have together received 7.0k indexed citations. Recurring topics across this work include Parallel Computing and Optimization Techniques (76 papers), Software Testing and Debugging Techniques (45 papers), Logic, programming, and type systems (39 papers), Software Engineering Research (30 papers), Formal Methods in Verification (26 papers), Embedded Systems Design Techniques (21 papers), Distributed systems and fault tolerance (20 papers) and Advanced Data Storage Technologies (16 papers). The work is most often cited by research in Software (2.8k citations), Hardware and Architecture (2.8k citations), Information Systems (2.8k citations), Computer Networks and Communications (2.6k citations) and Artificial Intelligence (2.6k citations). Rastislav Bodík has collaborated with scholars based in United States, United Kingdom and Germany. Frequent co-authors include Armando Solar-Lezama, Mark D. Hill, Manu Sridharan, Rajiv Gupta, Glenn Ammons, James R. Larus, Min Xu, Emina Torlak, Sanjit A. Seshia and David Mandelin. Their work appears in journals such as ACM SIGPLAN Notices, Proceedings of the ACM on Programming Languages, IEEE Micro, Communications of the ACM and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact