Aquila: a practically usable verification system for production-scale programmable data planes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Bingchuan Tian' in GoogleThis author has not been identified. Look up 'Jiaqi Gao' in GoogleThis author has not been identified. Look up 'Mengqi Liu' in GoogleThis author has not been identified. Look up 'Ennan Zhai' in GoogleThis author has not been identified. Look up 'Yanqing Chen' in GoogleThis author has not been identified. Look up 'Yu Zhou' in GoogleThis author has not been identified. Look up 'Li Dai' in GoogleThis author has not been identified. Look up 'Feng Yan' in GoogleThis author has not been identified. Look up 'Mengjing Ma' in GoogleThis author has not been identified. Look up 'Ming Tang' in GoogleThis author has not been identified. Look up 'Jie Lu' in GoogleThis author has not been identified. Look up 'Xionglie Wei' in GoogleThis author has not been identified. Look up 'Hongqiang Harry Liu' in GoogleThis author has not been identified. Look up 'Ming Zhang' in GoogleThis author has not been identified. Look up 'Chen Tian 0001' in GoogleThis author has not been identified. Look up 'Minlan Yu' in Google

runs on WebDSL