2013

• Ken Eguro, Kaushik Rajan, Ravi Ramamurthy, Kapil Vaswani, and Ramarathnam Venkatesan, Migration to the Cloud Made Safe and Secure, in Off the Beaten Track (OBT) Workshop, ACM, January 2013
• G Ramalingam and Kapil Vaswani, Fault Tolerance via Idempotence, in Principles of Programming Languages (POPL), ACM, January 2013

2012

• Ravichandhran Madhavan, Ganesan Ramalingam, and Kapil Vaswani, Modular Heap Analysis For Higher Order 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

2011

• Ravichandhran Madhavan, Ganesan Ramalingam, and Kapil Vaswani, Purity Analysis: An Abstract Interpretation Formulation, in Proceedings of Static Analysis Symposium (SAS), September 2011
• Dawei Qi, Abhik Roychoudhury, Zhengkai Liang, and Kapil Vaswani, DARWIN: An Approach for Debugging Evolving Programs, in ACM Transactions on Software Engineering and Methodology (TOSEM), ACM, August 2011
• Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, and Kapil Vaswani, Logical Concurrency Control from Sequential Proofs, in Logical Methods in Computer Science (LICS), vol. 7, no. 3, 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
• 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
• 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

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
• 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
• 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

2008

• Sriram Rajamani, G Ramalingam, Venkatesh Prasad Ranganath, and Kapil Vaswani, Controlling Non-determinism for Semantic Guarantees, in Proceedings of the Workshop on Exploiting Concurrency Efficiently and Correctly (EC2), June 2008

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
• 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
• Kapil Vaswani, P J Joseph, Matthew J Thazuthaveetil, and Y N Srikant, Microarchitecture Sensitive Empirical Models for Compiler Optimizations, in Proceedings of the International Symposium on Code Generation and Optimization (CGO), 2007

2006

• P J Joseph, Kapil Vaswani, and Matthew J Thazuthaveetil, A Predictive Performance Model for Superscalar Processors, in Proceedings of the International Symposium on Microarchitecture (MICRO), 2006

2005

• P J Joseph, Kapil Vaswani, and Matthew J Thazuthaveetil, Construction and Use of Linear Regression Models for Processor Performance Analysis, in Proceedings of the International Conference on High Performance Computer Architecture (HPCA), 2005
• Kapil Vaswani, Matthew J Thazuthaveetil, and Y N Srikant, A Programmable Hardware Path Profiler, in Proceedings of the International Symposium on Code Generation and Optimization (CGO), 2005