2013

• Arun Chaganty, Akash Lal, Aditya V. Nori, and Sriram K. Rajamani, Combining Relational Learning with SMT Solvers using CEGAR, in Computer Aided Verification (CAV), Lecture Notes in Computer Science, July 2013
• Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, and Aditya V. Nori, Verification as Learning Geometric Concepts, in Static Analysis Symposium (SAS), Springer Verlag, June 2013
• Arun T. Chaganty, Aditya V. Nori, and Sriram K. Rajamani, Efficiently Sampling Probabilistic Programs via Program Analysis, in Artificial Intelligence and Statistics (AISTATS), April 2013
• Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, and Aditya V. Nori, A Data Driven Approach for Algebraic Loop Invariants, in European Symposium on Programming (ESOP), Lecture Notes in Computer Science, March 2013
• G Ramalingam and Kapil Vaswani, Fault Tolerance via Idempotence, in Principles of Programming Languages (POPL), ACM, January 2013
• Andrew D. Gordon, Aditya V. Nori, and Sriram K. Rajamani, Probabilistic Inference Using Program Analysis, in Off the Beaten Track (OBT '13), January 2013

2012

• Michael Emmi, Akash Lal, and Shaz Qadeer, Asynchronous programs with prioritized task buffers, in Foundations of Software Engineering (FSE), November 2012
• Ravichandhran Madhavan, Ganesan Ramalingam, and Kapil Vaswani, Modular Heap Analysis For Higher Order Programs, in Static Analysis Symposium (SAS), September 2012
• Michael Emmi and Akash Lal, Finding Non-Terminating Executions in Distributed Asynchronous Programs, in Static Analysis Symposium (SAS), September 2012
• Jose Faleiro, Sriram Rajamani, Kaushik Rajan, G Ramalingam, and Kapil Vaswani, Generalized Lattice Agreement, in Principles of Distributed Computing (PODC), ACM, July 2012
• Akash Lal, Shaz Qadeer, and Shuvendu Lahiri, Corral: A Solver for Reachability Modulo Theories, in Computer-Aided Verification (CAV), July 2012
• Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, and Akash Lal, Detecting Fair Non-Termination in Multithreaded Programs, in Computer-Aided Verification (CAV), July 2012
• R. Manikantan, kaushik Rajan, and R. Govindarajan, Probabilistic Shared Cache Management(PriSM) , in ISCA, ACM/IEEE, June 2012
• Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, and Sriram K. Rajamani, Parallelizing Top-Down Interprocedural Analyses, in Programming Languages Design and Implementation (PLDI), ACM, June 2012
• Moritz Y. Becker, Alessandra Russo, and Nik Sultana, Foundations of trust management, in IEEE Symposium on Security and Privacy, IEEE, 2012
• Saurabh Joshi, Shuvendu Lahiri, and Akash Lal, Underspecified Harnesses and Interleaved Bugs, in Principles of Programming Languages (POPL) 2012, ACM SIGPLAN, January 2012

2011

• Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, and Aditya V. Nori, Bottom-up shape analysis using LISF, in Transactions on Programming Languages and Systems, ACM, November 2011
• Kaushik Rajan, bill thies, and Abhishek Udupa, ALTER: Exploiting Breakable Dependences for Parallelization, in Proceedings of Programming Language Design and Implementation (PLDI 2011), Association for Computing Machinery, Inc., June 2011
• R. Manikantan, Kaushik Rajan, and R. Govindarajan, NUcache: An Efficient Multicore Cache Organization Based on Next-Use Distance, in Proceedings of the International Conference on High Performance Computer Architecture (HPCA), 2011, IEEE, February 2011
• R. Manikantan, Kaushik Rajan, and R. Govindarajan, Extended Histories: Improving Regularity and Performance in Correlation Prefetchers, in Proceedings of High Performance Embedded Architectures and Compilers, HIPEAC'2011, ACM, January 2011

2010

• Shuvendu K. Lahiri, Kapil Vaswani, and Tony Hoare, Differential Static Analysis: Opportunities, Applications, and Challenges, in 2010 FSE/SDP Workshop on the Future of Software Engineering Research (Position paper) , Association for Computing Machinery, Inc., November 2010
• William R. Harris, Akash Lal, Aditya V. Nori, and Sriram K. Rajamani, Alternation for Termination, in SAS '10: Static Analysis Symposium, Springer Verlag, September 2010
• Kaushik Rajan, Sriram Rajamani, and Shashank Yaduvanshi, GUESSTIMATE: A Programming Model for Collaborative Distributed Systems, in Proceedings of Programming Language Design and Implementation (PLDI 2010), Association for Computing Machinery, Inc., June 2010
• Prakash Prabhu, G Ramalingam, and Kapil Vaswani, Safe Programmable Speculative Parallelism, in Proceedings of Programming Language Design and Implementation (PLDI), Association for Computing Machinery, Inc., June 2010
• Aditya V. Nori and Sriram K. Rajamani, An Empirical Study of Optimizations in Yogi, in International Conference on Software Engineering (ICSE), Association for Computing Machinery, Inc., May 2010
• Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, Sai Deep Tetali, and Aditya V. Thakur, Proofs from Tests, in IEEE Transactions on Software Engineering (special issue on the ISSTA 2008 best papers), IEEE, March 2010
• Jyotirmoy Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, and Kapil Vaswani, Logical Concurrency Control From Sequential Proofs, in Proceedings of European Symposium on Programming (ESOP) - ETAPS Best Paper, March 2010
• Hagit Attiya, Ganesan Ramalingam, and Noam Rinetzky, Sequential Verification of Serializability, in Principles of Programming Languages (POPL), Association for Computing Machinery, Inc., January 2010
• Sandya Mannarswamy, Dhruva Chakrabarti, Kaushik Rajan, and Sujoy Saraswati, Compiler Aided Selective Lock Assignment for Improving the Performance of Software Transactional Memory, in Proceedings of Principles and Practice of Parallel Programming (PPoPP 2010), Association for Computing Machinery, Inc., January 2010
• Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, and Sai Deep Tetali, Compositional May-Must Program Analysis: Unleashing the Power of Alternation, in Principles of Programming Languages (POPL), Association for Computing Machinery, Inc., January 2010

2009

• Rupesh Nasre, Kaushik Rajan, R. Govindarajan, and Uday P. Khedker, Scalable Context-Sensitive Points-To Analysis Using Multi-Dimensional Bloom Filters, in Proceedings of Programming Languages and Systems (APLAS 2009) , Springer Verlag, December 2009
• Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, and Mooly Sagiv, Abstract Transformers for Thread Correlation Analysis, in Asian Symposium on Programming Languages and Systems (APLAS), Springer Verlag, December 2009
• David Lo, G Ramalingam, Venkatesh Prasad Ranganath, and Kapil Vaswani, Mining Quantified Temporal Rules: Formalism, Algorithms and Evaluation, in Proceedings of the Working Conference on Reverse Engineering (WCRE), IEEE, October 2009
• Dawei Qu, Abhik Roychoudhury, Zengkai Lang, and Kapil Vaswani, Darwin: An Approach for Debugging Evolving Programs, in Proceedings of the Symposium on Foundations of Software Engineering (ESEC/FSE) - ACM SIGSOFT Distinguished Paper, Association for Computing Machinery, Inc., September 2009
• B. Ashok, Joseph Joy, Hongkang Liang, Sriram Rajamani, Gopal Srinivasa, and Vipindeep Vangala, DebugAdvisor: A Recommender System for Debugging, in Foundations of Software Engineering (ESEC/FSE), Association for Computing Machinery, Inc., 26 August 2009
• Kaushik Rajan and R. Govindarajan, A Novel Cache Architecture and Placement Framework for Packet Forwarding Engines, in IEEE Transactions on Computers (IEEE TC), Institute of Electrical and Electronics Engineers, Inc., August 2009
• Bhargav Gulavani, Supratik Chakraborty, G. Ramalingam, and Aditya V. Nori, Bottom-up Shape Analysis, in SAS '09: Static Analysis Symposium, Springer Verlag, August 2009
• Michael C. Tschantz and Aditya V. Nori, Measuring the Loss of Privacy from Statistics, in Workshop on Quantitative Analysis of Software, June 2009
• Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, and Anindya Banerjee, Merlin: Specification Inference for Explicit Information Flow Problems , in ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI), Association for Computing Machinery, Inc., June 2009
• Trishul Chilimbi, Ben Liblit, Krishna Mehra, Aditya V. Nori, and Kapil Vaswani, Holmes: Effective Statistical Debugging via Efficient Path Profiling, in Proceedings of the International Conference on Software Engineering (ICSE), Association for Computing Machinery, Inc., May 2009
• Aditya V. Nori, Sriram K. Rajamani, Sai Deep Tetali, and Aditya V. Thakur, The Yogi Project: Software Property Checking via Static Analysis and Testing, in TACAS '09: Tools and Algorithms for the Construction and Analysis of Systems, Springer Verlag, March 2009
• Sriram Rajamani, G Ramalingam, Venkatesh Prasad Ranganath, and Kapil Vaswani, Isolator: Dynamically Ensuring Isolation in Concurrent Programs, in Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Association for Computing Machinery, Inc., March 2009
• Sumit Gulwani, Krishna Mehra, and Trishul Chilimbi, SPEED: Precise and Efficient Static Estimation of Program Computational Complexity, in Principles of Programming Languages (POPL), Association for Computing Machinery, Inc., January 2009

2008

• Manuel Fahndrich, Sriram K. Rajamani, and Jakob Rehof, Static Deadlock Prevention in Dynamically Configured Communication Networks, in Perspectives On Concurrency, Festchrift for Prof. P. S. Thiagarajan's 60th birthday, K. Lodaya, M. Mukund and R. Ramanujam (eds), Universities Press, December 2008
• Shilpa Bugde, Nachi Nagappan, G. Ramalingam, and Sriram Rajamani, Global Software Servicing: Observational Experiences at Microsoft , in International Conference on Global Software Engineering (IGCSE), October 2008
• Madhu Gopinathan and Sriram Rajamani, Enforcing Object Protocols by Combining Static and Dynamic Analysis, in ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA), Association for Computing Machinery, Inc., October 2008
• Avik Chaudhuri, Prasad Naldurg, G. Ramalingam, Sriram Rajamani, and L. Velaga, EON: Modeling and Analyzing Access Control Systems with Logic Programs, in ACM Conference on Computer and Communications Security (CCS), Association for Computing Machinery, Inc., October 2008
• Josh Berdine, T. Lev-Ami, Roman Manevich, Ganesan Ramalingam, and Mooly Sagiv, Thread Quantification for Concurrent Shape Analysis, in Computer Aided Verification (CAV), July 2008
• Roman Manevich, T. Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, and Josh Berdine, Heap Decomposition for Concurrent Shape Analysis, in Static Analysis Symposium (SAS), Springer Verlag, July 2008
• Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, and Robert J. Simmons, Proofs from Tests, in Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), Association for Computing Machinery, Inc., July 2008
• Avik Chaudhuri, Prasad Naldurg, and Sriram Rajamani, A Type System for Data-Flow Integrity on Windows Vista, in ACM Workshop on Programming Languages and Analysis for Security (PLAS), Association for Computing Machinery, Inc., June 2008
• Madhu Gopinathan and Sriram Rajamani, Runtime Verification of Object Invariants with Guarantee, in 8th workshop on Runtime Verification (RV), March 2008
• Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, and Sriram K. Rajamani, Automatically Refining Abstract Interpretations, in Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), March 2008
• Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, and Josh Berdine, Heap Decomposition for Concurrent Shape Analysis, in Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings, Springer Verlag, 2008

2007

• Raghavan Komondoor and Ganesan Ramalingam, Recovering Data Models Via Guarded Dependences, in Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), October 2007
• Saurabh Sinha, G. Ramalingam, and Raghavan Komondoor, Parametric Process Model Inference , in Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), October 2007
• Krishna Mehra, Sriram K. Rajamani, Prasad Sistla, and Sumit K. Jha, Verification of Object-Relational Maps, in Proceedings of the 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM), IEEE Computer Society, September 2007
• Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, and Sriram K. Rajamani, Programming Asynchronous Layers with CLARITY, in Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), Association for Computing Machinery, Inc., September 2007
• Trishul M. Chilimbi, Aditya Nori, and Kapil Vaswani, Quantifying the Effectiveness of Testing via Efficient Residual Path Profiling, in Proceedings of the Symposium on Foundations of Software Engineering (FSE), September 2007
• Roman Manevich, Josh Berdine, Byron Cook, Ganesan Ramalingam, and Mooly Sagiv, Shape Analysis by Graph Decomposition, in Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings, Springer Verlag, 2007
• Kapil Vaswani, Aditya Nori, and Trishul Chilimbi, Preferential Path Profiling: Compactly Numbering Interesting Paths, in Proceedings of the Symposium on Principles of Programming Languages (POPL), January 2007

2006

• Prasad Naldurg, Stefan Schwoon, Sriram Rajamani, and John Lambert, NETRA: Seeing Through Access Control, in Proceedings of the 4th ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE), Association for Computing Machinery, Inc., November 2006
• Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, and Sriram K. Rajamani, Synergy: A New Algorithm for Property Checking, in Proceedings of the 14th Annual Symposium on Foundations of Software Engineering (FSE, ACM SIGSOFT Distinguished Paper) , Association for Computing Machinery, Inc., November 2006
• Bhargav S. Gulavani and Sriram K. Rajamani, Counterexample driven Refinement for Abstract Interpretation, in Proceedings of 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), March 2006
• Sriram Rajamani, Automatic Property Checking for Software: Past, Present and Future, in Proceedings of the 4th International Conference on Software Engineering and Formal Methods (SEFM), IEEE Computer Society, 2006