P4-Ace: Resource-Efficient Optimization and Verification for Programmable Switches. - Zixi Cui; Saifeng Hou; Le Tian 002; Yu Wang; Xiaoyu Yi; Yongjie Wang; Peng Yi 003; Hongchang Chen (FMANO@SIGCOMM, 2024)

Scaver: A Scalable Verification System for Programmable Network. - Ying Yao; Zixi Cui; Le Tian 002; Menglong Li; Fan Pan; Yuxiang Hu (FMANO@SIGCOMM, 2024)

Altair: Resource-efficient optimization and deployment for data plane programs. - Zixi Cui; Yuxiang Hu; Le Tian 002; Peng Yi 003; Saifeng Hou; Hongchang Chen (Comput. Networks, 2025)

Enabling Service-Oriented Programming for Multi-User in Polymorphic Network. - Zixi Cui; Le Tian 002; Peng Yi 003; Yuxiang Hu; Jiangxing Wu 001 (IEEE Commun. Mag., 2025)