Rulan Yang

According to our database, Rulan Yang authored at least 5 papers between 2023 and 2026.

Collaborative distances:

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

2026

Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation.

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

Proceedings of the 23rd USENIX Symposium on Networked Systems Design and Implementation, 2026

2025

Digital Presentation and Interactive Learning for Intangible Cultural Heritage Preservation Using Artificial Intelligence.

Liuxun Zhang, Zhouluo Wang, Rulan Yang, Qiang Yi

IEEE Access, 2025

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