姓名:王之梁
教育背景
工学学士 (计算机科学与技术), 清华大学, 中国, 2001;
工学博士 (计算机科学与技术), 清华大学, 中国, 2006.
研究领域
网络空间态势感知
网络测量测绘
网络验证与测试
网络安全
奖励与荣誉
基于形式化方法的互联网协议测试关键技术及其应用,2016年度中国电子学会科学技术奖技术发明类,一等奖
下一代互联网4over6过渡技术及其应用,2012年度中国通信学会科学技术奖,一等奖
论文"Detecting Prefix Hijackings in the Internet with Argus"获ACM IMC 2012 Community Contribution Award
学术成果
[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.