Safely and automatically updating in-network ACL configurations with intent language. - Bingchuan Tian; Xinyi Zhang 003; Ennan Zhai; Hongqiang Harry Liu; Qiaobo Ye; Chunsheng Wang; Xin Wu; Zhiming Ji; Yihong Sang; Ming Zhang 005; Da Yu; Chen Tian 001; et al. (SIGCOMM, 2019)

Accuracy, Scalability, Coverage: A Practical Configuration Verifier on a Global WAN. - Fangdan Ye; Da Yu; Ennan Zhai; Hongqiang Harry Liu; Bingchuan Tian; Qiaobo Ye; Chunsheng Wang; Xin Wu; Tianchen Guo; Cheng Jin; Duncheng She; Qing Ma; et al. (SIGCOMM, 2020)