Mengqi Liu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IECON | Research on Optimization Algorithms for Alarm Data Fusion of Multiple Network Security Situational Awareness Devices. | Xiaomeng Li, Mengqi Liu, Shuozai Zheng, Tongshuai Zhang |
| 2025 | SIGCOMM | New Evolution of Hoyan: Enhancing Scalability, Usability, and Accuracy for Alibaba's Global WAN Verification. | Yifei Yuan, Fangdan Ye, Yifan Li, Jingkai Zhang, Mengqi Liu, Yuyang Sang, Ruizhen Yang, Duncheng She, Zhiqing Ye, Tianchen Guo, Xiaobo Zhu, Xinji Tang, Li Jia, Zhongyu Guan, Lingpeng Su, Ci Wang, Ruiyang Feng, Shuo Wu, Zhonghui Xie, Cheng Jin, Peng Zhang, Qing Ma, Xianlong Zeng, Dennis Cai, Ennan Zhai |
| 2024 | ICASSP | DeformMLP: Dynamic Large-Scale Receptive Field MLP Networks for Human Motion Prediction. | Haitao Huang, Chi-Man Pun, Haolun Li, Mengqi Liu, Jian Xiong, Hao Gao |
| 2024 | NSDI | Sirius: Composing Network Function Chains into P4-Capable Edge Gateways. | Jiaqi Gao, Jiamin Cao, Yifan Li, Mengqi Liu, Ming Tang, Dennis Cai, Ennan Zhai |
| 2024 | SIGCSE | Beyond Traditional Teaching: Large Language Models as Simulated Teaching Assistants in Computer Science. | Mengqi Liu, Faten M'hiri |
| 2024 | SIGCOMM | 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 |
| 2023 | SOSP | 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 |
| 2022 | NSDI | 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 |
| 2022 | SIGCOMM | 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 |
| 2021 | SIGCOMM | 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 |
| 2019 | CAV | Integrating Formal Schedulability Analysis into a Verified OS Kernel. | Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao |