@inproceedings {298734,
	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},
	title = {Anvil: Verifying Liveness of Cluster Management Controllers},
	booktitle = {18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24)},
	year = {2024},
	isbn = {978-1-939133-40-3},
	address = {Santa Clara, CA},
	pages = {649--666},
	url = {https://www.usenix.org/conference/osdi24/presentation/sun-xudong},
	publisher = {USENIX Association},
	month = jul
}
