Sriram Rajamani

Cited by

	All	Since 2018
Citations	15082	3200
h-index	58	32
i10-index	118	61

880

440

220

660

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202339 63 110 188 295 390 636 777 710 785 754 807 863 708 767 827 756 781 724 670 662 650 563 500 468 356

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Thomas BallMicrosoft ResearchVerified email at microsoft.com
Aditya NoriMicrosoft ResearchVerified email at microsoft.com
Shaz QadeerSoftware Engineer, MetaVerified email at fb.com
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Todd MillsteinProfessor of Computer Science, UCLAVerified email at cs.ucla.edu
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Ganesan RamalingamMicrosoft Research IndiaVerified email at microsoft.com
Andrew D GordonMicrosoft Research and University of EdinburghVerified email at microsoft.com
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
James R LarusProfessor, EPFLVerified email at larusstone.org
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr
Cédric FournetMicrosoft ResearchVerified email at microsoft.com
Ankush DesaiSenior Applied Scientist, Amazon Web ServicesVerified email at amazon.com
Sumit GulwaniPartner Research Manager, MicrosoftVerified email at microsoft.com
Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft ResearchVerified email at fahndrich.com
Venkatesh-Prasad RanganathGoogleVerified email at ksu.edu
Robert J. SimmonsBrilliant.org, formerly Carnegie Mellon UniversityVerified email at cs.cmu.edu
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
Mayur NaikProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu

Sriram Rajamani

Microsoft Research

Verified email at microsoft.com - Homepage

programming languages verification security systems machine learning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The SLAM project: debugging system software via static analysis T Ball, SK Rajamani Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002	1255	2002
Automatic predicate abstraction of C programs T Ball, R Majumdar, T Millstein, SK Rajamani Proceedings of the ACM SIGPLAN 2001 conference on Programming language …, 2001	1109	2001
Automatically validating temporal safety properties of interfaces T Ball, SK Rajamani International SPIN Workshop on Model Checking of Software, 102-122, 2001	873	2001
MOCHA: Modularity in model checking R Alur, TA Henzinger, FYC Mang, S Qadeer, SK Rajamani, S Tasiran Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998	553	1998
Bebop: A symbolic model checker for boolean programs T Ball, SK Rajamani SPIN Model Checking and Software Verification: 7th International SPIN …, 2000	533	2000
Thorough static analysis of device drivers T Ball, E Bounimova, B Cook, V Levin, J Lichtenberg, C McGarvey, ... ACM SIGOPS Operating Systems Review 40 (4), 73-85, 2006	529	2006
Probabilistic programming AD Gordon, TA Henzinger, AV Nori, SK Rajamani Future of Software Engineering Proceedings, 167-181, 2014	455	2014
Boolean and Cartesian abstraction for model checking C programs T Ball, A Podelski, SK Rajamani Tools and Algorithms for the Construction and Analysis of Systems: 7th …, 2001	443	2001
From symptom to cause: localizing errors in counterexample traces T Ball, M Naik, SK Rajamani Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of …, 2003	440	2003
SLAM and Static Driver Verifier: Technology transfer of formal methods inside Microsoft T Ball, B Cook, V Levin, SK Rajamani Integrated Formal Methods: 4th International Conference, IFM 2004 …, 2004	437	2004
The SLAM toolkit T Ball, SK Rajamani Proceedings of CAV’2001 (13th Conference on Computer Aided Verification …, 2000	422	2000
You assume, we guarantee: Methodology and case studies TA Henzinger, S Qadeer, SK Rajamani Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998	332	1998
A decade of software model checking with SLAM T Ball, V Levin, SK Rajamani Communications of the ACM 54 (7), 68-76, 2011	303	2011
Synergy: a new algorithm for property checking BS Gulavani, TA Henzinger, Y Kannan, AV Nori, SK Rajamani Proceedings of the 14th ACM SIGSOFT international symposium on Foundations …, 2006	295	2006
Compositional may-must program analysis: unleashing the power of alternation P Godefroid, AV Nori, SK Rajamani, SD Tetali Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010	263	2010
Partial-order reduction in symbolic state space exploration R Alur, RK Brayton, TA Henzinger, S Qadeer, SK Rajamani Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997	246	1997
Proofs from tests NE Beckman, AV Nori, SK Rajamani, RJ Simmons Proceedings of the 2008 international symposium on Software testing and …, 2008	219	2008
Merlin: Specification inference for explicit information flow problems B Livshits, AV Nori, SK Rajamani, A Banerjee ACM Sigplan Notices 44 (6), 75-86, 2009	191	2009
P: safe asynchronous event-driven programming A Desai, V Gupta, E Jackson, S Qadeer, S Rajamani, D Zufferey ACM SIGPLAN Notices 48 (6), 321-332, 2013	188	2013
Types as models: model checking message-passing programs S Chaki, SK Rajamani, J Rehof Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of …, 2002	177	2002

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors