@inproceedings{cui2026praxis,
cui2026praxis,
  title = {PRAXIS: Integrating Program Analysis with Observability for Root-Cause Analysis},
  author = {Shengkun Cui and Rahul Krishna and Saurabh Jha and Ravishankar K. Iyer},
  booktitle = {Proceedings of the 56th Annual IEEE/IFIP International Conference on Dependable Systems and Networks},
  year = {2026},
  venue = {DSN'26},
  featured = {true},
  awards = {Best Paper Award},
  url_pdf = {/pubs/DSN26PRAXIS/paper.pdf},
  url_cite = {/pubs/DSN26PRAXIS/cite.bib},
  pub_type = {conference}
}