Bingchuan Tian

---

Project maintained by bctian Hosted on GitHub Pages — Theme by mattgraham

PhD in Computer Science
Senior Engineer (Network Researcher) @ Alibaba Group
Email: bingchuantian(a)gmail.com

Biography

1. Senior Engineer (July, 2021 - Now)
   • Alibaba Group
2. Research Intern (June, 2018 - June, 2021)
   • Alibaba Group
   • Mentor: Ennan Zhai & Hongqiang Harry Liu
3. PhD in Computer Science and Technology (September, 2016 - June, 2021)
   • Department of Computer Science and Technology, Nanjing University, China
   • Advisor: Chen Tian
4. BEng in Computer Science and Technology (September, 2012 - June, 2016)
   • Department of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, China

Research Interests

1. Programmable networks
2. Network verification
3. Intent-based networking

Selected Publications

1. [SIGCOMM’21] Bingchuan Tian, Jiaqi Gao, Mengqi Liu, Ennan Zhai, Yanqing Chen, Yu Zhou, Li Dai, Feng Yan, Mengjing Ma, Ming Tang, Jie Lu, Xionglie Wei, Hongqiang Harry Liu, Ming Zhang, Chen Tian, Minlan Yu. “Aquila: A Practical Usable Verification System for Production-Scale Programmable Data Planes.” (to appear)
2. [SIGCOMM’20] Jiaqi Gao, Ennan Zhai, Hongqiang Harry Liu, Rui Miao, Yu Zhou, Bingchuan Tian, Chen Sun, Dennis Cai, Ming Zhang, Minlan Yu. “Lyra: A Cross-Platform Language and Compiler for Data Plane Programming on Heterogeneous ASICs.” Proceedings of ACM Special Interest Group on Data Communication (SIGCOMM’20), New York City, USA, August 10-14, 2020.
3. [SIGCOMM’20] Fangdan Ye, Da Yu, Ennan Zhai, Hongqiang Harry Liu, Bingchuan Tian, Qiaobo Ye, Chunsheng Wang, Xin Wu, Tianchen Guo, Cheng Jin, Dunsheng She, Qing Ma, Biao Cheng, Hui Xu, Ming Zhang, Zhiliang Wang, Rodrigo Fonseca. “Accuracy, Scalability, Coverage – A Practical Configuration Verifier on a Global WAN.” Proceedings of ACM Special Interest Group on Data Communication (SIGCOMM’20), New York City, USA, August 10-14, 2020.
4. [NSDI’20] Ennan Zhai, Ang Chen, Ruzica Piskac, Mahesh Balakrishnan, Bingchuan Tian, Bo Song, Haoliang Zhang. “Check before You Change: Preventing Correlated Failures in Service Updates.” Proceedings of USENIX Symposium on Networked Systems Design and Implementation (NSDI’20), Santa Clara, CA, USA, February 25-27, 2020.
5. [SIGCOMM’19] Bingchuan Tian, Xinyi Zhang, Ennan Zhai, Hongqiang Harry Liu, Qiaobo Ye, Chunsheng Wang, Xin Wu, Zhiming Ji, Yihong Sang, Ming Zhang, Da Yu, Chen Tian, Haitao Zheng, Ben Y. Zhao. “Safely and Automatically Updating In-Network ACL Configurations with Intent Language.” Proceedings of ACM Special Interest Group on Data Communication (SIGCOMM’19), Beijing, China, August 19-24, 2019.

See Google Scholar for full publications.

Selected Awards

1. Person of the Year in Nanjing University, 2019.
   ★ 10 distinguished students in Nanjing University, including undergraduates, graduates, and PhD students
2. Nomination Award of MSRA Fellowship, 2019.
   ★ top 25 Asia-Pacific PhD students in computer science
3. National Scholarship for PhD students, 2019.
4. Principal’s Special Scholarship in Nanjing University, 2016.
5. National Scholarship for undergraduate students, 2013.

Last Updated

July 5, 2021.