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}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.