Gao Han

According to our database, Gao Han authored at least 7 papers between 2020 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

2024

Analysis of electromagnetic force on wireless charging structure.

Gao Han, Wei Yuan, Yanming Liu, Qian Li, Fang Chen

Wirel. Networks, August, 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

ConfigHub: A Network Configuration Sharing Platform.

Gao Han, Hanyang Shao, Ruiqin Duan, Changqi Zhuang, Qiao Xiang

Proceedings of the 2024 SIGCOMM Workshop on Formal Methods Aided Network Operation, 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

2020

Dual-Band Focused Transmitarray Antenna for Microwave Measurements.

Zheng Zhang, Xiaoping Li, Chao Sun, Yanming Liu, Gao Han

IEEE Access, 2020