Automated Verification of an In-Production DNS Authoritative Engine - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Naiqian Zheng' in GoogleThis author has not been identified. Look up 'Mengqi Liu' in GoogleThis author has not been identified. Look up 'Yuxing Xiang' in GoogleThis author has not been identified. Look up 'Linjian Song' in GoogleThis author has not been identified. Look up 'Dong Li' in GoogleThis author has not been identified. Look up 'Feng Han' in GoogleThis author has not been identified. Look up 'Nan Wang' in GoogleThis author has not been identified. Look up 'Yong Ma' in GoogleThis author has not been identified. Look up 'Zhuo Liang' in GoogleThis author has not been identified. Look up 'Dennis Cai' in GoogleThis author has not been identified. Look up 'Ennan Zhai' in GoogleThis author has not been identified. Look up 'Xuanzhe Liu' in GoogleThis author has not been identified. Look up 'Xin Jin 0008' in Google

runs on WebDSL