default search action
Sriram K. Rajamani
Person information
- affiliation: Microsoft Research
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
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
- [c10]Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
Assume-Guarantee Refinement Between Different Time Scales. CAV 1999: 208-221 - [c9]Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems. CAV 1999: 301-315 - [c8]Thomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani:
Formal specification and verification of a dataflow processor array. ICCAD 1999: 494-499 - 1998
- [c7]Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
You Assume, We Guarantee: Methodology and Case Studies. CAV 1998: 440-451 - [c6]Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran:
MOCHA: Modularity in Model Checking. CAV 1998: 521-525 - [c5]Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran:
An Assume-Guarantee Rule for Checking Simulation. FMCAD 1998: 421-432 - [c4]Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani:
Symbolic Exploration of transition Hierarchies. TACAS 1998: 330-344 - 1997
- [c3]Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
Partial-Order Reduction in Symbolic State Space Exploration. CAV 1997: 340-351 - [c2]Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani:
Fair Simulation. CONCUR 1997: 273-287 - 1996
- [c1]Sriram K. Rajamani, Pramod Viswanath:
A quantitative analysis of processor-programmable logic interface. FCCM 1996: 226-234
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-01 01:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint