Sriram K. Rajamani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
81
Venues
34
Active years
1996–2025
Best venue rank
A*
Where they publish
- A*PLDI11 papers
- A*CAV10 papers
- ATACAS9 papers
- A*POPL6 papers
- BSAS4 papers
- A*ICSE3 papers
- A*CCS3 papers
- AICCAD3 papers
- A*AAAI2 papers
- BAPLAS2 papers
- BRV2 papers
- BSEFM2 papers
- BCONCUR2 papers
- CISoLA2 papers
- A*EMNLP1 paper
- CMEMOCODE1 paper
- A*SP1 paper
- AAISTATS1 paper
- A*PODC1 paper
- NationalICISS1 paper
- A*ASPLOS1 paper
- BFM1 paper
- CICTAC1 paper
- CTAP1 paper
- BATVA1 paper
- ACaiSE1 paper
- CICGSE1 paper
- AICWS1 paper
- AISSTA1 paper
- AOOPSLA1 paper
- AEuroSys1 paper
- BIFM1 paper
- BFMCAD1 paper
- NationalFCCM1 paper
Papers
81 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | EMNLP | STACKFEED: Structured Textual Actor-Critic Knowledge base editing with FEEDback. | Shashank Kirtania, Naman Gupta, Priyanshu Gupta, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy Iyengar, Arjun Radhakrishna, Sriram K. Rajamani, Gustavo Soares |
| 2022 | ICSE | Jigsaw: Large Language Models meet Program Synthesis. | Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma |
| 2022 | PLDI | Landmarks and regions: a robust approach to data extraction. | Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram K. Rajamani, Mohammad Raza |
| 2019 | PLDI | Synthesis and machine learning for heterogeneous extraction. | Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram K. Rajamani |
| 2016 | MEMOCODE | Keynote talk III: Trusted cloud: How to make the cloud more secure. | Sriram K. Rajamani |
| 2016 | PLDI | A design and verification methodology for secure isolated regions. | Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani |
| 2015 | CCS | Moat: Verifying Confidentiality of Enclave Programs. | Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani |
| 2015 | PLDI | Efficient synthesis of probabilistic programs. | Aditya V. Nori, Sherjil Ozair, Sriram K. Rajamani, Deepak Vijaykeerthy |
| 2014 | AAAI | R2: An Efficient MCMC Sampler for Probabilistic Programs. | Aditya V. Nori, Chung-Kil Hur, Sriram K. Rajamani, Selva Samuel |
| 2014 | ICSE | Probabilistic programming. | Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, Sriram K. Rajamani |
| 2014 | PLDI | Slicing probabilistic programs. | Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel |
| 2014 | SP | Bootstrapping Privacy Compliance in Big Data Systems. | Shayak Sen, Saikat Guha, Anupam Datta, Sriram K. Rajamani, Janice Y. Tsai, Jeannette M. Wing |
| 2013 | AISTATS | Efficiently Sampling Probabilistic Programs via Program Analysis. | Arun Tejasvi Chaganty, Aditya V. Nori, Sriram K. Rajamani |
| 2013 | CAV | Combining Relational Learning with SMT Solvers Using CEGAR. | Arun Tejasvi Chaganty, Akash Lal, Aditya V. Nori, Sriram K. Rajamani |
| 2013 | PLDI | P: safe asynchronous event-driven programming. | Ankush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey |
| 2013 | POPL | A model-learner pattern for bayesian reasoning. | Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgstrm, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo |
| 2012 | AAAI | Automatically Generating Algebra Problems. | Rohit Singh, Sumit Gulwani, Sriram K. Rajamani |
| 2012 | PLDI | Parallelizing top-down interprocedural analyses. | Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sriram K. Rajamani |
| 2012 | PODC | Generalized lattice agreement. | Jose M. Faleiro, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani |
| 2011 | APLAS | Program Analysis and Machine Learning: A Win-Win Deal. | Aditya V. Nori, Sriram K. Rajamani |
| 2011 | SAS | Program Analysis and Machine Learning: A Win-Win Deal. | Aditya V. Nori, Sriram K. Rajamani |
| 2010 | ICISS | Analyzing Explicit Information Flow. | Sriram K. Rajamani |
| 2010 | ICSE | An empirical study of optimizations in YOGI. | Aditya V. Nori, Sriram K. Rajamani |
| 2010 | PLDI | GUESSTIMATE: a programming model for collaborative distributed systems. | Kaushik Rajan, Sriram K. Rajamani, Shashank Yaduvanshi |
| 2010 | POPL | Compositional may-must program analysis: unleashing the power of alternation. | Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali |
| 2010 | SAS | Alternation for Termination. | William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani |
| 2009 | ASPLOS | ISOLATOR: dynamically ensuring isolation in comcurrent programs. | Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani |
| 2009 | FM | Verification, Testing and Statistics. | Sriram K. Rajamani |
| 2009 | ICTAC | Verification, Testing and Statistics. | Sriram K. Rajamani |
| 2009 | PLDI | Merlin: specification inference for explicit information flow problems. | V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee |
| 2009 | RV | Verification, Testing and Statistics. | Sriram K. Rajamani |
| 2009 | TACAS | The YogiProject: Software Property Checking via Static Analysis and Testing. | Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur |
| 2009 | TAP | Verification, Testing and Statistics. | Aditya V. Nori, Sriram K. Rajamani |
| 2008 | ATVA | Tests, Proofs and Refinements. | Sriram K. Rajamani |
| 2008 | CaiSE | A Work Allocation Language with Soft Constraints. | Christian Stefansen, Sriram K. Rajamani, Parameswaran Seshan |
| 2008 | CCS | EON: modeling and analyzing dynamic access control systems with logic programs. | Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga |
| 2008 | ICGSE | Global Software Servicing: Observational Experiences at Microsoft. | Shilpa Bugde, Nachiappan Nagappan, Sriram K. Rajamani, G. Ramalingam |
| 2008 | ICWS | SoftAlloc: A Work Allocation Language with Soft Constraints. | Christian Stefansen, Sriram K. Rajamani, Parameswaran Seshan |
| 2008 | ISSTA | Proofs from tests. | Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons |
| 2008 | OOPSLA | Enforcing object protocols by combining static and runtime analysis. | Madhu Gopinathan, Sriram K. Rajamani |
| 2008 | PLDI | A type system for data-flow integrity on windows vista. | Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani |
| 2008 | RV | Runtime Monitoring of Object Invariants with Guarantee. | Madhu Gopinathan, Sriram K. Rajamani |
| 2008 | TACAS | Automatically Refining Abstract Interpretations. | Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani |
| 2007 | APLAS | Static and Dynamic Analysis: Better Together. | Sriram K. Rajamani |
| 2007 | SEFM | Verification of Object Relational Maps. | Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha |
| 2006 | CCS | Untitled record | Prasad Naldurg, Stefan Schwoon, Sriram K. Rajamani, John Lambert |
| 2006 | EuroSys | Thorough static analysis of device drivers. | Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner |
| 2006 | SEFM | Automatic Property Checking for Software: Past, Present and Future. | Sriram K. Rajamani |
| 2006 | TACAS | Counterexample Driven Refinement for Abstract Interpretation. | Bhargav S. Gulavani, Sriram K. Rajamani |
| 2004 | CAV | Zing: A Model Checker for Concurrent Software. | Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie |
| 2004 | CAV | Stuck-Free Conformance. | Cdric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof |
| 2004 | CONCUR | Zing: Exploiting Program Structure for Model Checking Concurrent Software. | Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie |
| 2004 | ICCAD | Verifying properties of hardware and software by predicate abstraction and model checking. | Randal E. Bryant, Sriram K. Rajamani |
| 2004 | IFM | SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. | Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani |
| 2004 | ISoLA | Models for Contract Conformance. | Sriram K. Rajamani, Jakob Rehof |
| 2004 | ISoLA | Models for Contract Conformance. | Jakob Rehof, Sriram K. Rajamani |
| 2004 | POPL | Summarizing procedures in concurrent programs. | Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof |
| 2004 | TACAS | Refining Approximations in Software Predicate Abstraction. | Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani |
| 2003 | POPL | From symptom to cause: localizing errors in counterexample traces. | Thomas Ball, Mayur Naik, Sriram K. Rajamani |
| 2002 | CAV | Conformance Checking for Models of Asynchronous Message Passing Software. | Sriram K. Rajamani, Jakob Rehof |
| 2002 | POPL | The SLAM project: debugging system software via static analysis. | Thomas Ball, Sriram K. Rajamani |
| 2002 | POPL | Types as models: model checking message-passing programs. | Sagar Chaki, Sriram K. Rajamani, Jakob Rehof |
| 2002 | SAS | Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. | Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer |
| 2002 | TACAS | Relative Completeness of Abstraction Refinement for Software Model Checking. | Thomas Ball, Andreas Podelski, Sriram K. Rajamani |
| 2001 | CAV | The SLAM Toolkit. | Thomas Ball, Sriram K. Rajamani |
| 2001 | PLDI | Automatic Predicate Abstraction of C Programs. | Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani |
| 2001 | SAS | A Behavioral Module System for the Pi-Calculus. | Sriram K. Rajamani, Jakob Rehof |
| 2001 | TACAS | Parameterized Verification of Multithreaded Software Libraries. | Thomas Ball, Sagar Chaki, Sriram K. Rajamani |
| 2001 | TACAS | Boolean and Cartesian Abstraction for Model Checking C Programs. | Thomas Ball, Andreas Podelski, Sriram K. Rajamani |
| 2000 | ICCAD | Decomposing Refinement Proofs Using Assume-Guarantee Reasoning. | Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani |
| 2000 | TACAS | Fair Bisimulation. | Thomas A. Henzinger, Sriram K. Rajamani |
| 1999 | CAV | Assume-Guarantee Refinement Between Different Time Scales. | Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani |
| 1999 | CAV | Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems. | Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani |
| 1999 | ICCAD | Formal specification and verification of a dataflow processor array. | Thomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani |
| 1998 | CAV | MOCHA: Modularity in Model Checking. | Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran |
| 1998 | CAV | You Assume, We Guarantee: Methodology and Case Studies. | Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani |
| 1998 | FMCAD | An Assume-Guarantee Rule for Checking Simulation. | Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran |
| 1998 | TACAS | Symbolic Exploration of transition Hierarchies. | Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani |
| 1997 | CAV | Partial-Order Reduction in Symbolic State Space Exploration. | Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani |
| 1997 | CONCUR | Fair Simulation. | Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani |
| 1996 | FCCM | A quantitative analysis of processor-programmable logic interface. | Sriram K. Rajamani, Pramod Viswanath |