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
- Kapil Vaswani and Sandeep Karanth, Holmes Beta 1.0, Microsoft Research, 19 November 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), 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), 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
Current Research
- DarwinAn Approach for Debugging Software Regressions
- HolmesAutomated Statistical Debugging using Path Profiles
- IsolatorA runtime technique for enforcing isolation in concurrent programs
- WYPIWYGWhat You Prove Is What You Get is an approach for automatically synthesizing concurrency control for programs.
