Sriram Rajamani
Sriram Rajamani
Microsoft Research
Verified email at microsoft.com - Homepage
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
12102002
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
10392001
Automatically validating temporal safety properties of interfaces
T Ball, SK Rajamani
International SPIN Workshop on Model Checking of Software, 102-122, 2001
8432001
Bebop: A symbolic model checker for boolean programs
T Ball, SK Rajamani
International SPIN Workshop on Model Checking of Software, 113-130, 2000
5182000
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
5132006
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
5041998
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
4232001
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
4042003
The SLAM toolkit
T Ball, SK Rajamani
Proceedings of CAV’2001 (13th Conference on Computer Aided Verification …, 2000
4032000
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
3822004
Probabilistic programming
AD Gordon, TA Henzinger, AV Nori, SK Rajamani
Future of Software Engineering Proceedings, 167-181, 2014
3592014
You assume, we guarantee: Methodology and case studies
TA Henzinger, S Qadeer, SK Rajamani
International Conference on Computer Aided Verification, 440-451, 1998
3021998
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
2882006
A decade of software model checking with SLAM
T Ball, V Levin, SK Rajamani
Communications of the ACM 54 (7), 68-76, 2011
2652011
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
2392010
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
2281997
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
2102010
Boolean programs: A model and process for software analysis
T Ball
http://research. microsoft. com/slam, 2000
1702000
Merlin: Specification inference for explicit information flow problems
B Livshits, AV Nori, SK Rajamani, A Banerjee
ACM Sigplan Notices 44 (6), 75-86, 2009
1682009
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
1642002
The system can't perform the operation now. Try again later.
Articles 1–20