Mengqi Liu

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 6

Top Topics

Hierarchical Classification

Top Venues

Proc. ACM Program. Lang.

USENIX Security Symposium

Publications

Ruihan Li, Yifei Yuan, Fangdan Ye, Mengqi Liu, Ruizhen Yang, Yang Yu, Tianchen Guo, Qing Ma, Xianlong Zeng, Chenren Xu, Dennis Cai, Ennan Zhai
A General and Efficient Approach to Verifying Traffic Load Properties under Arbitrary k Failures. SIGCOMM (2024)
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
Automated Verification of an In-Production DNS Authoritative Engine. SOSP (2023)
Mengqi Liu, Zhong Shao, Hao Chen, Man-Ki Yoon, Jung-Eun Kim
Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Man-Ki Yoon, Mengqi Liu, Hao Chen, Jung-Eun Kim, Zhong Shao
Blinder: Partition-Oblivious Hierarchical Scheduling. USENIX Security Symposium (2021)
Mengqi Liu, Lionel Rieg, Zhong Shao, Ronghui Gu, David Costanzo, Jung-Eun Kim, Man-Ki Yoon
Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation. Proc. ACM Program. Lang. 4 (POPL) (2020)
Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao
Integrating Formal Schedulability Analysis into a Verified OS Kernel. CAV (2) (2019)