publications:
- title: "Efficient Incremental Static Analysis Using Path Abstraction"
  author:
  - name: "Rashmi Mudduluru"
    link: "https://sites.google.com/view/rashmi/home"
  - name: "Murali Krishna Ramanathan"
    link: "https://researchr.org/alias/murali-krishna-ramanathan"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/978-3-642-54804-8_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-54804-8_9"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fase/MudduluruR14"
  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:
  - name: "Stefania Gnesi"
    link: "https://researchr.org/alias/stefania-gnesi"
  - name: "Arend Rensink"
    link: "https://researchr.org/alias/arend-rensink"
  volume: "8411"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-54803-1"
  kind: "inproceedings"
  key: "MudduluruR14"
- title: "Efficient flow profiling for detecting performance bugs"
  author:
  - name: "Rashmi Mudduluru"
    link: "https://sites.google.com/view/rashmi/home"
  - name: "Murali Krishna Ramanathan"
    link: "https://researchr.org/alias/murali-krishna-ramanathan"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2931037.2931066"
  links:
    doi: "http://doi.acm.org/10.1145/2931037.2931066"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/issta/MudduluruR16"
  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:
  - name: "Andreas Zeller"
    link: "https://researchr.org/alias/andreas-zeller"
  - name: "Abhik Roychoudhury"
    link: "https://researchr.org/alias/abhik-roychoudhury"
  publisher: "ACM"
  isbn: "978-1-4503-4390-9"
  kind: "inproceedings"
  key: "MudduluruR16"
- title: "Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!)"
  author:
  - name: "Pantazis Deligiannis"
    link: "https://researchr.org/alias/pantazis-deligiannis"
  - name: "Matt McCutchen"
    link: "https://researchr.org/alias/matt-mccutchen"
  - name: "Paul Thomson"
    link: "https://researchr.org/alias/paul-thomson"
  - name: "Shuo Chen"
    link: "https://researchr.org/alias/shuo-chen"
  - name: "Alastair F. Donaldson"
    link: "https://researchr.org/alias/alastair-f.-donaldson"
  - name: "John Erickson"
    link: "https://researchr.org/alias/john-erickson"
  - name: "Cheng Huang"
    link: "https://researchr.org/alias/cheng-huang"
  - name: "Akash Lal"
    link: "https://researchr.org/alias/akash-lal"
  - name: "Rashmi Mudduluru"
    link: "https://sites.google.com/view/rashmi/home"
  - name: "Shaz Qadeer"
    link: "https://researchr.org/alias/shaz-qadeer"
  - name: "Wolfram Schulte"
    link: "https://researchr.org/alias/wolfram-schulte"
  year: "2016"
  doi: "https://www.usenix.org/conference/fast16/technical-sessions/presentation/deligiannis"
  links:
    doi: "https://www.usenix.org/conference/fast16/technical-sessions/presentation/deligiannis"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fast/DeligiannisMTCD16"
  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:
  - name: "Angela Demke Brown"
    link: "https://researchr.org/alias/angela-demke-brown"
  - name: "Florentina I. Popovici"
    link: "https://researchr.org/alias/florentina-i.-popovici"
  publisher: "USENIX Association"
  isbn: "978-1-931971-28-7"
  kind: "inproceedings"
  key: "DeligiannisMTCD16"
- title: "Lasso detection using partial-state caching"
  author:
  - name: "Rashmi Mudduluru"
    link: "https://sites.google.com/view/rashmi/home"
  - name: "Pantazis Deligiannis"
    link: "https://researchr.org/alias/pantazis-deligiannis"
  - name: "Ankush Desai"
    link: "https://researchr.org/alias/ankush-desai"
  - name: "Akash Lal"
    link: "https://researchr.org/alias/akash-lal"
  - name: "Shaz Qadeer"
    link: "https://researchr.org/alias/shaz-qadeer"
  year: "2017"
  doi: "https://doi.org/10.23919/FMCAD.2017.8102245"
  links:
    doi: "https://doi.org/10.23919/FMCAD.2017.8102245"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fmcad/MudduluruDDLQ17"
  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:
  - name: "Daryl Stewart"
    link: "https://researchr.org/alias/daryl-stewart"
  - name: "Georg Weissenbacher"
    link: "https://researchr.org/alias/georg-weissenbacher"
  publisher: "IEEE"
  isbn: "978-0-9835678-7-5"
  kind: "inproceedings"
  key: "MudduluruDDLQ17"
- title: "Verifying Determinism in Sequential Programs"
  author:
  - name: "Rashmi Mudduluru"
    link: "https://sites.google.com/view/rashmi/home"
  year: "2019"
  doi: "https://doi.org/10.1109/ASE.2019.00159"
  links:
    doi: "https://doi.org/10.1109/ASE.2019.00159"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/kbse/Mudduluru19"
  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"
  kind: "inproceedings"
  key: "Mudduluru19"
- title: "Pegasus: automatic barrier inference for stable multithreaded systems"
  author:
  - name: "Monika Dhok"
    link: "https://researchr.org/alias/monika-dhok"
  - name: "Rashmi Mudduluru"
    link: "https://sites.google.com/view/rashmi/home"
  - name: "Murali Krishna Ramanathan"
    link: "https://researchr.org/alias/murali-krishna-ramanathan"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2771783.2771813"
  links:
    doi: "http://doi.acm.org/10.1145/2771783.2771813"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/issta/DhokMR15"
  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:
  - name: "Michal Young"
    link: "https://researchr.org/alias/michal-young"
  - name: "Tao Xie"
    link: "https://researchr.org/alias/tao-xie"
  publisher: "ACM"
  isbn: "978-1-4503-3620-8"
  kind: "inproceedings"
  key: "DhokMR15"