Rulan Yang

According to our database, Rulan Yang authored at least 3 papers between 2023 and 2024.

Collaborative distances:

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

2024

Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation.

Rulan Yang, Hanyang Shao, Gao Han, Ziyi Wang, Xing Fang, Lizhao You, Qiao Xiang, Linghe Kong, Ruiting Zhou, Jiwu Shu

CoRR, 2024

Network Can Help Check Itself: Accelerating SMT-based Network Configuration Verification Using Network Domain Knowledge.

Xing Fang, Feiyan Ding, Bang Huang, Ziyi Wang, Gao Han, Rulan Yang, Lizhao You, Qiao Xiang, Linghe Kong, Yutong Liu, Jiwu Shu

Proceedings of the IEEE INFOCOM 2024, 2024

2023

Diagnosing Distributed Routing Configurations Using Sequential Program Analysis.

Rulan Yang, Xing Fang, Lizhao You, Qiao Xiang, Hanyang Shao, Gao Han, Ziyi Wang, Zhihao Zhang, Jiwu Shu, Linghe Kong

Proceedings of the 7th Asia-Pacific Workshop on Networking, 2023