Login / Signup
Congyu Liu
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 4
Top Topics
Virtual Machine
Top Venues
Proc. ACM Program. Lang.
ASPLOS (2)
ASPLOS (4)
SP
</>
Publications
</>
Mingwei Zheng
,
Qingkai Shi
,
Xuwei Liu
,
Xiangzhe Xu
,
Le Yu
,
Congyu Liu
,
Guannan Wei
,
Xiangyu Zhang
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers.
Proc. ACM Program. Lang.
8 (OOPSLA1) (2024)
Adil Ahmad
,
Botong Ou
,
Congyu Liu
,
Xiaokuan Zhang
,
Pedro Fonseca
Veil: A Protected Services Framework for Confidential Virtual Machines.
ASPLOS (4)
(2023)
Congyu Liu
,
Sishuai Gong
,
Pedro Fonseca
KIT: Testing OS-Level Virtualization for Functional Interference Bugs.
ASPLOS (2)
(2023)
Dinglan Peng
,
Congyu Liu
,
Tapti Palit
,
Pedro Fonseca
,
Anjo Vahldiek-Oberwagner
,
Mona Vij
μSwitch: Fast Kernel Context Isolation with Implicit Context Switches.
SP
(2023)