default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSriram K. Rajamani
Person information
- affiliation: Microsoft Research
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j16]Ramakrishna Bairi
, Atharv Sonwane, Aditya Kanade, Vageesh D. C., Arun Iyer, Suresh Parthasarathy, Sriram K. Rajamani, Balasubramanyan Ashok, Shashank Shet:
CodePlan: Repository-Level Coding using LLMs and Planning. Proc. ACM Softw. Eng. 1(FSE): 675-698 (2024)- [j15]Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade, Suresh Parthasarathy, Sriram K. Rajamani:
CORE: Resolving Code Quality Issues using LLMs. Proc. ACM Softw. Eng. 1(FSE): 789-811 (2024) - [i11]Naman Gupta, Shashank Kirtania, Priyanshu Gupta, Krishna K. Mehra, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram K. Rajamani, Gustavo Soares:
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack. CoRR abs/2410.10584 (2024) - [i10]Nabil Omi, Hosein Hasanbeig, Hiteshi Sharma, Sriram K. Rajamani, Siddhartha Sen:
Progressive Safeguards for Safe and Model-Agnostic Reinforcement Learning. CoRR abs/2410.24096 (2024) - 2023
- [c100]Lakshya A. Agrawal, Aditya Kanade, Navin Goyal, Shuvendu K. Lahiri, Sriram K. Rajamani:
Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context. NeurIPS 2023 - [i9]Lakshya A. Agrawal, Aditya Kanade, Navin Goyal, Shuvendu K. Lahiri, Sriram K. Rajamani:
Guiding Language Models of Code with Global Context using Monitors. CoRR abs/2306.10763 (2023) - [i8]Naman Jain, Shubham Gandhi, Atharv Sonwane, Aditya Kanade, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma:
StaticFixer: From Static Analysis to Static Repair. CoRR abs/2307.12465 (2023) - [i7]Ramakrishna Bairi, Atharv Sonwane, Aditya Kanade, Vageesh D. C., Arun Iyer, Suresh Parthasarathy, Sriram K. Rajamani, Balasubramanyan Ashok, Shashank Shet:
CodePlan: Repository-level Coding using LLMs and Planning. CoRR abs/2309.12499 (2023) - [i6]Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade, Suresh Parthasarathy, Sriram K. Rajamani:
Frustrated with Code Quality Issues? LLMs can Help! CoRR abs/2309.12938 (2023) - 2022
- [c99]Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma:
Jigsaw: Large Language Models meet Program Synthesis. ICSE 2022: 1219-1231 - [c98]Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram K. Rajamani, Mohammad Raza:
Landmarks and regions: a robust approach to data extraction. PLDI 2022: 993-1009 - [i5]Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram K. Rajamani, Mohammad Raza:
Landmarks and Regions: A Robust Approach to Data Extraction. CoRR abs/2204.05021 (2022) - 2021
- [i4]Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma:
Jigsaw: Large Language Models meet Program Synthesis. CoRR abs/2112.02969 (2021) - 2020
- [c97]Sriram K. Rajamani:
Formal System Design and Verification: A Perspective. ISEC 2020: 2:1 - [c96]Sriram K. Rajamani:
Models and programs: better together (keynote). SPLASH (Companion) 2020: 1 - [i3]Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain, Ivan Radicek, Sriram K. Rajamani, Sumit Gulwani, Johannes Gehrke:
Programming by Rewards. CoRR abs/2007.06835 (2020)
2010 – 2019
- 2019
- [c95]Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram K. Rajamani:
Synthesis and machine learning for heterogeneous extraction. PLDI 2019: 301-315 - 2017
- [c94]Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia:
A compiler and verifier for page access oblivious computation. ESEC/SIGSOFT FSE 2017: 649-660 - 2016
- [c93]Sriram K. Rajamani:
Keynote talk III: Trusted cloud: How to make the cloud more secure. MEMOCODE 2016: 132 - [c92]Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani:
A design and verification methodology for secure isolated regions. PLDI 2016: 665-681 - [i2]Aleksandar Chakarov, Aditya V. Nori, Sriram K. Rajamani, Shayak Sen, Deepak Vijaykeerthy:
Debugging Machine Learning Tasks. CoRR abs/1603.07292 (2016) - 2015
- [c91]Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani:
Moat: Verifying Confidentiality of Enclave Programs. CCS 2015: 1169-1184 - [c90]Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel:
A Provably Correct Sampler for Probabilistic Programs. FSTTCS 2015: 475-488 - [c89]Aditya V. Nori, Sherjil Ozair, Sriram K. Rajamani, Deepak Vijaykeerthy:
Efficient synthesis of probabilistic programs. PLDI 2015: 208-217 - [e6]Sriram K. Rajamani, David Walker:
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015. ACM 2015, ISBN 978-1-4503-3300-9 [contents] - 2014
- [c88]Aditya V. Nori, Chung-Kil Hur, Sriram K. Rajamani, Selva Samuel:
R2: An Efficient MCMC Sampler for Probabilistic Programs. AAAI 2014: 2476-2482 - [c87]Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, Sriram K. Rajamani:
Probabilistic programming. FOSE 2014: 167-181 - [c86]Andrew Cross, Balasubramanyan Ashok, Srinath Bala, Edward Cutrell, Naren Datha, Rahul Kumar, Viraj Kumar, Parthasarathy Madhusudan, Siddharth Prakash, Sriram K. Rajamani, Satish Sangameswaran, Deepika Sharma, William Thies:
Online learning versus blended learning: an exploratory study. L@S 2014: 179-180 - [c85]Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel:
Slicing probabilistic programs. PLDI 2014: 133-144 - [c84]Shayak Sen, Saikat Guha, Anupam Datta, Sriram K. Rajamani, Janice Y. Tsai, Jeannette M. Wing:
Bootstrapping Privacy Compliance in Big Data Systems. IEEE Symposium on Security and Privacy 2014: 327-342 - 2013
- [c83]Arun Tejasvi Chaganty, Aditya V. Nori, Sriram K. Rajamani:
Efficiently Sampling Probabilistic Programs via Program Analysis. AISTATS 2013: 153-160 - [c82]Arun Tejasvi Chaganty, Akash Lal, Aditya V. Nori, Sriram K. Rajamani:
Combining Relational Learning with SMT Solvers Using CEGAR. CAV 2013: 447-462 - [c81]Ankush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey:
P: safe asynchronous event-driven programming. PLDI 2013: 321-332 - [c80]Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo:
A model-learner pattern for bayesian reasoning. POPL 2013: 403-416 - [c79]Guillaume Claret, Sriram K. Rajamani, Aditya V. Nori, Andrew D. Gordon, Johannes Borgström:
Bayesian inference using data flow analysis. ESEC/SIGSOFT FSE 2013: 92-102 - [c78]Sagar Chordia, Sriram K. Rajamani, Kaushik Rajan, Ganesan Ramalingam, Kapil Vaswani:
Asynchronous Resilient Linearizability. DISC 2013: 164-178 - 2012
- [j14]Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani:
Automatic predicate abstraction of C programs. ACM SIGPLAN Notices 47(4a): 37-47 (2012) - [c77]Rohit Singh, Sumit Gulwani, Sriram K. Rajamani:
Automatically Generating Algebra Problems. AAAI 2012: 1620-1628 - [c76]Jose M. Faleiro, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani:
CScale - A Programming Model for Scalable and Reliable Distributed Applications. Monterey Workshop 2012: 148-156 - [c75]Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sriram K. Rajamani:
Parallelizing top-down interprocedural analyses. PLDI 2012: 217-228 - [c74]Jose M. Faleiro, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani:
Generalized lattice agreement. PODC 2012: 125-134 - 2011
- [j13]Thomas Ball, Vladimir Levin, Sriram K. Rajamani:
A decade of software model checking with SLAM. Commun. ACM 54(7): 68-76 (2011) - [c73]Aditya V. Nori, Sriram K. Rajamani:
Program Analysis and Machine Learning: A Win-Win Deal. APLAS 2011: 1-2 - [c72]Aditya V. Nori, Sriram K. Rajamani:
Program Analysis and Machine Learning: A Win-Win Deal. SAS 2011: 2-3 - [c71]Abhishek Udupa, Ankush Desai, Sriram K. Rajamani:
Depth Bounded Explicit-State Model Checking. SPIN 2011: 57-74 - 2010
- [j12]Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani:
Refining abstract interpretations. Inf. Process. Lett. 110(16): 666-671 (2010) - [j11]Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur:
Proofs from Tests. IEEE Trans. Software Eng. 36(4): 495-508 (2010) - [c70]Sriram K. Rajamani:
Analyzing Explicit Information Flow. ICISS 2010: 1-2 - [c69]Aditya V. Nori, Sriram K. Rajamani:
An empirical study of optimizations in YOGI. ICSE (1) 2010: 355-364 - [c68]Kaushik Rajan, Sriram K. Rajamani, Shashank Yaduvanshi:
GUESSTIMATE: a programming model for collaborative distributed systems. PLDI 2010: 210-220 - [c67]Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali:
Compositional may-must program analysis: unleashing the power of alternation. POPL 2010: 43-56 - [c66]William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani:
Alternation for Termination. SAS 2010: 304-319 - [c65]Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ganesan Ramalingam:
Representation dependence testing using program inversion. SIGSOFT FSE 2010: 277-286 - [e5]Gary T. Leavens, Peter W. O'Hearn, Sriram K. Rajamani:
Verified Software: Theories, Tools, Experiments, Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings. Lecture Notes in Computer Science 6217, Springer 2010, ISBN 978-3-642-15056-2 [contents]
2000 – 2009
- 2009
- [c64]Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani:
ISOLATOR: dynamically ensuring isolation in comcurrent programs. ASPLOS 2009: 181-192 - [c63]Sriram K. Rajamani:
Verification, Testing and Statistics. FM 2009: 33-40 - [c62]Sriram K. Rajamani:
Verification, Testing and Statistics. ICTAC 2009: 79 - [c61]V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee:
Merlin: specification inference for explicit information flow problems. PLDI 2009: 75-86 - [c60]Sriram K. Rajamani:
Verification, Testing and Statistics. RV 2009: 25 - [c59]Balasubramanyan Ashok, Joseph M. Joy, Hongkang Liang, Sriram K. Rajamani, Gopal Srinivasa, Vipindeep Vangala:
DebugAdvisor: a recommender system for debugging. ESEC/SIGSOFT FSE 2009: 373-382 - [c58]Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur:
The YogiProject: Software Property Checking via Static Analysis and Testing. TACAS 2009: 178-181 - [c57]Aditya V. Nori, Sriram K. Rajamani:
Verification, Testing and Statistics. TAP@TOOLS 2009: 6-9 - [e4]Kiran Deshpande, Pankaj Jalote, Sriram K. Rajamani:
Proceeding of the 2nd Annual India Software Engineering Conference, ISEC 2009, Pune, India, February 23-26, 2009. ACM 2009, ISBN 978-1-60558-426-3 [contents] - 2008
- [j10]Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani:
A type system for data-flow integrity on Windows Vista. ACM SIGPLAN Notices 43(12): 9-20 (2008) - [j9]Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin:
Automating Software Testing Using Program Analysis. IEEE Softw. 25(5): 30-37 (2008) - [c56]Sriram K. Rajamani:
Tests, Proofs and Refinements. ATVA 2008: 1-2 - [c55]Christian Stefansen, Sriram K. Rajamani, Parameswaran Seshan:
A Work Allocation Language with Soft Constraints. CAiSE Forum 2008: 85-88 - [c54]Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga:
EON: modeling and analyzing dynamic access control systems with logic programs. CCS 2008: 381-390 - [c53]Shilpa Bugde, Nachiappan Nagappan, Sriram K. Rajamani, G. Ramalingam:
Global Software Servicing: Observational Experiences at Microsoft. ICGSE 2008: 182-191 - [c52]Christian Stefansen, Sriram K. Rajamani, Parameswaran Seshan:
SoftAlloc: A Work Allocation Language with Soft Constraints. ICWS 2008: 441-448 - [c51]Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons:
Proofs from tests. ISSTA 2008: 3-14 - [c50]Madhu Gopinathan, Sriram K. Rajamani:
Enforcing object protocols by combining static and runtime analysis. OOPSLA 2008: 245-260 - [c49]Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani:
A type system for data-flow integrity on windows vista. PLAS 2008: 89-100 - [c48]Madhu Gopinathan, Sriram K. Rajamani:
Runtime Monitoring of Object Invariants with Guarantee. RV 2008: 158-172 - [c47]Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani:
Automatically Refining Abstract Interpretations. TACAS 2008: 443-458 - [c46]Madhu Gopinathan, Aditya V. Nori, Sriram K. Rajamani:
Combining Tests and Proofs. VSTTE 2008: 4-5 - [e3]Gautam Shroff, Pankaj Jalote, Sriram K. Rajamani:
Proceeding of the 1st Annual India Software Engineering Conference, ISEC 2008, Hyderabad, India, February 19-22, 2008. ACM 2008, ISBN 978-1-59593-917-3 [contents] - [i1]Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani:
A Type System for Data-Flow Integrity on Windows Vista. CoRR abs/0803.3230 (2008) - 2007
- [j8]Sriram K. Rajamani:
Software Is More Than Code. J. Univers. Comput. Sci. 13(5): 602-606 (2007) - [c45]Sriram K. Rajamani:
Static and Dynamic Analysis: Better Together. APLAS 2007: 302 - [c44]Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha:
Verification of Object Relational Maps. SEFM 2007: 283-292 - [c43]Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani:
Programming asynchronous layers with CLARITY. ESEC/SIGSOFT FSE 2007: 65-74 - 2006
- [j7]Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani:
Intelligent Systems and Formal Methods in Software Engineering. IEEE Intell. Syst. 21(6): 71-81 (2006) - [c42]Prasad Naldurg, Stefan Schwoon, Sriram K. Rajamani, John Lambert:
NETRA: : seeing through access control. FMSE 2006: 55-66 - [c41]Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner:
Thorough static analysis of device drivers. EuroSys 2006: 73-85 - [c40]Sriram K. Rajamani:
Automatic Property Checking for Software: Past, Present and Future. ASE 2006: 12 - [c39]Sriram K. Rajamani:
Automatic Property Checking for Software: Past, Present and Future. SEFM 2006: 18-20 - [c38]Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani:
SYNERGY: a new algorithm for property checking. SIGSOFT FSE 2006: 117-127 - [c37]Bhargav S. Gulavani, Sriram K. Rajamani:
Counterexample Driven Refinement for Abstract Interpretation. TACAS 2006: 474-488 - 2005
- [j6]Thomas Ball, Todd D. Millstein, Sriram K. Rajamani:
Polymorphic predicate abstraction. ACM Trans. Program. Lang. Syst. 27(2): 314-343 (2005) - [c36]Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani:
Sound Transaction-Based Reduction Without Cycle Detection. SPIN 2005: 106-122 - [e2]Kousha Etessami, Sriram K. Rajamani:
Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings. Lecture Notes in Computer Science 3576, Springer 2005, ISBN 3-540-27231-3 [contents] - 2004
- [j5]James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy:
Righting Software. IEEE Softw. 21(3): 92-100 (2004) - [c35]Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof:
Stuck-Free Conformance. CAV 2004: 242-254 - [c34]Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie:
Zing: A Model Checker for Concurrent Software. CAV 2004: 484-487 - [c33]Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie:
Zing: Exploiting Program Structure for Model Checking Concurrent Software. CONCUR 2004: 1-15 - [c32]Randal E. Bryant, Sriram K. Rajamani:
Verifying properties of hardware and software by predicate abstraction and model checking. ICCAD 2004: 437-438 - [c31]Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani:
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. IFM 2004: 1-20 - [c30]Sriram K. Rajamani, Jakob Rehof:
Models for Contract Conformance. ISoLA 2004: 181-196 - [c29]Jakob Rehof, Sriram K. Rajamani:
Models for Contract Conformance. ISoLA (Preliminary proceedings) 2004: 253-260 - [c28]Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof:
Summarizing procedures in concurrent programs. POPL 2004: 245-255 - [c27]Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani:
Refining Approximations in Software Predicate Abstraction. TACAS 2004: 388-403 - 2003
- [j4]Thomas Ball, Andreas Podelski, Sriram K. Rajamani:
Boolean and Cartesian abstraction for model checking C programs. Int. J. Softw. Tools Technol. Transf. 5(1): 49-58 (2003) - [c26]Thomas Ball, Mayur Naik, Sriram K. Rajamani:
From symptom to cause: localizing errors in counterexample traces. POPL 2003: 97-105 - [e1]Thomas Ball, Sriram K. Rajamani:
Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings. Lecture Notes in Computer Science 2648, Springer 2003, ISBN 3-540-40117-2 [contents] - 2002
- [j3]Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani:
Fair Simulation. Inf. Comput. 173(1): 64-81 (2002) - [j2]Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran:
An assume-guarantee rule for checking simulation. ACM Trans. Program. Lang. Syst. 24(1): 51-64 (2002) - [c25]Sriram K. Rajamani, Jakob Rehof:
Conformance Checking for Models of Asynchronous Message Passing Software. CAV 2002: 166-179 - [c24]Thomas Ball, Sriram K. Rajamani:
The SLAM project: debugging system software via static analysis. POPL 2002: 1-3 - [c23]Sagar Chaki, Sriram K. Rajamani, Jakob Rehof:
Types as models: model checking message-passing programs. POPL 2002: 45-57 - [c22]Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer:
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. SAS 2002: 230-246 - [c21]Thomas Ball, Andreas Podelski, Sriram K. Rajamani:
Relative Completeness of Abstraction Refinement for Software Model Checking. TACAS 2002: 158-172 - 2001
- [j1]Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
Partial-Order Reduction in Symbolic State-Space Exploration. Formal Methods Syst. Des. 18(2): 97-116 (2001) - [c20]Thomas Ball, Sriram K. Rajamani:
The SLAM Toolkit. CAV 2001: 260-264 - [c19]Thomas Ball, Sriram K. Rajamani:
Bebop: a path-sensitive interprocedural dataflow engine. PASTE 2001: 97-103 - [c18]Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani:
Automatic Predicate Abstraction of C Programs. PLDI 2001: 203-213 - [c17]Sriram K. Rajamani, Jakob Rehof:
A Behavioral Module System for the Pi-Calculus. SAS 2001: 375-394 - [c16]Thomas Ball, Sriram K. Rajamani:
Automatically Validating Temporal Safety Properties of Interfaces. SPIN 2001: 103-122 - [c15]Thomas Ball, Sagar Chaki, Sriram K. Rajamani:
Parameterized Verification of Multithreaded Software Libraries. TACAS 2001: 158-173 - [c14]Thomas Ball, Andreas Podelski, Sriram K. Rajamani:
Boolean and Cartesian Abstraction for Model Checking C Programs. TACAS 2001: 268-283 - 2000
- [c13]Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
Decomposing Refinement Proofs Using Assume-Guarantee Reasoning. ICCAD 2000: 245-252 - [c12]Thomas Ball, Sriram K. Rajamani:
Bebop: A Symbolic Model Checker for Boolean Programs. SPIN 2000: 113-130 - [c11]Thomas A. Henzinger, Sriram K. Rajamani:
Fair Bisimulation. TACAS 2000: 299-314
1990 – 1999
- 1999