Registered user since Tue 20 Jan 2015
Murali Krishna Ramanathan is an Assistant Professor in the Department of Computer Science and Automation at Indian Institute of Science, Bangalore. Before IISc, he was a member of the core analysis team at Coverity Inc. building program analysis tools for bug detection in industrial codebases, with an emphasis on finding concurrency defects. He received his PhD in Computer Science from Purdue University.
|SPLASH 2016||Directed Synthesis of Failing Concurrent Executions|
|Show activities from other conferences|
View general profile