A General and Efficient Approach to Verifying Traffic Load Properties under Arbitrary k Failures.
Ruihan Li, Yifei Yuan, Fangdan Ye, Mengqi Liu, Ruizhen Yang, Yang Yu, Tianchen Guo, Qing Ma, Xianlong Zeng, Chenren Xu, Dennis Cai, Ennan Zhai
Browse the full SIGCOMM paper archive.