@inproceedings {295585,
	author = {Ruihan Li and Fangdan Ye and Yifei Yuan and Ruizhen Yang and Bingchuan Tian and Tianchen Guo and Hao Wu and Xiaobo Zhu and Zhongyu Guan and Qing Ma and Xianlong Zeng and Chenren Xu and Dennis Cai and Ennan Zhai},
	title = {Reasoning about Network Traffic Load Property at Production Scale},
	booktitle = {21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24)},
	year = {2024},
	isbn = {978-1-939133-39-7},
	address = {Santa Clara, CA},
	pages = {1063--1082},
	url = {https://www.usenix.org/conference/nsdi24/presentation/li-ruihan},
	publisher = {USENIX Association},
	month = apr
}
