Rashmi Mudduluru

According to our database, Rashmi Mudduluru authored at least 7 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Verifying Determinism in Sequential Programs.

Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

2019

Verifying Determinism in Sequential Programs.

Rashmi Mudduluru

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2017

Lasso detection using partial-state caching.

Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

Efficient flow profiling for detecting performance bugs.

Rashmi Mudduluru, Murali Krishna Ramanathan

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

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

Proceedings of the 14th USENIX Conference on File and Storage Technologies, 2016

2015

Pegasus: automatic barrier inference for stable multithreaded systems.

Monika Dhok, Rashmi Mudduluru, Murali Krishna Ramanathan

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

2014

Efficient Incremental Static Analysis Using Path Abstraction.

Rashmi Mudduluru, Murali Krishna Ramanathan

Proceedings of the Fundamental Approaches to Software Engineering, 2014