Feiyang Ding

According to our database, Feiyang Ding authored at least 2 papers in 2025.

Collaborative distances:

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

2025

HeTu: High-Performance Centralized Parallel Data-Plane Verification for Hyper-Scale DCNs.

Peng Peng, Xun Sun, Zhengtao Shen, Feiyang Ding, Jiawei Chen, Lizhao You, Weirong Jiang, Yongping Tang, Feng Luo

Proceedings of the 33rd IEEE International Conference on Network Protocols, 2025

Poster: High-Performance Centralized Parallel Data-Plane Verification for Hyper-Scale DCNs.

Peng Peng, Xun Sun, Zhengtao Shen, Feiyang Ding, Jiawei Chen, Lizhao You, Weirong Jiang, Yongping Tang, Feng Luo

Proceedings of the 2nd Workshop on Formal Methods Aided Network Operation, 2025