Registered user since Wed 26 Jul 2017
I am a fifth year PhD student in the Department of Computer Science and Automation, IISc Bangalore and a recipient of the Google India PhD fellowship. My research interests are in software engineering and programming languages. For my doctoral dissertation, I have designed and implemented techniques to address the problem of automatically synthesizing clients for detecting concurrency bugs in multi-threaded libraries.
|SPLASH 2016|| Programme Committee in Program Committee within the OOPSLA Artifacts-track|
Directed Synthesis of Failing Concurrent Executions
|Show activities from other conferences|
View general profile