Zixi Cui

According to our database, Zixi Cui authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Altair: Resource-efficient optimization and deployment for data plane programs.

Zixi Cui, Yuxiang Hu, Le Tian, Peng Yi, Saifeng Hou, Hongchang Chen

Comput. Networks, 2025

2024

Scaver: A Scalable Verification System for Programmable Network.

Ying Yao, Zixi Cui, Le Tian, Menglong Li, Fan Pan, Yuxiang Hu

Proceedings of the 2024 SIGCOMM Workshop on Formal Methods Aided Network Operation, 2024

P4-Ace: Resource-Efficient Optimization and Verification for Programmable Switches.

Zixi Cui, Saifeng Hou, Le Tian, Yu Wang, Xiaoyu Yi, Yongjie Wang, Peng Yi, Hongchang Chen

Proceedings of the 2024 SIGCOMM Workshop on Formal Methods Aided Network Operation, 2024