Sriram Rajamani

Cited by

	All	Since 2016
Citations	13654	3309
h-index	56	34
i10-index	110	63

860

430

215

645

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202136 56 98 186 268 376 601 765 707 771 748 818 857 712 772 823 752 778 730 671 664 640 529 74

Co-authors

Thomas BallMicrosoft ResearchVerified email at microsoft.com
Aditya NoriMicrosoft ResearchVerified email at microsoft.com
Shaz QadeerResearch Scientist, FacebookVerified email at fb.com
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Todd MillsteinProfessor of Computer Science, UCLAVerified email at cs.ucla.edu
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.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 and Dean, 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
Mayur NaikProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Venkatesh-Prasad RanganathGoogleVerified email at ksu.edu
Aditya ThakurDepartment of Computer Science, University of California, DavisVerified email at ucdavis.edu
Sumit GulwaniPartner Research Manager, MicrosoftVerified email at microsoft.com
Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft ResearchVerified email at fahndrich.com

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	1199	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	1031	2001
Automatically validating temporal safety properties of interfaces T Ball, SK Rajamani International SPIN Workshop on Model Checking of Software, 102-122, 2001	837	2001
Bebop: A symbolic model checker for boolean programs T Ball, SK Rajamani International SPIN Workshop on Model Checking of Software, 113-130, 2000	508	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	505	2006
MOCHA: Modularity in model checking R Alur, TA Henzinger, FYC Mang, S Qadeer, SK Rajamani, S Tasiran International Conference on Computer Aided Verification, 521-525, 1998	498	1998
Boolean and Cartesian abstraction for model checking C programs T Ball, A Podelski, SK Rajamani International Conference on Tools and Algorithms for the Construction and …, 2001	418	2001
The SLAM toolkit T Ball, SK Rajamani Proceedings of CAV’2001 (13th Conference on Computer Aided Verification …, 2000	399	2000
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	397	2003
SLAM and Static Driver Verifier: Technology transfer of formal methods inside Microsoft T Ball, B Cook, V Levin, SK Rajamani International Conference on Integrated Formal Methods, 1-20, 2004	378	2004
Probabilistic programming AD Gordon, TA Henzinger, AV Nori, SK Rajamani Future of Software Engineering Proceedings, 167-181, 2014	343	2014
You assume, we guarantee: Methodology and case studies TA Henzinger, S Qadeer, SK Rajamani International Conference on Computer Aided Verification, 440-451, 1998	299	1998
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	282	2006
A decade of software model checking with SLAM T Ball, V Levin, SK Rajamani Communications of the ACM 54 (7), 68-76, 2011	260	2011
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	234	2010
Partial-order reduction in symbolic state space exploration R Alur, RK Brayton, TA Henzinger, S Qadeer, SK Rajamani International Conference on Computer Aided Verification, 340-351, 1997	226	1997
Proofs from tests NE Beckman, AV Nori, SK Rajamani, RJ Simmons, SD Tetali, AV Thakur IEEE Transactions on Software Engineering 36 (4), 495-508, 2010	207	2010
Boolean programs: A model and process for software analysis T Ball http://research. microsoft. com/slam, 2000	167	2000
Merlin: Specification inference for explicit information flow problems B Livshits, AV Nori, SK Rajamani, A Banerjee ACM Sigplan Notices 44 (6), 75-86, 2009	164	2009
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	163	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

Upload PDF

Follow this author

Cited by

Co-authors