Mengqi Liu

According to our database, Mengqi Liu authored at least 11 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Proceedings of the ACM SIGCOMM 2024 Conference, 2024

Sirius: Composing Network Function Chains into P4-Capable Edge Gateways.

Jiaqi Gao, Jiamin Cao, Yifan Li, Mengqi Liu, Ming Tang, Dennis Cai, Ennan Zhai

Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

2023

Automated Verification of an In-Production DNS Authoritative Engine.

Naiqian Zheng, Mengqi Liu, Yuxing Xiang, Linjian Song, Dong Li, Feng Han, Nan Wang, Yong Ma, Zhuo Liang, Dennis Cai, Ennan Zhai, Xuanzhe Liu, Xin Jin

Proceedings of the 29th Symposium on Operating Systems Principles, 2023

2022

Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation.

Mengqi Liu, Zhong Shao, Hao Chen, Man-Ki Yoon, Jung-Eun Kim

Proc. ACM Program. Lang., 2022

Meissa: scalable network testing for programmable data planes.

Naiqian Zheng, Mengqi Liu, Ennan Zhai, Hongqiang Harry Liu, Yifan Li, Kaicheng Yang, Xuanzhe Liu, Xin Jin

Proceedings of the SIGCOMM '22: ACM SIGCOMM 2022 Conference, Amsterdam, The Netherlands, August 22, 2022

Cetus: Releasing P4 Programmers from the Chore of Trial and Error Compiling.

Yifan Li, Jiaqi Gao, Ennan Zhai, Mengqi Liu, Kun Liu, Hongqiang Harry Liu

Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022

2021

Blinder: Partition-Oblivious Hierarchical Scheduling.

Man-Ki Yoon, Mengqi Liu, Hao Chen, Jung-Eun Kim, Zhong Shao

Proceedings of the 30th USENIX Security Symposium, 2021

Aquila: a practically usable verification system for production-scale programmable data planes.

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, Minlan Yu

Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021

2020

Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation.

Mengqi Liu, Lionel Rieg, Zhong Shao, Ronghui Gu, David Costanzo, Jung-Eun Kim, Man-Ki Yoon

Proc. ACM Program. Lang., 2020

2019

A new hierarchical software architecture towards safety-critical aspects of a drone system.

Xiaorui Zhu, Chen Liang, Zhen-guo Yin, Zhong Shao, Meng-qi Liu, Hao Chen

Frontiers Inf. Technol. Electron. Eng., 2019

Integrating Formal Schedulability Analysis into a Verified OS Kernel.

Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao

Proceedings of the Computer Aided Verification - 31st International Conference, 2019