Manuvir Das

2.6k total citations
24 papers, 1.7k citations indexed

About

Manuvir Das is a scholar working on Software, Artificial Intelligence and Information Systems. According to data from OpenAlex, Manuvir Das has authored 24 papers receiving a total of 1.7k indexed citations (citations by other indexed papers that have themselves been cited), including 17 papers in Software, 16 papers in Artificial Intelligence and 9 papers in Information Systems. Recurrent topics in Manuvir Das's work include Software Testing and Debugging Techniques (17 papers), Logic, programming, and type systems (10 papers) and Software Engineering Research (9 papers). Manuvir Das is often cited by papers focused on Software Testing and Debugging Techniques (17 papers), Logic, programming, and type systems (10 papers) and Software Engineering Research (9 papers). Manuvir Das collaborates with scholars based in United States, United Kingdom and Finland. Manuvir Das's co-authors include Sorin Lerner, James R. Larus, Thomas Reps, Thomas Ball, David Evans, Deepali Bhardwaj, Jinlin Yang, Zhe Yang, Manuel Fähndrich and Stephen Adams and has published in prestigious journals such as IEEE Software, ACM SIGPLAN Notices and Infoscience (Ecole Polytechnique Fédérale de Lausanne).

In The Last Decade

Manuvir Das

23 papers receiving 1.5k citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Manuvir Das United States 15 1.1k 867 778 417 330 24 1.7k
Jeff Perkins United States 14 1.1k 1.0× 1.0k 1.2× 705 0.9× 540 1.3× 190 0.6× 22 1.8k
Carlos Pacheco United States 8 1.6k 1.5× 1.3k 1.4× 449 0.6× 411 1.0× 188 0.6× 9 2.0k
Ondřej Lhoták Canada 19 632 0.6× 694 0.8× 956 1.2× 485 1.2× 228 0.7× 54 1.5k
Aditya V. Nori United States 20 901 0.8× 642 0.7× 585 0.8× 280 0.7× 319 1.0× 45 1.4k
Glenn Ammons United States 14 627 0.6× 926 1.1× 501 0.6× 756 1.8× 195 0.6× 22 1.5k
Ana Milanova United States 15 690 0.6× 648 0.7× 721 0.9× 279 0.7× 174 0.5× 49 1.2k
Michael Y. Levin United States 12 1.5k 1.4× 819 0.9× 552 0.7× 297 0.7× 199 0.6× 18 1.9k
Sagar Chaki United States 17 465 0.4× 381 0.4× 580 0.7× 416 1.0× 424 1.3× 69 1.2k
Benjamin Chelf United States 12 1.0k 1.0× 1.0k 1.2× 894 1.1× 833 2.0× 204 0.6× 14 2.0k
Chandrasekhar Boyapati United States 15 794 0.7× 577 0.7× 939 1.2× 689 1.7× 395 1.2× 30 1.8k

Countries citing papers authored by Manuvir Das

Since Specialization
Citations

This map shows the geographic impact of Manuvir Das'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 Manuvir Das with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Manuvir Das more than expected).

Fields of papers citing papers by Manuvir Das

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Manuvir Das. 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 Manuvir Das. The network helps show where Manuvir Das may publish in the future.

Co-authorship network of co-authors of Manuvir Das

This figure shows the co-authorship network connecting the top 25 collaborators of Manuvir Das. A scholar is included among the top collaborators of Manuvir Das based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Manuvir Das. Manuvir Das is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Hackett, Brian, Manuvir Das, Daniel Wang, & Zhe Yang. (2006). Modular checking for buffer overflows in the large. 232–241. 77 indexed citations
2.
Yang, Jinlin, et al.. (2006). Perracotta. 282–291. 285 indexed citations
3.
Das, Manuvir. (2005). PASTE at Microsoft. ACM SIGSOFT Software Engineering Notes. 31(1). 1–1. 1 indexed citations
4.
Yang, Yue, et al.. (2005). Symbolic path simulation in path-sensitive dataflow analysis. 52–58. 5 indexed citations
5.
Yang, Yue, et al.. (2005). Symbolic path simulation in path-sensitive dataflow analysis. ACM SIGSOFT Software Engineering Notes. 31(1). 52–58. 16 indexed citations
6.
Manevich, Roman, Manu Sridharan, Stephen Adams, Manuvir Das, & Zhe Yang. (2004). PSE. 63–72. 88 indexed citations
7.
Dor, Nurit, Stephen Adams, Manuvir Das, & Zhe Yang. (2004). Software validation via scalable path-sensitive value flow analysis. ACM SIGSOFT Software Engineering Notes. 29(4). 12–22. 5 indexed citations
8.
Manevich, Roman, Manu Sridharan, Stephen Adams, Manuvir Das, & Zhe Yang. (2004). PSE. ACM SIGSOFT Software Engineering Notes. 29(6). 63–72. 18 indexed citations
9.
Larus, James R., T. Ball, Manuvir Das, et al.. (2004). Righting software. IEEE Software. 21(3). 92–100. 67 indexed citations
10.
Das, Manuvir, et al.. (2002). ESP. 5 indexed citations
11.
Das, Manuvir, et al.. (2002). ESP. ACM SIGPLAN Notices. 37(5). 57–68. 24 indexed citations
12.
Das, Manuvir. (2000). Unification-based pointer analysis with directional assignments. ACM SIGPLAN Notices. 35(5). 35–46. 26 indexed citations
13.
Fähndrich, Manuel, Jakob Rehof, & Manuvir Das. (2000). Scalable context-sensitive flow analysis using instantiation constraints. ACM SIGPLAN Notices. 35(5). 253–263. 3 indexed citations
14.
Fähndrich, Manuel, Jakob Rehof, & Manuvir Das. (2000). Scalable context-sensitive flow analysis using instantiation constraints. 253–263. 90 indexed citations
15.
Das, Manuvir. (1999). Static analysis of large programs (invited talk) (abstract only). 1–1. 1 indexed citations
16.
Das, Manuvir & Thomas Reps. (1998). Partial evaluation using dependence graphs. Minds at UW (University of Wisconsin). 8 indexed citations
17.
Reps, Thomas, Thomas Ball, Manuvir Das, & James R. Larus. (1997). The use of program profiling for software maintenance with applications to the year 2000 problem. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 22(6). 432–449. 177 indexed citations
18.
Reps, Thomas, Thomas Ball, Manuvir Das, & James R. Larus. (1997). The use of program profiling for software maintenance with applications to the year 2000 problem. ACM SIGSOFT Software Engineering Notes. 22(6). 432–449. 84 indexed citations
19.
Das, Manuvir & Thomas Reps. (1996). BTA Termination Using CFL-Reachability. Minds at UW (University of Wisconsin). 1 indexed citations
20.
Das, Manuvir, Thomas Reps, & Pascal Van Hentenryck. (1995). Semantic foundations of binding-time analysis for imperative programs. 100–110. 10 indexed citations

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

Breakdown of academic impact, for papers by Jeff Perkins Breakdown of academic impact, for papers by Carlos Pacheco Breakdown of academic impact, for papers by Ondřej Lhoták Breakdown of academic impact, for papers by Aditya V. Nori Breakdown of academic impact, for papers by Glenn Ammons Breakdown of academic impact, for papers by Ana Milanova Breakdown of academic impact, for papers by Michael Y. Levin Breakdown of academic impact, for papers by Sagar Chaki Breakdown of academic impact, for papers by Benjamin Chelf Breakdown of academic impact, for papers by Chandrasekhar Boyapati
Rankless by CCL
2026