2026 Sriram K. Rajamani: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	59	3398	3302	1648	1589	194	15661

Research.com Recognitions

2015 - ACM Fellow For contributions to software analysis and defect detection.
Fellow of the Indian National Academy of Engineering (INAE)
Fellow of the Indian National Academy of Engineering (INAE)

Overview

Sriram K. Rajamani is a researcher affiliated with Microsoft in the United States. Their work primarily spans the field of Computer Science, with a focus on areas such as Information Systems, Software, Artificial Intelligence, Computational Theory and Mathematics, and Signal Processing.

The main topics covered by their research include Software Engineering Research, Software Testing and Debugging Techniques, Formal Methods in Verification, Advanced Malware Detection Techniques, Nanofluid Flow and Heat Transfer, Heat Transfer Mechanisms, and Topic Modeling.

Recent papers authored or coauthored by Sriram K. Rajamani are as follows:

"Jigsaw," 2022, Proceedings of the 44th International Conference on Software Engineering
"Automatically Generating Algebra Problems," 2021, Proceedings of the AAAI Conference on Artificial Intelligence
"CodePlan: Repository-Level Coding using LLMs and Planning," 2024, Proceedings of the ACM on software engineering.
"CORE: Resolving Code Quality Issues using LLMs," 2024, Proceedings of the ACM on software engineering.
"Guiding Language Models of Code with Global Context using Monitors," 2023, arXiv (Cornell University)

Frequent coauthors collaborating with Sriram K. Rajamani include:

Suresh Parthasarathy
Arun Iyer
Nagarajan Natarajan
Atharv Sonwane
Aditya Kanade

Their publications are often found in venues such as:

arXiv (Cornell University)
Proceedings of the ACM on software engineering.
Zenodo (CERN European Organization for Nuclear Research)
Proceedings of the 44th International Conference on Software Engineering
Proceedings of the AAAI Conference on Artificial Intelligence

Sriram K. Rajamani has received recognition including being named an ACM Fellow in 2015 for contributions to software analysis and defect detection. They are also a Fellow of the Indian National Academy of Engineering (INAE).

Best Publications

The SLAM project: debugging system software via static analysis

Thomas Ball;Sriram K. Rajamani

1281
Citations
Automatic predicate abstraction of C programs

Thomas Ball;Rupak Majumdar;Todd Millstein;Sriram K. Rajamani

1081
Citations
Automatically validating temporal safety properties of interfaces

Thomas Ball;Sriram K. Rajamani

866
Citations
MOCHA: Modularity in Model Checking

Rajeev Alur;Thomas A. Henzinger;Freddy Y. C. Mang;Shaz Qadeer

546
Citations
Bebop: A Symbolic Model Checker for Boolean Programs

Thomas Ball;Sriram K. Rajamani

539
Citations
Thorough static analysis of device drivers

Thomas Ball;Ella Bounimova;Byron Cook;Vladimir Levin

535
Citations
Probabilistic programming

Andrew D. Gordon;Thomas A. Henzinger;Aditya V. Nori;Sriram K. Rajamani

469
Citations
Boolean and Cartesian Abstraction for Model Checking C Programs

Thomas Ball;Andreas Podelski;Sriram K. Rajamani

453
Citations
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft

Thomas Ball;Byron Cook;Vladimir Levin;Sriram K. Rajamani

436
Citations
From symptom to cause: localizing errors in counterexample traces

Thomas Ball;Mayur Naik;Sriram K. Rajamani

436
Citations
The SLAM Toolkit

Thomas Ball;Sriram K. Rajamani

412
Citations
You Assume, We Guarantee: Methodology and Case Studies

Thomas A. Henzinger;Shaz Qadeer;Sriram K. Rajamani

347
Citations
SYNERGY: a new algorithm for property checking

Bhargav S. Gulavani;Thomas A. Henzinger;Yamini Kannan;Aditya V. Nori

312
Citations
A decade of software model checking with SLAM

Thomas Ball;Vladimir Levin;Sriram K. Rajamani

301
Citations
Compositional may-must program analysis: unleashing the power of alternation

Patrice Godefroid;Aditya V. Nori;Sriram K. Rajamani;Sai Deep Tetali

266
Citations
Partial-Order Reduction in Symbolic State Space Exploration

Rajeev Alur;Robert K. Brayton;Thomas A. Henzinger;Shaz Qadeer

253
Citations
Jigsaw: Large Language Models meet Program Synthesis

Unknown

226
Citations
Proofs from Tests

N E Beckman;A V Nori;S K Rajamani;R J Simmons

225
Citations
Merlin: specification inference for explicit information flow problems

Benjamin Livshits;Aditya V. Nori;Sriram K. Rajamani;Anindya Banerjee

189
Citations
Boolean Programs: A Model and Process for Software Analysis

Thomas Ball;Sriram K. Rajamani

180
Citations
Boolean and Cartesian abstraction for model checking C programs

Thomas Ball;Andreas Podelski;Sriram K. Rajamani

130
Citations
Automatic predicate abstraction of C programs

Unknown

50
Citations

Frequent Co-Authors

Aditya V. Nori Microsoft (United States)

Thomas Ball Microsoft (United States)

Shaz Qadeer Microsoft (United States)

Thomas A. Henzinger Institute of Science and Technology Austria

Andrew D. Gordon Microsoft (United States)

Rajeev Alur University of Pennsylvania

Thore Graepel University College London

James R. Larus École Polytechnique Fédérale de Lausanne

Sumit Gulwani Microsoft (United States)

Sanjit A. Seshia University of California, Berkeley

External Links

Personal website of Sriram K. Rajamani Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring online degree programs opens up flexible and affordable paths for students interested in Computer Science and related fields. Many choose associate degrees for a quicker start—consider the fastest associates degree options to build foundational skills and begin a tech-focused career sooner.

Accreditation is crucial when selecting any online program. Graduating from an online degree programs accredited institution ensures your qualification will be recognized by employers and further study programs.

For those looking at advanced leadership or teaching roles, affordability matters. The cheapest doctorate of education online programs make high-level education in technology and computer science fields more accessible.

Creative students drawn to interactive media may be interested in career pathways such as video game development. Start by exploring the video game design degree programs that can be completed entirely online.

With so many options, researching accredited, affordable, and flexible programs can help you find the right fit for your career goals in computer science and beyond.