Registered user since Wed 26 Jul 2017
I am a Postdoctoral Associate working at CSAIL, MIT. I received my PhD from the Department of Computer Science and Automation, IISc Bangalore and was supported by a Google India PhD fellowship. For my doctoral dissertation, I designed and implemented techniques to address the problem of automatically synthesizing clients for detecting concurrency bugs in multithreaded libraries. My research interests are in software engineering and programming languages.
|PPoPP 2018|| Artifact Evaluation Chair in Artifact Evaluation Committee|
Committee Member in Extended Review Committee
|Show activities from other conferences|
View general profile