@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 = {FASE},
}

@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 = {ISSTA},
}

@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 = {FAST},
}

@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 = {FMCAD},
}

@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 = {ASE},
}

@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 = {ISSTA},
}