팔로우
Sriram Rajamani
Sriram Rajamani
Microsoft Research
microsoft.com의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
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
12602002
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
11172001
Automatically validating temporal safety properties of interfaces
T Ball, SK Rajamani
International SPIN Workshop on Model Checking of Software, 102-122, 2001
8762001
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
5561998
Bebop: A symbolic model checker for boolean programs
T Ball, SK Rajamani
SPIN Model Checking and Software Verification: 7th International SPIN …, 2000
5352000
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
5302006
Probabilistic programming
AD Gordon, TA Henzinger, AV Nori, SK Rajamani
Future of Software Engineering Proceedings, 167-181, 2014
4792014
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
4492001
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
4472003
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
4442004
The SLAM toolkit
T Ball, SK Rajamani
Proceedings of CAV’2001 (13th Conference on Computer Aided Verification …, 2000
4272000
You assume, we guarantee: Methodology and case studies
TA Henzinger, S Qadeer, SK Rajamani
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998
3411998
A decade of software model checking with SLAM
T Ball, V Levin, SK Rajamani
Communications of the ACM 54 (7), 68-76, 2011
3092011
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
2952006
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
2622010
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
2481997
Proofs from tests
NE Beckman, AV Nori, SK Rajamani, RJ Simmons
Proceedings of the 2008 international symposium on Software testing and …, 2008
2202008
Merlin: Specification inference for explicit information flow problems
B Livshits, AV Nori, SK Rajamani, A Banerjee
ACM Sigplan Notices 44 (6), 75-86, 2009
1972009
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
1922013
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
1772002
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20