Rashmi Mudduluru
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2014–2021
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ICSE | Verifying Determinism in Sequential Programs. | Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst |
| 2021 | ICSE | Verifying Determinism in Sequential Programs. | Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst |
| 2017 | FMCAD | Lasso detection using partial-state caching. | Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer |
| 2016 | FAST | Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!). | Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte |
| 2016 | ISSTA | Efficient flow profiling for detecting performance bugs. | Rashmi Mudduluru, Murali Krishna Ramanathan |
| 2015 | ISSTA | Pegasus: automatic barrier inference for stable multithreaded systems. | Monika Dhok, Rashmi Mudduluru, Murali Krishna Ramanathan |
| 2014 | FASE | Efficient Incremental Static Analysis Using Path Abstraction. | Rashmi Mudduluru, Murali Krishna Ramanathan |