@inproceedings{T2COSDI2025,
  author = {Lou, Chang and Parikesit, Dimas Shidqi and Huang, Yujin and Yang, Zhewen and Diwangkara, Senapati and Jing, Yuzhuo and Kistijantoro, Achmad Imam and Yuan, Ding and Nath, Suman and Huang, Peng},
  title = {Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems},
  booktitle = {Proceedings of the 19th USENIX Symposium on Operating Systems Design and Implementation},
  series = {OSDI '25},
  month = {July},
  year = {2025},
  address = {Boston, MA, USA},
  publisher = {USENIX Association},
}