Share this page
Share this page E-mail this page Print this page RSS feeds
Home > People > Kapil Vaswani
Kapil Vaswani

RESEARCHER
.

Rigorous Software Engineering
Microsoft Research
kapilv@microsoft.com

 

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

More publications...

Current Research
  • Darwin
    An Approach for Debugging Software Regressions
  • Holmes
    Automated Statistical Debugging using Path Profiles
  • Isolator
    A runtime technique for enforcing isolation in concurrent programs
  • WYPIWYG
    What You Prove Is What You Get is an approach for automatically synthesizing concurrency control for programs.