Rashmi Mudduluru

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 7

Top Topics

Semantic Caching

Control Structures

Automatic Programming

Top Venues

ICSE (Companion Volume)

Publications

Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst
Verifying Determinism in Sequential Programs. ICSE (2021)
Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst
Verifying Determinism in Sequential Programs. ICSE (Companion Volume) (2021)
Rashmi Mudduluru
Verifying Determinism in Sequential Programs. ASE (2019)
Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
Lasso detection using partial-state caching. FMCAD (2017)
Rashmi Mudduluru, Murali Krishna Ramanathan
Efficient flow profiling for detecting performance bugs. ISSTA (2016)
Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte
Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!). FAST (2016)
Monika Dhok, Rashmi Mudduluru, Murali Krishna Ramanathan
Pegasus: automatic barrier inference for stable multithreaded systems. ISSTA (2015)
Rashmi Mudduluru, Murali Krishna Ramanathan
Efficient Incremental Static Analysis Using Path Abstraction. FASE (2014)