Sriram Rajamani
Sriram Rajamani
Microsoft Research
Verified email at microsoft.com - Homepage
TitleCited byYear
The S LAM project: debugging system software via static analysis
T Ball, SK Rajamani
ACM SIGPLAN Notices 37 (1), 1-3, 2002
11222002
Automatic predicate abstraction of C programs
T Ball, R Majumdar, T Millstein, SK Rajamani
ACM SIGPLAN Notices 36 (5), 203-213, 2001
9912001
Automatically validating temporal safety properties of interfaces
T Ball, SK Rajamani
Proceedings of the 8th international SPIN workshop on Model checking of …, 2001
7962001
Bebop: A symbolic model checker for boolean programs
T Ball, SK Rajamani
International SPIN Workshop on Model Checking of Software, 113-130, 2000
4942000
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
4781998
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
4552006
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
3822001
The SLAM toolkit
T Ball, SK Rajamani
International Conference on Computer Aided Verification, 260-264, 2001
3642001
From symptom to cause: localizing errors in counterexample traces
T Ball, M Naik, SK Rajamani
ACM SIGPLAN Notices 38 (1), 97-105, 2003
3612003
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
3342004
You assume, we guarantee: Methodology and case studies
TA Henzinger, S Qadeer, SK Rajamani
International Conference on Computer Aided Verification, 440-451, 1998
2751998
Probabilistic programming
AD Gordon, TA Henzinger, AV Nori, SK Rajamani
Proceedings of the on Future of Software Engineering, 167-181, 2014
2542014
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
2522006
A decade of software model checking with SLAM
T Ball, V Levin, SK Rajamani
Communications of the ACM 54 (7), 68-76, 2011
2222011
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
2061997
Compositional may-must program analysis: unleashing the power of alternation
P Godefroid, AV Nori, SK Rajamani, SD Tetali
ACM Sigplan Notices 45 (1), 43-56, 2010
2052010
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
1812010
Boolean programs: A model and process for software analysis
T Ball
http://research. microsoft. com/slam, 2000
1612000
Types as models: model checking message-passing programs
S Chaki, SK Rajamani, J Rehof
ACM SIGPLAN Notices 37 (1), 45-57, 2002
1602002
Zing: A model checker for concurrent software
T Andrews, S Qadeer, SK Rajamani, J Rehof, Y Xie
International Conference on Computer Aided Verification, 484-487, 2004
1512004
The system can't perform the operation now. Try again later.
Articles 1–20