Naiqian Zheng, Mengqi Liu, Yuxing Xiang, Linjian Song, Dong Li, Feng Han, Nan Wang, Yong Ma, Zhuo Liang, Dennis Cai, Ennan Zhai, Xuanzhe Liu, Xin Jin 0008. Automated Verification of an In-Production DNS Authoritative Engine. In Jason Flinn, Margo I. Seltzer, Peter Druschel, Antoine Kaufmann, Jonathan Mace, editors, Proceedings of the 29th Symposium on Operating Systems Principles, SOSP 2023, Koblenz, Germany, October 23-26, 2023. pages 80-95, ACM, 2023. [doi]
Abstract is missing.