BibTeX record conf/osdi/0013MGMCH0PSSX24

download as .bib file

@inproceedings{DBLP:conf/osdi/0013MGMCH0PSSX24,
  author       = {Xudong Sun and
                  Wenjie Ma and
                  Jiawei Tyler Gu and
                  Zicheng Ma and
                  Tej Chajed and
                  Jon Howell and
                  Andrea Lattuada and
                  Oded Padon and
                  Lalith Suresh and
                  Adriana Szekeres and
                  Tianyin Xu},
  editor       = {Ada Gavrilovska and
                  Douglas B. Terry},
  title        = {Anvil: Verifying Liveness of Cluster Management Controllers},
  booktitle    = {18th {USENIX} Symposium on Operating Systems Design and Implementation,
                  {OSDI} 2024, Santa Clara, CA, USA, July 10-12, 2024},
  pages        = {649--666},
  publisher    = {{USENIX} Association},
  year         = {2024},
  url          = {https://www.usenix.org/conference/osdi24/presentation/sun-xudong},
  timestamp    = {Sun, 15 Jun 2025 20:53:22 +0200},
  biburl       = {https://dblp.org/rec/conf/osdi/0013MGMCH0PSSX24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}