H-Index & Metrics Best Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science D-index 56 Citations 14,207 138 World Ranking 2065 National Ranking 1137

Research.com Recognitions

Awards & Achievements

2015 - ACM Fellow For contributions to software analysis and defect detection.

Fellow of the Indian National Academy of Engineering (INAE)

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Software

Sriram K. Rajamani mostly deals with Model checking, Programming language, Theoretical computer science, Program analysis and Predicate abstraction. His studies in Model checking integrate themes in fields like Debugging, Relation and Symbolic execution. His study in Software, Interface, Boolean data type, Static analysis and Software development falls within the category of Programming language.

His study in the field of Binary decision diagram is also linked to topics like Research center. The study incorporates disciplines such as Maximum satisfiability problem, Standard Boolean model and Microsoft Windows in addition to Program analysis. His Predicate abstraction study combines topics in areas such as Abstract interpretation, Process and Automated theorem proving.

His most cited work include:

  • The SLAM project: debugging system software via static analysis (884 citations)
  • Automatic predicate abstraction of C programs (738 citations)
  • Automatically validating temporal safety properties of interfaces (593 citations)

What are the main themes of his work throughout his whole career to date?

The scientist’s investigation covers issues in Programming language, Model checking, Theoretical computer science, Software and Software engineering. His research in Predicate abstraction, Software development, Static analysis, Abstract interpretation and Formal verification are components of Programming language. Sriram K. Rajamani studies Abstraction model checking, a branch of Model checking.

As a member of one scientific family, Sriram K. Rajamani mostly works in the field of Theoretical computer science, focusing on Probabilistic logic and, on occasion, Machine learning and Markov chain Monte Carlo. His research links Compiler with Software. His Software engineering research is multidisciplinary, incorporating elements of Debugging and Software construction.

He most often published in these fields:

  • Programming language (36.70%)
  • Model checking (29.79%)
  • Theoretical computer science (28.19%)

What were the highlights of his more recent work (between 2012-2020)?

  • Probabilistic logic (7.45%)
  • Theoretical computer science (28.19%)
  • Inference (4.26%)

In recent papers he was focusing on the following fields of study:

Sriram K. Rajamani mainly focuses on Probabilistic logic, Theoretical computer science, Inference, Programming language and Machine learning. His work investigates the relationship between Probabilistic logic and topics such as Bayesian inference that intersect with problems in Data mining and Variable elimination. His Theoretical computer science research integrates issues from Correctness, Algorithm, Cycle detection and Program analysis.

In general Programming language, his work in Model checking and Modular design is often linked to Page fault and Type theory linking many areas of study. His research investigates the connection between Model checking and topics such as Domain-specific language that intersect with problems in Programmer and Asynchronous communication. His Machine learning study also includes fields such as

  • Artificial intelligence that connect with fields like Field, Debugging and Root cause analysis,
  • Frequentist inference that connect with fields like Divergence-from-randomness model.

Between 2012 and 2020, his most popular works were:

  • Probabilistic programming (233 citations)
  • P: safe asynchronous event-driven programming (97 citations)
  • R2: an efficient MCMC sampler for probabilistic programs (65 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Algorithm

His scientific interests lie mostly in Probabilistic logic, Inference, Theoretical computer science, Algorithm and Program analysis. In his research, Program synthesis and Programmer is intimately related to Markov chain Monte Carlo, which falls under the overarching field of Probabilistic logic. Sriram K. Rajamani works mostly in the field of Inference, limiting it down to concerns involving Bayesian inference and, occasionally, Machine learning and Variable elimination.

The Correctness and Computation research Sriram K. Rajamani does as part of his general Algorithm study is frequently linked to other disciplines of science, such as Gaussian, therefore creating a link between diverse domains of science. Sriram K. Rajamani has researched Correctness in several fields, including Statement, Program slicing, Semantics, Transformation and Expression. Sriram K. Rajamani combines subjects such as Probabilistic argumentation and Symbolic execution with his study of Program analysis.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

The SLAM project: debugging system software via static analysis

Thomas Ball;Sriram K. Rajamani.
symposium on principles of programming languages (2002)

1235 Citations

Automatic predicate abstraction of C programs

Thomas Ball;Rupak Majumdar;Todd Millstein;Sriram K. Rajamani.
programming language design and implementation (2001)

1060 Citations

Automatically validating temporal safety properties of interfaces

Thomas Ball;Sriram K. Rajamani.
international workshop on model checking software (2001)

857 Citations

Bebop: A Symbolic Model Checker for Boolean Programs

Thomas Ball;Sriram K. Rajamani.
international workshop on model checking software (2000)

525 Citations

Thorough static analysis of device drivers

Thomas Ball;Ella Bounimova;Byron Cook;Vladimir Levin.
european conference on computer systems (2006)

521 Citations

MOCHA: Modularity in Model Checking

R. Alur;T. A. Henzinger;F. Y. C. Mang;S. Qadeer.
computer aided verification (1998)

512 Citations

Boolean and Cartesian Abstraction for Model Checking C Programs

Thomas Ball;Andreas Podelski;Sriram K. Rajamani.
tools and algorithms for construction and analysis of systems (2001)

435 Citations

From symptom to cause: localizing errors in counterexample traces

Thomas Ball;Mayur Naik;Sriram K. Rajamani.
symposium on principles of programming languages (2003)

406 Citations

The SLAM Toolkit

Thomas Ball;Sriram K. Rajamani.
computer aided verification (2001)

401 Citations

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

Thomas Ball;Byron Cook;Vladimir Levin;Sriram K. Rajamani.
integrated formal methods (2004)

390 Citations

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

Contact us

Best Scientists Citing Sriram K. Rajamani

Daniel Kroening

Daniel Kroening

Amazon (United States)

Publications: 76

Thomas A. Henzinger

Thomas A. Henzinger

Institute of Science and Technology Austria

Publications: 75

Thomas Reps

Thomas Reps

University of Wisconsin–Madison

Publications: 70

Krishnendu Chatterjee

Krishnendu Chatterjee

Institute of Science and Technology Austria

Publications: 62

Edmund M. Clarke

Edmund M. Clarke

Carnegie Mellon University

Publications: 61

Rajeev Alur

Rajeev Alur

University of Pennsylvania

Publications: 61

Shaz Qadeer

Shaz Qadeer

Facebook (United States)

Publications: 59

Dirk Beyer

Dirk Beyer

Ludwig-Maximilians-Universität München

Publications: 58

Rupak Majumdar

Rupak Majumdar

Max Planck Institute for Software Systems

Publications: 57

Aarti Gupta

Aarti Gupta

Princeton University

Publications: 51

Andrey Rybalchenko

Andrey Rybalchenko

Microsoft (United States)

Publications: 46

Andreas Podelski

Andreas Podelski

University of Freiburg

Publications: 44

Byron Cook

Byron Cook

Amazon (United States)

Publications: 39

Shuvendu K. Lahiri

Shuvendu K. Lahiri

Microsoft (United States)

Publications: 39

P. Madhusudan

P. Madhusudan

University of Illinois at Urbana-Champaign

Publications: 36

Sumit Gulwani

Sumit Gulwani

Microsoft (United States)

Publications: 36

Something went wrong. Please try again later.