Publications

Lasso Detection Using Partial State Caching

Formal Methods in Computer Aided Design (FMCAD) 2017. PDF

Rashmi Mudduluru, Pantazis Deligianis, Ankush Desai, Akash Lal and Shaz Qadeer

Efficient Flow Profiling for Detecting Performance Bugs

International Symposium of Software Testing and Analysis (ISSTA) 2016. PDF

Rashmi Mudduluru and Murali Krishna Ramanathan

ACM SIGSOFT Distinguished Paper Award.

Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!)

File and Storage Technologies (FAST) 2016. PDF

Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, and Wolfram Schulte

Pegasus: Automatic Barrier Inference for Stable Multithreaded Systems

International Symposium of Software Testing and Analysis (ISSTA) 2015. PDF

Monika Dhok, Rashmi Mudduluru and Murali Krishna Ramanathan

Efficient Incremental Static Analysis Using Path Abstraction

Fundamental Approaches to Software Engineering (FASE) 2014. PDF

Rashmi Mudduluru and Murali Krishna Ramanathan