Murali Krishna Ramanathan

Registered user since Tue 20 Jan 2015

Name: Murali Krishna Ramanathan

Bio: Murali Krishna Ramanathan is a Programming Systems Research Scientist at Uber Technologies Inc. Previously, he was affiliated with IISc, Bangalore and Coverity Inc. He has designed and implemented several novel program analysis tools for detecting software bugs. He received his PhD in Computer Science from Purdue University.

Country: United States

Affiliation: Uber

Personal website: https://sites.google.com/view/mkramanathan/

Research interests: Programming Languages, Software Engineering

Contributions

SPLASH 2019Author of Optimization of Swift Protocols within the OOPSLA-track
REBLS 2018Keynote Speaker of Reacting to stream-based programming bugs within the REBLS 2018-track
SPLASH 2018Speaker in Speakers within the SPLASH-I-track
Author of Reliable Deployment at Uber Scale within the SPLASH-I-track
PPoPP 2018Committee Member in Program Committee
ISSTA 2017Committee Member in Program Committee
ECOOP 2018Committee Member in Program Committee within the ECOOP Research Papers-track
PLDI 2017Artifact Evaluation Co-Chair in Organizing Committee
Co-chair in Artifact Evaluation Committee
PLDI 2016Committee Member in External Review Committee
SPLASH 2016Author of Directed Synthesis of Failing Concurrent Executions within the OOPSLA-track
PPoPP 2016Committee Member in External Review Committee within the Main conference-track
SPLASH 2015Committee Member in Program Committee within the OOPSLA-track
PLDI 2015Author of Synthesizing racy tests within the Research Papers-track
SPLASH 2014Author of Demo 2: OMEN - A Tool for Synthesizing Tests for Deadlock Detection within the Demos-track
Author of Multithreaded Test Synthesis for Deadlock Detection within the OOPSLA-track
Presenter of Multithreaded Test Synthesis for Deadlock Detection within the OOPSLA Artifacts-track