Education background

Bachelor of Computer Science, Tsinghua University, Beijing, China, 2001;

Ph.D. in Computer Science, Tsinghua University, Beijing, China, 2006.

Areas of Research Interests/ Research Projects

Internet architecture and protocols (especially Internet routing, SDN, etc.)

Network verification and testing

Network measurement and monitoring

Network security

Honors And Awards

Internet Protocol Formal Testing: Key Technologies and Applications. Science and Technology Award of Chinese Institute of Electronics, First Class, 2016.

Detecting Prefix Hijackings in the Internet with Argus. Community Contribution Award in ACM IMC 2012(ACM Internet Measurement Conference).

4over6 Transition technology for Next Generation Internet and its application. Science and Technology Award of China Institute of Communications, First Class, 2012.

Academic Achievement

[1] Zhiliang Wang, Han Zhang, Xingang Shi, Xia Yin, Yahui Li, Haijun Geng, Qianhong Wu, Jianwei Liu. Efficient Scheduling of Weighted Coflows in Data Centers. IEEE Transactions on Parallel and Distributed Systems. 2019, 30(9): 2003 - 2017.

[2] Han Zhang, Xingang Shi, Haijun Geng, Zhiliang Wang, Qianhong Wu, Jianwei Liu, Xia Yin. DA&FD – Deadline-Aware and Flow Duration-Based Rate Control for Mixed Flows in DCNs. IEEE/ACM Transactions on Networking. 2019, 27(6): 2458-2471.

[3] Ying Zhong, Wenqi Chen, Zhiliang Wang, Yifan Chen, Kai Wang, Yahui Li, Xia Yin, Xingang Shi, Jiahai Yang, and Keqin Li. HELAD: A Novel Network Anomaly Detection Model Based on Heterogeneous Ensemble Learning. Computer Networks. Published Online.

[4] Yahui Li, Xia Yin, Zhiliang Wang, Jiangyuan Yao, Xingang Shi, Jianping Wu, Han Zhang, and Qing Wang. A Survey on Network Verification and Testing with Formal Methods: Approaches and Challenges. IEEE Communications Surveys & Tutorials. 2019, 21(1): 940-969. First Quarter, 2019.

[5] Wenlong Chen, Heyang Chen, Zhiliang Wang, Chengan Zhao, Mingwei Xu, Ke Xu, Yingya Guo. Congestion Avoidance Transmission Mechanism Based on Two-Dimensional Forwarding. Future Generation Computer System. 2020, 102: 1-13.

[6] Yingya Guo, Zhiliang Wang, Zhifeng Liu, Xia Yin, Xingang Shi, Jianping Wu, Yang Xu, H. Jonathan Chao. SOTE: Traffic Engineering in Hybrid Software Defined Networks. Computer Networks. 2019, 154: 60-72.

[7] Yingya Guo, Zhiliang Wang, Han Zhang, Xia Yin, Xingang Shi, Jianping Wu. Joint Optimization of Tasks Placement and Routing to Minimize Coflow Completion Time. Journal of Network and Computer Applications. 2019, 135: 47–61.

[8] Yahui Li, Zhiliang Wang, Jiangyuan Yao, Xia Yin, Xingang Shi, and Jianping Wu. MSAID: Automated Detection of Interference in Multiple SDN Applications. Computer Networks. 2019, 153: 49–62.

[9] Yan Yang, Xia Yin, Xingang Shi, Zhiliang Wang, Jiong He, Tom Z. J. Fu, Marianne Winslett. Inter-domain Routing Bottlenecks and Their Aggravation. Computer Networks. 2019, 162: 1-14.

[10] Zongyi Zhao, Xingang Shi, Xia Yin, Zhiliang Wang, Qing Li. HashFlow for Better Flow Record Collection. 39th IEEE International Conference on Distributed Computing Systems (ICDCS 2019). July 7th - 10th, Dallas, Texas, USA.

[11] Haijun Geng, Xingang Shi, Zhiliang Wang, Xia Yin. A hop-by-hop dynamic distributed multipath routing mechanism for link state network. Computer Communications. 116 (2018) 225–239.

[12] Yingya Guo, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu. Traffic Engineering in Hybrid SDN Networks with Multiple Traffic Matrices. Computer Networks. 126 (2017) 187–199.

[13] Han Zhang, Xingang Shi, Xia Yin, Zhiliang Wang, Yingya Guo. FDRC - Flow Duration Time Based Rate Control in Data Center Networks. IWQoS 2016. Jun 21-22, 2016. Beijing, China. 1-10.

[14] Xia Yin, Jiangyuan Yao, Zhiliang Wang, Xingang Shi, Jun Bi, Jianping Wu. Modeling and Testing of Network Protocols with Parallel State Machines. IEICE Transactions on Information and Systems. Vol. E98-D, No. 12, December 2015, 2091-2104.

[15] Xia Yin, Dan Wu, Zhiliang Wang, Xingang Shi, Jianping Wu. DIMR: Disjoint Interdomain Multipath Routing, Computer Networks. 2015, 91: 356–375.

[16] Han Zhang, Xingang Shi, Xia Yin, Fengyuan Ren, Zhiliang Wang. More Load, More Differentiation - a Design Principle for Deadline-Aware Flow Control in DCNs. The 34th Annual IEEE International Conference on Computer Communications (INFOCOM 2015). April 26 - May 1, 2015. Hong Kong. 127-135

[17] Geng Tian, Zhiliang Wang, Xia Yin, Zimu Li, Xingang Shi, Ziyi Lu, Chao Zhou, Yang Yu, Yingya Guo. Mining Network Traffic Anomaly Based on Adjustable Piecewise Entropy. IWQoS 2015 (23rd IEEE/ACM International Symposium on Quality and Service). June 15-16, 2015. Portland, Oregon, USA. 299 – 308

[18] Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi,and Jianping Wu. Formal Modeling and Systematic Black-Box Testing of SDN Data Plane. 22nd IEEE International Conference on Network Protocols (ICNP 2014). October 21-24, 2014. The Research Triangle, North Carolina, USA. 179-190.

[19] Haijun Geng, Xingang Shi, Xia Yin, Zhiliang Wang. Dynamic Distributed Algorithm for Computing Multiple Next-Hops on a Tree. 21st IEEE International Conference on Network Protocols(ICNP 2013). October 2013, Gottingen, Germany. 1-10.

[20] Xingang Shi, Yang Xiang, Zhiliang Wang, Xia Yin, Jianping Wu. Detecting Prefix Hijackings in the Internet with Argus. In Proc. of ACM IMC 2012. November 14-16, 2012. Boston MA, USA. 15-28.