Sriram K. Rajamani
Author
Alternate names Sriram Rajamani, Sriram K. Rajamani, S. K. Rajamani, S. Rajamani
Institution Microsoft Research (India)
Past institutions Microsoft Research (India), Vellore Institute of Technology University, Manonmaniam Sundaranar University, Microsoft Research (United Kingdom), Microsoft (United States) +5 more
ORCID: Yes
H-index: 56
I10-index: 109
Works count: 208
Citations count: 11,720
The S LAM project
2002 · Thomas Ball, Sriram K. Rajamani
Automatic predicate abstraction of C programs
2012 · Thomas Ball, Rupak Majumdar, et al. · ACM SIGPLAN Notices
Automatically validating temporal safety properties of interfaces
2001 · Thomas Ball, Sriram K. Rajamani · International workshop on Model Checking Software