Bingchuan Tian, Jiaqi Gao, Mengqi Liu, Ennan Zhai, Yanqing Chen, Yu Zhou, Li Dai, Feng Yan, Mengjing Ma, Ming Tang, Jie Lu, Xionglie Wei, Hongqiang Harry Liu, Ming Zhang, Chen Tian 0001, Minlan Yu. Aquila: a practically usable verification system for production-scale programmable data planes. In Fernando A. Kuipers, Matthew C. Caesar, editors, ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021. pages 17-32, ACM, 2021. [doi]
@inproceedings{TianGLZCZDYMTLW21,
title = {Aquila: a practically usable verification system for production-scale programmable data planes},
author = {Bingchuan Tian and Jiaqi Gao and Mengqi Liu and Ennan Zhai and Yanqing Chen and Yu Zhou and Li Dai and Feng Yan and Mengjing Ma and Ming Tang and Jie Lu and Xionglie Wei and Hongqiang Harry Liu and Ming Zhang and Chen Tian 0001 and Minlan Yu},
year = {2021},
doi = {10.1145/3452296.3472937},
url = {https://doi.org/10.1145/3452296.3472937},
researchr = {https://researchr.org/publication/TianGLZCZDYMTLW21},
cites = {0},
citedby = {0},
pages = {17-32},
booktitle = {ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021},
editor = {Fernando A. Kuipers and Matthew C. Caesar},
publisher = {ACM},
isbn = {978-1-4503-8383-7},
}