Boosting symbolic execution via constraint solving time prediction (experience paper). - Sicheng Luo; Hui Xu 009; Yanxiang Bi; Xin Wang 002; Yangfan Zhou (ISSTA, 2021)

Volcano: Stateless Cache Side-channel Attack by Exploiting Mesh Interconnect. - Junpeng Wan; Yanxiang Bi; Zhe Zhou 001; Zhou Li 001 (CoRR, 2021)

MeshUp: Stateless Cache Side-channel Attack on CPU Mesh. - Junpeng Wan; Yanxiang Bi; Zhe Zhou 001; Zhou Li 001 (SP, 2022)

Userspace Bypass: Accelerating Syscall-intensive Applications. - Zhe Zhou 001; Yanxiang Bi; Junpeng Wan; Yangfan Zhou; Zhou Li 001 (OSDI, 2023)