@inproceedings{MudduluruR14,
  title = {Efficient Incremental Static Analysis Using Path Abstraction},
  author = {Rashmi Mudduluru and Murali Krishna Ramanathan},
  year = {2014},
  doi = {10.1007/978-3-642-54804-8_9},
  url = {http://dx.doi.org/10.1007/978-3-642-54804-8_9},
  researchr = {https://researchr.org/publication/MudduluruR14},
  cites = {0},
  citedby = {0},
  pages = {125-139},
  booktitle = {Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings},
  editor = {Stefania Gnesi and Arend Rensink},
  volume = {8411},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-54803-1},
}

@inproceedings{MudduluruR16,
  title = {Efficient flow profiling for detecting performance bugs},
  author = {Rashmi Mudduluru and Murali Krishna Ramanathan},
  year = {2016},
  doi = {10.1145/2931037.2931066},
  url = {http://doi.acm.org/10.1145/2931037.2931066},
  researchr = {https://researchr.org/publication/MudduluruR16},
  cites = {0},
  citedby = {0},
  pages = {413-424},
  booktitle = {Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016},
  editor = {Andreas Zeller and Abhik Roychoudhury},
  publisher = {ACM},
  isbn = {978-1-4503-4390-9},
}

@inproceedings{DeligiannisMTCD16,
  title = {Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!)},
  author = {Pantazis Deligiannis and Matt McCutchen and Paul Thomson and Shuo Chen and Alastair F. Donaldson and John Erickson and Cheng Huang and Akash Lal and Rashmi Mudduluru and Shaz Qadeer and Wolfram Schulte},
  year = {2016},
  url = {https://www.usenix.org/conference/fast16/technical-sessions/presentation/deligiannis},
  researchr = {https://researchr.org/publication/DeligiannisMTCD16},
  cites = {0},
  citedby = {0},
  pages = {249-262},
  booktitle = {14th USENIX Conference on File and Storage Technologies, FAST 2016, Santa Clara, CA, USA, February 22-25, 2016},
  editor = {Angela Demke Brown and Florentina I. Popovici},
  publisher = {USENIX Association},
  isbn = {978-1-931971-28-7},
}

@inproceedings{MudduluruDDLQ17,
  title = {Lasso detection using partial-state caching},
  author = {Rashmi Mudduluru and Pantazis Deligiannis and Ankush Desai and Akash Lal and Shaz Qadeer},
  year = {2017},
  doi = {10.23919/FMCAD.2017.8102245},
  url = {https://doi.org/10.23919/FMCAD.2017.8102245},
  researchr = {https://researchr.org/publication/MudduluruDDLQ17},
  cites = {0},
  citedby = {0},
  pages = {84-91},
  booktitle = {2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017},
  editor = {Daryl Stewart and Georg Weissenbacher},
  publisher = {IEEE},
  isbn = {978-0-9835678-7-5},
}

@inproceedings{Mudduluru19,
  title = {Verifying Determinism in Sequential Programs},
  author = {Rashmi Mudduluru},
  year = {2019},
  doi = {10.1109/ASE.2019.00159},
  url = {https://doi.org/10.1109/ASE.2019.00159},
  researchr = {https://researchr.org/publication/Mudduluru19},
  cites = {0},
  citedby = {0},
  pages = {1271-1273},
  booktitle = {34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019},
  publisher = {IEEE},
  isbn = {978-1-7281-2508-4},
}

@inproceedings{DhokMR15,
  title = {Pegasus: automatic barrier inference for stable multithreaded systems},
  author = {Monika Dhok and Rashmi Mudduluru and Murali Krishna Ramanathan},
  year = {2015},
  doi = {10.1145/2771783.2771813},
  url = {http://doi.acm.org/10.1145/2771783.2771813},
  researchr = {https://researchr.org/publication/DhokMR15},
  cites = {0},
  citedby = {0},
  pages = {153-164},
  booktitle = {Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015},
  editor = {Michal Young and Tao Xie},
  publisher = {ACM},
  isbn = {978-1-4503-3620-8},
}