Zixi Cui

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Face Verification

Top Venues

Publications

Ying Yao, Zixi Cui, Le Tian, Menglong Li, Fan Pan, Yuxiang Hu
Scaver: A Scalable Verification System for Programmable Network. FMANO@SIGCOMM (2024)
Zixi Cui, Saifeng Hou, Le Tian, Yu Wang, Xiaoyu Yi, Yongjie Wang, Peng Yi, Hongchang Chen
P4-Ace: Resource-Efficient Optimization and Verification for Programmable Switches. FMANO@SIGCOMM (2024)