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: "FASE"
  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: "ISSTA"
  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: "FAST"
  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: "FMCAD"
  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: "ASE"
  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: "ISSTA"
  kind: "inproceedings"
  key: "DhokMR15"