Sriram K. Rajamani

According to our database, Sriram K. Rajamani authored at least 109 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2023

Frustrated with Code Quality Issues? LLMs can Help!

Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade, Suresh Parthasarathy, Sriram K. Rajamani

CoRR, 2023

CodePlan: Repository-level Coding using LLMs and Planning.

Ramakrishna Bairi, Atharv Sonwane, Aditya Kanade, Vageesh D. C, Arun Iyer, Suresh Parthasarathy, Sriram K. Rajamani, Balasubramanyan Ashok, Shashank Shet

CoRR, 2023

StaticFixer: From Static Analysis to Static Repair.

Naman Jain, Shubham Gandhi, Atharv Sonwane, Aditya Kanade, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma

CoRR, 2023

Guiding Language Models of Code with Global Context using Monitors.

Lakshya A Agrawal, Aditya Kanade, Navin Goyal, Shuvendu K. Lahiri, Sriram K. Rajamani

CoRR, 2023

Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context.

Lakshya A Agrawal, Aditya Kanade, Navin Goyal, Shuvendu K. Lahiri, Sriram K. Rajamani

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2022

Landmarks and regions: a robust approach to data extraction.

Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Shankar Iyer, Arjun Radhakrishna, Sriram K. Rajamani, Mohammad Raza

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Jigsaw: Large Language Models meet Program Synthesis.

Naman Jain, Skanda Vaidyanath, Arun Shankar Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2020

Programming by Rewards.

Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain, Ivan Radicek, Sriram K. Rajamani, Sumit Gulwani, Johannes Gehrke

CoRR, 2020

Models and programs: better together (keynote).

Sriram K. Rajamani

Proceedings of the SPLASH '20: Conference on Systems, 2020

Formal System Design and Verification: A Perspective.

Sriram K. Rajamani

Proceedings of the ISEC 2020: 13th Innovations in Software Engineering Conference, 2020

2019

Synthesis and machine learning for heterogeneous extraction.

Arun Shankar Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram K. Rajamani

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2017

A compiler and verifier for page access oblivious computation.

Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016

Debugging Machine Learning Tasks.

Aleksandar Chakarov, Aditya V. Nori, Sriram K. Rajamani, Shayak Sen, Deepak Vijaykeerthy

CoRR, 2016

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

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Keynote talk III: Trusted cloud: How to make the cloud more secure.

Sriram K. Rajamani

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

2015

Efficient synthesis of probabilistic programs.

Aditya V. Nori, Sherjil Ozair, Sriram K. Rajamani, Deepak Vijaykeerthy

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

A Provably Correct Sampler for Probabilistic Programs.

Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

Moat: Verifying Confidentiality of Enclave Programs.

Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

Bootstrapping Privacy Compliance in Big Data Systems.

Shayak Sen, Saikat Guha, Anupam Datta, Sriram K. Rajamani, Janice Y. Tsai, Jeannette M. Wing

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

Slicing probabilistic programs.

Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Online learning versus blended learning: an exploratory study.

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

Proceedings of the First (2014) ACM Conference on Learning @ Scale, 2014

Probabilistic programming.

Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the on Future of Software Engineering, 2014

R2: An Efficient MCMC Sampler for Probabilistic Programs.

Aditya V. Nori, Chung-Kil Hur, Sriram K. Rajamani, Selva Samuel

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Asynchronous Resilient Linearizability.

Sagar Chordia, Sriram K. Rajamani, Kaushik Rajan, Ganesan Ramalingam, Kapil Vaswani

Proceedings of the Distributed Computing - 27th International Symposium, 2013

Bayesian inference using data flow analysis.

Guillaume Claret, Sriram K. Rajamani, Aditya V. Nori, Andrew D. Gordon, Johannes Borgström

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

A model-learner pattern for bayesian reasoning.

Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

P: safe asynchronous event-driven programming.

Ankush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Combining Relational Learning with SMT Solvers Using CEGAR.

Arun Tejasvi Chaganty, Akash Lal, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Efficiently Sampling Probabilistic Programs via Program Analysis.

Arun Tejasvi Chaganty, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the Sixteenth International Conference on Artificial Intelligence and Statistics, 2013

2012

Automatic predicate abstraction of C programs.

Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani

ACM SIGPLAN Notices, 2012

Generalized lattice agreement.

Jose M. Faleiro, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

Parallelizing top-down interprocedural analyses.

Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

CScale - A Programming Model for Scalable and Reliable Distributed Applications.

Jose M. Faleiro, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Automatically Generating Algebra Problems.

Rohit Singh, Sumit Gulwani, Sriram K. Rajamani

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

A decade of software model checking with SLAM.

Thomas Ball, Vladimir Levin, Sriram K. Rajamani

Commun. ACM, 2011

Depth Bounded Explicit-State Model Checking.

Abhishek Udupa, Ankush Desai, Sriram K. Rajamani

Proceedings of the Model Checking Software, 2011

Program Analysis and Machine Learning: A Win-Win Deal.

Aditya V. Nori, Sriram K. Rajamani

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

Proofs from Tests.

Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur

IEEE Trans. Software Eng., 2010

Refining abstract interpretations.

Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani

Inf. Process. Lett., 2010

Representation dependence testing using program inversion.

Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ganesan Ramalingam

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Alternation for Termination.

William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the Static Analysis - 17th International Symposium, 2010

Compositional may-must program analysis: unleashing the power of alternation.

Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

GUESSTIMATE: a programming model for collaborative distributed systems.

Kaushik Rajan, Sriram K. Rajamani, Shashank Yaduvanshi

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

An empirical study of optimizations in YOGI.

Aditya V. Nori, Sriram K. Rajamani

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Analyzing Explicit Information Flow.

Sriram K. Rajamani

Proceedings of the Information Systems Security - 6th International Conference, 2010

2009

Verification, Testing and Statistics.

Aditya V. Nori, Sriram K. Rajamani

Proceedings of the Tests and Proofs - 3rd International Conference, 2009

The YogiProject: Software Property Checking via Static Analysis and Testing.

Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

DebugAdvisor: a recommender system for debugging.

Balasubramanyan Ashok, Joseph M. Joy, Hongkang Liang, Sriram K. Rajamani, Gopal Srinivasa, Vipindeep Vangala

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Merlin: specification inference for explicit information flow problems.

V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Verification, Testing and Statistics.

Sriram K. Rajamani

Proceedings of the Theoretical Aspects of Computing, 2009

ISOLATOR: dynamically ensuring isolation in comcurrent programs.

Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani

Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, 2009

2008

Automating Software Testing Using Program Analysis.

Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin

IEEE Softw., 2008

A type system for data-flow integrity on Windows Vista.

Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani

ACM SIGPLAN Notices, 2008

Combining Tests and Proofs.

Madhu Gopinathan, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the Verified Software: Theories, 2008

Automatically Refining Abstract Interpretations.

Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Runtime Monitoring of Object Invariants with Guarantee.

Madhu Gopinathan, Sriram K. Rajamani

Proceedings of the Runtime Verification, 8th International Workshop, 2008

Enforcing object protocols by combining static and runtime analysis.

Madhu Gopinathan, Sriram K. Rajamani

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Proofs from tests.

Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

SoftAlloc: A Work Allocation Language with Soft Constraints.

Christian Stefansen, Sriram K. Rajamani, Parameswaran Seshan

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Global Software Servicing: Observational Experiences at Microsoft.

Shilpa Bugde, Nachiappan Nagappan, Sriram K. Rajamani, G. Ramalingam

Proceedings of the 3rd IEEE International Conference on Global Software Engineering, 2008

EON: modeling and analyzing dynamic access control systems with logic programs.

Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga

Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

A Work Allocation Language with Soft Constraints.

Christian Stefansen, Sriram K. Rajamani, Parameswaran Seshan

Proceedings of the Forum at the CAiSE'08 Conference, Montpellier, France, June 18-20, 2008, 2008

Tests, Proofs and Refinements.

Sriram K. Rajamani

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

Software Is More Than Code.

Sriram K. Rajamani

J. Univers. Comput. Sci., 2007

Programming asynchronous layers with CLARITY.

Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Verification of Object Relational Maps.

Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Static and Dynamic Analysis: Better Together.

Sriram K. Rajamani

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

Intelligent Systems and Formal Methods in Software Engineering.

Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani

IEEE Intell. Syst., 2006

Counterexample Driven Refinement for Abstract Interpretation.

Bhargav S. Gulavani, Sriram K. Rajamani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

SYNERGY: a new algorithm for property checking.

Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Automatic Property Checking for Software: Past, Present and Future.

Sriram K. Rajamani

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

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

Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006

<i>NETRA</i>: : seeing through access control.

Prasad Naldurg, Stefan Schwoon, Sriram K. Rajamani, John Lambert

Proceedings of the 2006 ACM workshop on Formal methods in security engineering, 2006

2005

Polymorphic predicate abstraction.

Thomas Ball, Todd D. Millstein, Sriram K. Rajamani

ACM Trans. Program. Lang. Syst., 2005

Sound Transaction-Based Reduction Without Cycle Detection.

Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani

Proceedings of the Model Checking Software, 2005

2004

Righting Software.

James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy

IEEE Softw., 2004

Refining Approximations in Software Predicate Abstraction.

Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Summarizing procedures in concurrent programs.

Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

Models for Contract Conformance.

Jakob Rehof, Sriram K. Rajamani

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft.

Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Verifying properties of hardware and software by predicate abstraction and model checking.

Randal E. Bryant, Sriram K. Rajamani

Proceedings of the 2004 International Conference on Computer-Aided Design, 2004

Zing: Exploiting Program Structure for Model Checking Concurrent Software.

Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

Stuck-Free Conformance.

Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

Zing: A Model Checker for Concurrent Software.

Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Boolean and Cartesian abstraction for model checking C programs.

Thomas Ball, Andreas Podelski, Sriram K. Rajamani

Int. J. Softw. Tools Technol. Transf., 2003

From symptom to cause: localizing errors in counterexample traces.

Thomas Ball, Mayur Naik, Sriram K. Rajamani

Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

2002

An assume-guarantee rule for checking simulation.

Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran

ACM Trans. Program. Lang. Syst., 2002

Fair Simulation.

Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani

Inf. Comput., 2002

Relative Completeness of Abstraction Refinement for Software Model Checking.

Thomas Ball, Andreas Podelski, Sriram K. Rajamani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis.

Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer

Proceedings of the Static Analysis, 9th International Symposium, 2002

Types as models: model checking message-passing programs.

Sagar Chaki, Sriram K. Rajamani, Jakob Rehof

Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

The SLAM project: debugging system software via static analysis.

Thomas Ball, Sriram K. Rajamani

Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

Conformance Checking for Models of Asynchronous Message Passing Software.

Sriram K. Rajamani, Jakob Rehof

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Partial-Order Reduction in Symbolic State-Space Exploration.

Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani

Formal Methods Syst. Des., 2001

Parameterized Verification of Multithreaded Software Libraries.

Thomas Ball, Sagar Chaki, Sriram K. Rajamani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Automatically Validating Temporal Safety Properties of Interfaces.

Thomas Ball, Sriram K. Rajamani

Proceedings of the Model Checking Software, 2001

A Behavioral Module System for the Pi-Calculus.

Sriram K. Rajamani, Jakob Rehof

Proceedings of the Static Analysis, 8th International Symposium, 2001

Bebop: a path-sensitive interprocedural dataflow engine.

Thomas Ball, Sriram K. Rajamani

Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2001

The SLAM Toolkit.

Thomas Ball, Sriram K. Rajamani

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Fair Bisimulation.

Thomas A. Henzinger, Sriram K. Rajamani

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Bebop: A Symbolic Model Checker for Boolean Programs.

Thomas Ball, Sriram K. Rajamani

Proceedings of the SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30, 2000

Decomposing Refinement Proofs Using Assume-Guarantee Reasoning.

Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani

Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000

1999

Formal specification and verification of a dataflow processor array.

Thomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems.

Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

Assume-Guarantee Refinement Between Different Time Scales.

Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

Symbolic Exploration of transition Hierarchies.

Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

You Assume, We Guarantee: Methodology and Case Studies.

Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

MOCHA: Modularity in Model Checking.

Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1996

A quantitative analysis of processor-programmable logic interface.

Sriram K. Rajamani, Pramod Viswanath

Proceedings of the 4th IEEE Symposium on FPGAs for Custom Computing Machines (FCCM '96), 1996