Aquila: a practically usable verification system for production-scale programmable data planes. - Bingchuan Tian; Jiaqi Gao; Mengqi Liu 001; Ennan Zhai; Yanqing Chen; Yu Zhou 008; Li Dai; Feng Yan; Mengjing Ma; Ming Tang; Jie Lu; Xionglie Wei; et al. (SIGCOMM, 2021)

Norma: Towards Practical Network Load Testing. - Yanqing Chen; Bingchuan Tian; Chen Tian 001; Li Dai; Yu Zhou 008; Mengjing Ma; Ming Tang; Hao Zheng; Zhewen Yang; Guihai Chen; Dennis Cai; Ennan Zhai (NSDI, 2023)