Sriram K. Rajamani

133 papers A* 38A 18B 17C 4Misc 2Journal 27Unranked 23

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	STACKFEED: Structured Textual Actor-Critic Knowledge base editing with FEEDback. EMNLP (Industry Track) Shashank Kirtania, Naman Gupta, Priyanshu Gupta, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy Iyengar, Arjun Radhakrishna, Sriram K. Rajamani, Gustavo Soares
2024	J	`jnl`	CORE: Resolving Code Quality Issues using LLMs. Proc. ACM Softw. Eng. Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade, Suresh Parthasarathy, Sriram K. Rajamani
2024	J	`jnl`	CodePlan: Repository-Level Coding using LLMs and Planning. Proc. ACM Softw. Eng. Ramakrishna Bairi, Atharv Sonwane, Aditya Kanade, Vageesh D. C., Arun Iyer, Suresh Parthasarathy, Sriram K. Rajamani, Balasubramanyan Ashok, Shashank Shet
2024	J	`jnl`	Progressive Safeguards for Safe and Model-Agnostic Reinforcement Learning. CoRR Nabil Omi, Hosein Hasanbeig, Hiteshi Sharma, Sriram K. Rajamani, Siddhartha Sen
2024	J	`jnl`	STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack. CoRR Naman Gupta, Shashank Kirtania, Priyanshu Gupta, Krishna K. Mehra, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram K. Rajamani, Gustavo Soares
2023	J	`jnl`	CodePlan: Repository-level Coding using LLMs and Planning. CoRR Ramakrishna Bairi, Atharv Sonwane, Aditya Kanade, Vageesh D. C., Arun Iyer, Suresh Parthasarathy, Sriram K. Rajamani, Balasubramanyan Ashok, Shashank Shet
2023	J	`jnl`	Frustrated with Code Quality Issues? LLMs can Help! CoRR Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade, Suresh Parthasarathy, Sriram K. Rajamani
2023	J	`jnl`	Guiding Language Models of Code with Global Context using Monitors. CoRR Lakshya A. Agrawal, Aditya Kanade, Navin Goyal, Shuvendu K. Lahiri, Sriram K. Rajamani
2023	A*	`conf`	Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context. NeurIPS Lakshya A. Agrawal, Aditya Kanade, Navin Goyal, Shuvendu K. Lahiri, Sriram K. Rajamani
2023	J	`jnl`	StaticFixer: From Static Analysis to Static Repair. CoRR Naman Jain, Shubham Gandhi, Atharv Sonwane, Aditya Kanade, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma
2022	A*	`conf`	Jigsaw: Large Language Models meet Program Synthesis. ICSE Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma
2022	J	`jnl`	Landmarks and Regions: A Robust Approach to Data Extraction. CoRR Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram K. Rajamani, Mohammad Raza
2022	A*	`conf`	Landmarks and regions: a robust approach to data extraction. PLDI Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram K. Rajamani, Mohammad Raza
2021	J	`jnl`	Jigsaw: Large Language Models meet Program Synthesis. CoRR Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma
2020	—	`conf`	Formal System Design and Verification: A Perspective. ISEC Sriram K. Rajamani
2020	—	`conf`	Models and programs: better together (keynote). SPLASH (Companion) Sriram K. Rajamani
2020	J	`jnl`	Programming by Rewards. CoRR Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain, Ivan Radicek, Sriram K. Rajamani, Sumit Gulwani, Johannes Gehrke
2019	A*	`conf`	Synthesis and machine learning for heterogeneous extraction. PLDI Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram K. Rajamani
2017	—	`conf`	A compiler and verifier for page access oblivious computation. ESEC/SIGSOFT FSE Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia
2016	A*	`conf`	A design and verification methodology for secure isolated regions. PLDI Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani
2016	J	`jnl`	Debugging Machine Learning Tasks. CoRR Aleksandar Chakarov, Aditya V. Nori, Sriram K. Rajamani, Shayak Sen, Deepak Vijaykeerthy
2016	C	`conf`	Keynote talk III: Trusted cloud: How to make the cloud more secure. MEMOCODE Sriram K. Rajamani
2015	—	`conf`	A Provably Correct Sampler for Probabilistic Programs. FSTTCS Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel
2015	A*	`conf`	Efficient synthesis of probabilistic programs. PLDI Aditya V. Nori, Sherjil Ozair, Sriram K. Rajamani, Deepak Vijaykeerthy
2015	A*	`conf`	Moat: Verifying Confidentiality of Enclave Programs. CCS Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani
2015	A*	`ed.`	Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015 POPL Sriram K. Rajamani, David Walker
2014	A*	`conf`	Bootstrapping Privacy Compliance in Big Data Systems. IEEE Symposium on Security and Privacy Shayak Sen, Saikat Guha, Anupam Datta, Sriram K. Rajamani, Janice Y. Tsai, Jeannette M. Wing
2014	B	`conf`	Online learning versus blended learning: an exploratory study. L@S 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
2014	—	`conf`	Probabilistic programming. FOSE Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, Sriram K. Rajamani
2014	A*	`conf`	R2: An Efficient MCMC Sampler for Probabilistic Programs. AAAI Aditya V. Nori, Chung-Kil Hur, Sriram K. Rajamani, Selva Samuel
2014	A*	`conf`	Slicing probabilistic programs. PLDI Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel
2013	A*	`conf`	A model-learner pattern for bayesian reasoning. POPL Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo
2013	A	`conf`	Asynchronous Resilient Linearizability. DISC Sagar Chordia, Sriram K. Rajamani, Kaushik Rajan, Ganesan Ramalingam, Kapil Vaswani
2013	—	`conf`	Bayesian inference using data flow analysis. ESEC/SIGSOFT FSE Guillaume Claret, Sriram K. Rajamani, Aditya V. Nori, Andrew D. Gordon, Johannes Borgström
2013	A*	`conf`	Combining Relational Learning with SMT Solvers Using CEGAR. CAV Arun Tejasvi Chaganty, Akash Lal, Aditya V. Nori, Sriram K. Rajamani
2013	A	`conf`	Efficiently Sampling Probabilistic Programs via Program Analysis. AISTATS Arun Tejasvi Chaganty, Aditya V. Nori, Sriram K. Rajamani
2013	A*	`conf`	P: safe asynchronous event-driven programming. PLDI Ankush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey
2012	J	`jnl`	Automatic predicate abstraction of C programs. ACM SIGPLAN Notices Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani
2012	A*	`conf`	Automatically Generating Algebra Problems. AAAI Rohit Singh, Sumit Gulwani, Sriram K. Rajamani
2012	—	`conf`	CScale - A Programming Model for Scalable and Reliable Distributed Applications. Monterey Workshop Jose M. Faleiro, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
2012	A*	`conf`	Generalized lattice agreement. PODC Jose M. Faleiro, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
2012	A*	`conf`	Parallelizing top-down interprocedural analyses. PLDI Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sriram K. Rajamani
2011	J	`jnl`	A decade of software model checking with SLAM. Commun. ACM Thomas Ball, Vladimir Levin, Sriram K. Rajamani
2011	—	`conf`	Depth Bounded Explicit-State Model Checking. SPIN Abhishek Udupa, Ankush Desai, Sriram K. Rajamani
2011	B	`conf`	Program Analysis and Machine Learning: A Win-Win Deal. APLAS Aditya V. Nori, Sriram K. Rajamani
2011	B	`conf`	Program Analysis and Machine Learning: A Win-Win Deal. SAS Aditya V. Nori, Sriram K. Rajamani
2010	B	`conf`	Alternation for Termination. SAS William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani
2010	—	`conf`	An empirical study of optimizations in YOGI. ICSE (1) Aditya V. Nori, Sriram K. Rajamani
2010	Misc	`conf`	Analyzing Explicit Information Flow. ICISS Sriram K. Rajamani
2010	A*	`conf`	Compositional may-must program analysis: unleashing the power of alternation. POPL Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali
2010	A*	`conf`	GUESSTIMATE: a programming model for collaborative distributed systems. PLDI Kaushik Rajan, Sriram K. Rajamani, Shashank Yaduvanshi
2010	J	`jnl`	Proofs from Tests. IEEE Trans. Software Eng. Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur
2010	J	`jnl`	Refining abstract interpretations. Inf. Process. Lett. Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani
2010	—	`conf`	Representation dependence testing using program inversion. SIGSOFT FSE Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ganesan Ramalingam
2010	—	`ed.`	Verified Software: Theories, Tools, Experiments, Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings VSTTE Gary T. Leavens, Peter W. O'Hearn, Sriram K. Rajamani
2009	—	`conf`	DebugAdvisor: a recommender system for debugging. ESEC/SIGSOFT FSE Balasubramanyan Ashok, Joseph M. Joy, Hongkang Liang, Sriram K. Rajamani, Gopal Srinivasa, Vipindeep Vangala
2009	A*	`conf`	ISOLATOR: dynamically ensuring isolation in comcurrent programs. ASPLOS Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani
2009	A*	`conf`	Merlin: specification inference for explicit information flow problems. PLDI V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee
2009	—	`ed.`	Proceeding of the 2nd Annual India Software Engineering Conference, ISEC 2009, Pune, India, February 23-26, 2009 ISEC Kiran Deshpande, Pankaj Jalote, Sriram K. Rajamani
2009	A	`conf`	The YogiProject: Software Property Checking via Static Analysis and Testing. TACAS Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur
2009	B	`conf`	Verification, Testing and Statistics. FM Sriram K. Rajamani
2009	C	`conf`	Verification, Testing and Statistics. ICTAC Sriram K. Rajamani
2009	B	`conf`	Verification, Testing and Statistics. RV Sriram K. Rajamani
2009	—	`conf`	Verification, Testing and Statistics. TAP@TOOLS Aditya V. Nori, Sriram K. Rajamani
2008	J	`jnl`	A Type System for Data-Flow Integrity on Windows Vista CoRR Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani
2008	—	`conf`	A Work Allocation Language with Soft Constraints. CAiSE Forum Christian Stefansen, Sriram K. Rajamani, Parameswaran Seshan
2008	J	`jnl`	A type system for data-flow integrity on Windows Vista. ACM SIGPLAN Notices Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani
2008	—	`conf`	A type system for data-flow integrity on windows vista. PLAS Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani
2008	A	`conf`	Automatically Refining Abstract Interpretations. TACAS Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani
2008	J	`jnl`	Automating Software Testing Using Program Analysis. IEEE Softw. Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
2008	—	`conf`	Combining Tests and Proofs. VSTTE Madhu Gopinathan, Aditya V. Nori, Sriram K. Rajamani
2008	A*	`conf`	EON: modeling and analyzing dynamic access control systems with logic programs. CCS Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga
2008	A	`conf`	Enforcing object protocols by combining static and runtime analysis. OOPSLA Madhu Gopinathan, Sriram K. Rajamani
2008	C	`conf`	Global Software Servicing: Observational Experiences at Microsoft. ICGSE Shilpa Bugde, Nachiappan Nagappan, Sriram K. Rajamani, G. Ramalingam
2008	—	`ed.`	Proceeding of the 1st Annual India Software Engineering Conference, ISEC 2008, Hyderabad, India, February 19-22, 2008 ISEC Gautam Shroff, Pankaj Jalote, Sriram K. Rajamani
2008	A	`conf`	Proofs from tests. ISSTA Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons
2008	B	`conf`	Runtime Monitoring of Object Invariants with Guarantee. RV Madhu Gopinathan, Sriram K. Rajamani
2008	A	`conf`	SoftAlloc: A Work Allocation Language with Soft Constraints. ICWS Christian Stefansen, Sriram K. Rajamani, Parameswaran Seshan
2008	B	`conf`	Tests, Proofs and Refinements. ATVA Sriram K. Rajamani
2007	—	`conf`	Programming asynchronous layers with CLARITY. ESEC/SIGSOFT FSE Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani
2007	J	`jnl`	Software Is More Than Code. J. Univers. Comput. Sci. Sriram K. Rajamani
2007	B	`conf`	Static and Dynamic Analysis: Better Together. APLAS Sriram K. Rajamani
2007	B	`conf`	Verification of Object Relational Maps. SEFM Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha
2006	A*	`conf`	Automatic Property Checking for Software: Past, Present and Future. ASE Sriram K. Rajamani
2006	B	`conf`	Automatic Property Checking for Software: Past, Present and Future. SEFM Sriram K. Rajamani
2006	A	`conf`	Counterexample Driven Refinement for Abstract Interpretation. TACAS Bhargav S. Gulavani, Sriram K. Rajamani
2006	J	`jnl`	Intelligent Systems and Formal Methods in Software Engineering. IEEE Intell. Syst. Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani
2006	—	`conf`	SYNERGY: a new algorithm for property checking. SIGSOFT FSE Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani
2006	A	`conf`	Thorough static analysis of device drivers. EuroSys Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner
2005	A*	`ed.`	Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings CAV Kousha Etessami, Sriram K. Rajamani
2005	J	`jnl`	Polymorphic predicate abstraction. ACM Trans. Program. Lang. Syst. Thomas Ball, Todd D. Millstein, Sriram K. Rajamani
2005	—	`conf`	Sound Transaction-Based Reduction Without Cycle Detection. SPIN Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani
2004	C	`conf`	Models for Contract Conformance. ISoLA Sriram K. Rajamani, Jakob Rehof
2004	—	`conf`	Models for Contract Conformance. ISoLA (Preliminary proceedings) Jakob Rehof, Sriram K. Rajamani
2004	A	`conf`	Refining Approximations in Software Predicate Abstraction. TACAS Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani
2004	J	`jnl`	Righting Software. IEEE Softw. James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy
2004	B	`conf`	SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. IFM Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani
2004	A*	`conf`	Stuck-Free Conformance. CAV Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof
2004	A*	`conf`	Summarizing procedures in concurrent programs. POPL Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof
2004	A	`conf`	Verifying properties of hardware and software by predicate abstraction and model checking. ICCAD Randal E. Bryant, Sriram K. Rajamani
2004	A*	`conf`	Zing: A Model Checker for Concurrent Software. CAV Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie
2004	B	`conf`	Zing: Exploiting Program Structure for Model Checking Concurrent Software. CONCUR Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie
2003	J	`jnl`	Boolean and Cartesian abstraction for model checking C programs. Int. J. Softw. Tools Technol. Transf. Thomas Ball, Andreas Podelski, Sriram K. Rajamani
2003	A*	`conf`	From symptom to cause: localizing errors in counterexample traces. POPL Thomas Ball, Mayur Naik, Sriram K. Rajamani
2003	—	`ed.`	Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings SPIN Thomas Ball, Sriram K. Rajamani
2002	J	`jnl`	An assume-guarantee rule for checking simulation. ACM Trans. Program. Lang. Syst. Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran
2002	A*	`conf`	Conformance Checking for Models of Asynchronous Message Passing Software. CAV Sriram K. Rajamani, Jakob Rehof
2002	J	`jnl`	Fair Simulation. Inf. Comput. Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani
2002	A	`conf`	Relative Completeness of Abstraction Refinement for Software Model Checking. TACAS Thomas Ball, Andreas Podelski, Sriram K. Rajamani
2002	B	`conf`	Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. SAS Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer
2002	A*	`conf`	The SLAM project: debugging system software via static analysis. POPL Thomas Ball, Sriram K. Rajamani
2002	A*	`conf`	Types as models: model checking message-passing programs. POPL Sagar Chaki, Sriram K. Rajamani, Jakob Rehof
2001	B	`conf`	A Behavioral Module System for the Pi-Calculus. SAS Sriram K. Rajamani, Jakob Rehof
2001	A*	`conf`	Automatic Predicate Abstraction of C Programs. PLDI Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani
2001	—	`conf`	Automatically Validating Temporal Safety Properties of Interfaces. SPIN Thomas Ball, Sriram K. Rajamani
2001	—	`conf`	Bebop: a path-sensitive interprocedural dataflow engine. PASTE Thomas Ball, Sriram K. Rajamani
2001	A	`conf`	Boolean and Cartesian Abstraction for Model Checking C Programs. TACAS Thomas Ball, Andreas Podelski, Sriram K. Rajamani
2001	A	`conf`	Parameterized Verification of Multithreaded Software Libraries. TACAS Thomas Ball, Sagar Chaki, Sriram K. Rajamani
2001	J	`jnl`	Partial-Order Reduction in Symbolic State-Space Exploration. Formal Methods Syst. Des. Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
2001	A*	`conf`	The SLAM Toolkit. CAV Thomas Ball, Sriram K. Rajamani
2000	—	`conf`	Bebop: A Symbolic Model Checker for Boolean Programs. SPIN Thomas Ball, Sriram K. Rajamani
2000	A	`conf`	Decomposing Refinement Proofs Using Assume-Guarantee Reasoning. ICCAD Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
2000	A	`conf`	Fair Bisimulation. TACAS Thomas A. Henzinger, Sriram K. Rajamani
1999	A*	`conf`	Assume-Guarantee Refinement Between Different Time Scales. CAV Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
1999	A	`conf`	Formal specification and verification of a dataflow processor array. ICCAD Thomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani
1999	A*	`conf`	Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems. CAV Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
1998	B	`conf`	An Assume-Guarantee Rule for Checking Simulation. FMCAD Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran
1998	A*	`conf`	MOCHA: Modularity in Model Checking. CAV Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran
1998	A	`conf`	Symbolic Exploration of transition Hierarchies. TACAS Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani
1998	A*	`conf`	You Assume, We Guarantee: Methodology and Case Studies. CAV Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
1997	B	`conf`	Fair Simulation. CONCUR Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani
1997	A*	`conf`	Partial-Order Reduction in Symbolic State Space Exploration. CAV Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
1996	Misc	`conf`	A quantitative analysis of processor-programmable logic interface. FCCM Sriram K. Rajamani, Pramod Viswanath