Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(133)
Thomas Ball
35
Shaz Qadeer
18
Aditya Nori
18
Thomas A. Henzinger
17
Jakob Rehof
13
Conferences
(33)
TACAS
11
CAV
10
POPL
5
SPIN
5
ICCAD
3
Journals
(12)
SIGPLAN
11
TSE
2
TOPLAS
2
FMSD
2
LMCS
2
Keywords
(230)
Embed
Subscribe
Academic
Authors
Sriram Rajamani
Edit
Sriram Rajamani
Microsoft
Publications: 129
|
Citations: 4357
|
G-Index: 65
|
H-Index: 32
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Programming Languages
,
Hardware & Architecture
View FAQ about top research area and research interests
Collaborated with
133 co-authors
from 1992 to 2010
; Cited by
3149 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(129)
BibTeX
|
RIS
|
RefWorks
Download
Compositional may-must program analysis: unleashing the power of alternation
(
Citations: 16
)
Patrice Godefroid
,
Aditya V. Nori
,
Sriram K. Rajamani
,
Saideep Tetali
Conference:
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL
, pp. 43-56, 2010
Proofs from Tests
(
Citations: 3
)
Nels E. Beckman
,
Aditya V. Nori
,
Sriram K. Rajamani
,
Robert J. Simmons
,
Sai Deep Tetali
,
Aditya V. Thakur
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 36, no. 4, pp. 495-508, 2010
Compositional may-must program analysis: unleashing the power of alternation
Patrice Godefroid
,
Aditya V. Nori
,
Sriram K. Rajamani
,
Sai Deep Tetali
Journal:
Sigplan Notices - SIGPLAN
, vol. 45, no. 1, pp. 43-56, 2010
Representation dependence testing using program inversion
Aditya Kanade
,
Rajeev Alur
,
Sriram K. Rajamani
,
Ganesan Ramanlingam
Published in 2010.
GUESSTIMATE: a programming model for collaborative distributed systems
Kaushik Rajan
,
Sriram Rajamani
,
Shashank Yaduvanshi
Conference:
SIGPLAN Conference on Programming Language Design and Implementation - PLDI
, pp. 210-220, 2010
Order by:
Citations
(4357 times by 3015 publications)
Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging
(
Citations: 6
)
T. Y. Chen
,
T. H. Tse
,
Zhi Quan Zhou
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 1, 2011
S2E: a platform for in-vivo multi-path analysis of software systems
(
Citations: 5
)
Vitaly Chipounov
,
Volodymyr Kuznetsov
,
George Candea
Conference:
Architectural Support for Programming Languages and Operating Systems - ASPLOS
, pp. 265-278, 2011
Refinement-Based CFG Reconstruction from Unstructured Programs
(
Citations: 3
)
Sébastien Bardin
,
Philippe Herrmann
,
Franck Védrine
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 54-69, 2011
When to stop verification?: Statistical trade-off between expected loss and simulation cost
(
Citations: 1
)
Sumit Kumar Jha
,
Christopher James Langmead
,
Swarup Mohalik
,
Sethu Ramesh
Published in 2011.
The tree width of auxiliary storage
(
Citations: 2
)
P. Madhusudan
,
Gennaro Parlato
Published in 2011.
Comments