Concepedia

Sriram K. Rajamani

SK

76

Publications

7.4K

Citations

42

H-Index

1999

Active since

Affiliations

Microsoft (United States)(Current)

Microsoft Research (India)

Microsoft Research (United Kingdom)

University of California, Berkeley

Carnegie Mellon University

Sriram K. Rajamani is an author at Microsoft (United States) specializing in engineering, program analysis, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsFormal VerificationVerificationSoftware EngineeringAutomated ReasoningSoftware Testing

Publications per year

1999–2024

76

Publications

76

The S <scp>LAM</scp> project

Thomas Ball, Sriram K. Rajamani · 2002 · 919 citations

Engineering, Verification, Software Engineering +20

Automatic predicate abstraction of C programs

Thomas Ball, Rupak Majumdar, Todd Millstein et al. · ACM SIGPLAN Notices · 2012 · 696 citations

Program Checking, Engineering, Verification +22

Automatic predicate abstraction of C programs

Thomas Ball, Rupak Majumdar, Todd Millstein et al. · 2001 · 432 citations

Engineering, Verification, Computer-aided Verification +20

Thorough static analysis of device drivers

Thomas Ball, Ella Bounimova, Byron Cook et al. · 2006 · 376 citations

Engineering, Static Analysis Engine, Computer Architecture +19

Probabilistic programming

Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori et al. · 2014 · 357 citations · Full text

Reliability Analysis, Engineering, Data Science +14

Rows per page

1–5 of 76