Kapil Vaswani
RESEARCHER
.
|
Rigorous Software Engineering
196/36, 2nd Main, Sadashivnagar, Bangalore 560080, India |
I am a researcher with the Rigorous Software Engineering group at Microsoft Research. I am broadly interested in tools and techniques that help programmers write faster and more reliable programs. Some of my recent research has focused on techniques for automatically detecting, diagnosing and fixing bugs. I graduated from the department of Computer Science and Automation at the Indian Institute of Science where I worked with Prof. Srikant and Prof. Matthew Jacob.
Recent papers
- Dawei Qu, Abhik Roychoudhury, Zengkai Lang, and Kapil Vaswani, Darwin: An Approach for Debugging Evolving Programs, in Proceedings of the International Symposium on Foundations of Software Engineering (FSE), 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), 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), March 2009
- 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
- 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, 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
- 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
Projects
- WYPIWYGWhat You Prove Is What You Get is an approach for automatically synthesizing concurrency control for programs.
- TarkMining API Specifications
- DarwinAn Approach for Debugging Software Regressions
- IsolatorA runtime technique for enforcing isolation in concurrent programs
- HolmesAutomated Statistical Debugging using Path Profiles
- Preferential Path ProfilingPPP is a novel scheme for efficiently profiling paths in programs.
