UPDATE! Our paper on Learning-Based Controlled Concurrency Testing won the Distinguished Artifact Award at OOPSLA 2020!
UPDATE! Our project, Coyote is now live! This is a shiny new framework that allows you to create reliable and efficient asynchronous applications. Do take Coyote out for a spin!
UPDATE! Check out Covid-19 Regulations Checker: a project I am working on to help people during the Covid-19 crisis.
Post-Doctoral Researcher, Microsoft Research, Bangalore, India (December 2017 - present)
Hello. I am presently a post-doctoral researcher at Microsoft Research, Bangalore, India.
Previously, I was a software engineer at Arista Networks, Bangalore. Prior to that, I was a Ph.D. student in the Programming Languages Laboratory, at the Department of Computer Science and Automation, Indian Institute of Science, Bangalore. My Ph.D. thesis involves designing efficient algorithms for the static analysis of concurrent computer programs.
Template courtesy OS Templates