王之梁 - 清华大学 - 计算机科学与技术系

个人简介

教育背景工学学士 (计算机科学与技术), 清华大学, 中国, 2001 工学博士 (计算机科学与技术), 清华大学, 中国, 2006 奖励与荣誉基于形式化方法的互联网协议测试关键技术及其应用，2016年度中国电子学会科学技术奖技术发明类，一等奖下一代互联网4over6过渡技术及其应用，2012年度中国通信学会科学技术奖，一等奖面向云计算和互联网业务的IPv6商用部署技术研发及大规模应用，2019年度中国通信学会科学技术奖二等奖支持IPv6源地址验证的交换机关键技术， 2010年度中国通信学会科学技术奖，二等奖论文"Detecting Prefix Hijackings in the Internet with Argus"获ACM IMC 2012 Community Contribution Award

研究领域

网络空间态势感知网络测量测绘网络验证与测试网络安全

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

Wenqi Chen, Zhiliang Wang*, Dongqi Han, Chenxin Duan, Xia Yin, Jiahai Yang, Xingang Shi*, Han Zhang. ROV-MI: Large-Scale, Accurate and Efficient Measurement of ROV Deployment. NDSS 2022. Guanglei Song, Jiahai Yang, Zhiliang Wang, Lin He, Jinlei Lin, Long Pan, Chenxin Duan, Xiaowen Quan. DET: Enabling Efficient Probing of IPv6 Active Addresses. IEEE/ACM Transactions on Networking. 2022. Dongqi Han, Zhiliang Wang*, Wenqi Chen, Ying Zhong, Su Wang, Han Zhang, Jiahai Yang, Xingang Shi, Xia Yin. DeepAID: Interpreting and Improving Deep Learning-based Anomaly Detection in Security Applications. ACM Conference on Computer and Communications Security (CCS 2021). Dongqi Han, Zhiliang Wang*, Ying Zhong, Wenqi Chen, Jiahai Yang, Shuqiang Lu, Xingang Shi, and Xia Yin. Evaluating and Improving Adversarial Robustness of Machine Learning-Based Network Intrusion Detectors. IEEE Journal on Selected Areas in Communications. 2021, 39(8): 2632-2647. Han Zhang, Xingang Shi, Xia Yin, Jilong Wang, Zhiliang Wang, Yingya Guo, Tian Lan. Boosting Bandwidth Availability Over Inter-DC WAN. International Conference on emerging Networking EXperiments and Technologies (CoNEXT 2021). Virtual. December 7–10, 2021. Fangdan Ye, Da Yu, Ennan Zhai, Hongqiang Harry Liu, Bingchuan Tian, Qiaobo Ye, Chunsheng Wang, Xin Wu, Tianchen Guo, Cheng Jin, Duncheng She, Qing Ma, Biao Cheng, Hui Xu, Ming Zhang*, Zhiliang Wang*, Rodrigo Fonseca. Accuracy, Scalability, Coverage – A Practical Configuration Verifier on a Global WAN. Sigcomm 2020. August 10-14, 2020. 599-614. Ying Tian, Zhiliang Wang*, Xia Yin, Xingang Shi, Yingya Guo, Haijun Geng, Jiahai Yang. Traffic Engineering in Partially Deployed Segment Routing over IPv6 Network with Deep Reinforcement Learning. IEEE/ACM Transactions on Networking. 2020, 28(4): 1573-1586. Zitong Jin, Xingang Shi*, Yan Yang, Xia Yin, Zhiliang Wang*, Jianping Wu. TopoScope: Recover AS Relationships From Fragmentary Observations. ACM Internet Measurement Conference (IMC 2020). October 27–29, 2020, Virtual Event. 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. 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. 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. 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 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. 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. 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.