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.
View general profile