Efficient Incremental Static Analysis Using Path Abstraction. - Rashmi Mudduluru; Murali Krishna Ramanathan (FASE, 2014)

Pegasus: automatic barrier inference for stable multithreaded systems. - Monika Dhok; Rashmi Mudduluru; Murali Krishna Ramanathan (ISSTA, 2015)

Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!). - Pantazis Deligiannis; Matt McCutchen; Paul Thomson; Shuo Chen 001; Alastair F. Donaldson; John Erickson; Cheng Huang; Akash Lal; Rashmi Mudduluru; Shaz Qadeer; Wolfram Schulte (FAST, 2016)

Efficient flow profiling for detecting performance bugs. - Rashmi Mudduluru; Murali Krishna Ramanathan (ISSTA, 2016)

Lasso detection using partial-state caching. - Rashmi Mudduluru; Pantazis Deligiannis; Ankush Desai; Akash Lal; Shaz Qadeer (FMCAD, 2017)

Verifying Determinism in Sequential Programs. - Rashmi Mudduluru (ASE, 2019)

Verifying Determinism in Sequential Programs. - Rashmi Mudduluru; Jason Waataja; Suzanne Millstein; Michael D. Ernst (ICSE (Companion Volume), 2021)