Zhe Tao, Aseem Rastogi, Naman Gupta, Kapil Vaswani, Aditya V. Thakur
30th Usenix Security Symposium | August 2021
Publication
Matthew J. Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Manuel Costa, Pantazis Deligiannis, Aaron Blankstein, Dylan McDermott, Jonathan Balkind
MSR-TR-2017-32 | July 2017
Published by Microsoft
Publication
Project
Piyus Kedia, Manuel Costa, Dimitrios Vytiniotis, Matthew J. Parkinson, Kapil Vaswani, Aaron Blankstein
Proceedings of the Conference on Programming Langauges Design and Implementation (PLDI) | June 2017
Publication
Sanjit Seshia, Akash Lal, Rohit Sinha, Sriram Rajamani, Manuel Costa, Kapil Vaswani
Programming Languages Design and Implementation (PLDI) | June 2016
Publication
Kapil Vaswani, Ravi Ramamurthy, Ramarathnam Venkatesan
May 2016
Publication
Publication
Gowtham Kaki, G. Ramalingam, Kapil Vaswani, Dimitrios Vytiniotis
January 2016
Publication
Rohit Sinha, Sriram Rajamani, Sanjit A. Seshia, Kapil Vaswani
The ACM Conference on Computer and Communications Security (CCS) | October 2015
Publication
Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani
January 2015
Publication
Publication
G. Ramalingam, Kapil Vaswani
Foundations and Trends in Programming Languages |
January 2015, Vol 1
Publication
Publication
Sagar Chordia, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
MSR-TR-2013-71 | July 2013
International Symposium on Distributed Computing (DISC)
Publication
G. Ramalingam, Kapil Vaswani
Principles of Programming Languages (POPL) |
January 2013
Publication
G. Ramalingam, Kapil Vaswani
Static Analysis Symposium (SAS) | September 2012
Publication
Jose Faleiro, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
Principles of Distributed Computing (PODC) | July 2012
Publication
Jose Faleiro, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
Series Lecture Notes in Computer Science, Development, Operation and Management of Large-Scale Complex IT Systems. |
Published by Springer Berlin Heidelberg | 2012, Vol 7539 | Series Lecture Notes in Computer Science edition
Publication
Publication
G. Ramalingam, Kapil Vaswani
MSR-TR-2011-102 | September 2011
Publication
G. Ramalingam, Kapil Vaswani
Proceedings of Static Analysis Symposium (SAS) | September 2011
Publication
Publication
Dawei Qi, Abhik Roychoudhury, Zhengkai Liang, Kapil Vaswani
ACM Transactions on Software Engineering and Methodology (TOSEM) | August 2011
Publication
Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
SPIE Medical Imaging | January 2011
Publication
Shuvendu Lahiri, Kapil Vaswani, Tony Hoare
2010 FSE/SDP Workshop on the Future of Software Engineering Research (Position paper) | November 2010
Publication
Project
Prakash Prabhu, G. Ramalingam, Kapil Vaswani
Proceedings of Programming Language Design and Implementation (PLDI) | June 2010
Publication
Jyotirmoy Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
Proceedings of European Symposium on Programming (ESOP) - ETAPS Best Paper | March 2010
Publication
David Lo, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
Proceedings of the Working Conference on Reverse Engineering (WCRE) | October 2009
Publication
Dawei Qu, Abhik Roychoudhury, Zengkai Lang, Kapil Vaswani
Proceedings of the Symposium on Foundations of Software Engineering (ESEC/FSE) | September 2009
ACM SIGSOFT Distinguished Paper
Publication
Venkatesh-Prasad Ranganath, Kapil Vaswani, G. Ramalingam
MSR-TR-2009-81 | July 2009
Publication
Trishul Chilimbi, Ben Liblit, Krishna Mehra, Aditya Nori, Kapil Vaswani
Proceedings of the International Conference on Software Engineering (ICSE) | May 2009
Publication
Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2009
Publication
G. Ramalingam, Sriram Rajamani, Venkatesh-Prasad Ranganath, Kapil Vaswani, Jyotirmoy Vinay Deshmukh
December 2008
Publication
Trishul Chilimbi, Ben Liblit, Krishna Mehra, Aditya Nori, Kapil Vaswani
MSR-TR-2008-131 | August 2008
Publication
Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
Proceedings of the Workshop on Exploiting Concurrency Efficiently and Correctly (EC2) | June 2008
Publication
Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
MSR-TR-2008-91 | June 2008
Publication
Trishul Chilimbi, Aditya Nori, Kapil Vaswani
Proceedings of the Symposium on Foundations of Software Engineering (FSE) | September 2007
Publication
Trishul Chilimbi, Aditya Nori, Kapil Vaswani
MSR-TR-2007-62 | June 2007
Publication
Kapil Vaswani, Matthew J Thazuthaveetil, Y N Srikant
Proceedings of the International Symposium on Code Generation and Optimization (CGO) | January 2005
Publication
P J Joseph, Kapil Vaswani, Matthew J Thazuthaveetil
Proceedings of the International Conference on High Performance Computer Architecture (HPCA) | January 2005
Publication