Bingzhe Liu

Bingzhe Liu (刘炳哲)

Contact

Email: bingzhe [at] illinois [dot] edu
Check out my Curriculum Vitae here.

I am a PhD candidate in the Department of Computer Science at University of Illinois Urbana-Champaign, advised by Professor Brighten Godfrey. I am interested in enhancing the reliability and performance of networked system via automated reasoning, including verification, synthesis and software analysis. Going forward, I am also interested in improving the reliability of AI/LLM-enabled software development via practical formal methods.

I grew up in Jinan, a beautiful city on the east of China. In my spare time, I like playing board games and cooking.

Education

Aug. 2016 - May. 2024	Ph. D. student, Computer Science University of Illinois Urbana-Champaign, Illinois
Sept. 2010 - Jun. 2014	B. E., Computer Science Huazhong University of Science & Technology (HUST), Wuhan, China

Publication

Kivi: Verification for Cluster Management
Bingzhe Liu, Gangmuk Lim, Ryan Beckett, P. Brighten Godfrey.
To appear in the USENIX Annual Technical Conference (ATC'24), 2024
CAPA: An Architecture For Operating Cluster Networks With High Availability
Bingzhe Liu, Colin Scott, Mukarram Tariq, Andrew Ferguson, Phillipa Gill, Richard Alimi, Omid Alipourfard, Deepak Arulkannan, Virginia Jean Beauregard, Patrick Conner, Brighten Godfrey, Xander Lin, Joon Ong, Mayur Patel, Amr Sabaa, Arjun Singh, Alex Smirnov, Manish Verma, Prerepa V Viswanadham, Amin Vahdat.
In the Symposium on Networked Systems Design and Implementation (NSDI'24), 2024.
Practical Automation for Management Planes of Service Provider Infrastructure.
Bingzhe Liu, Kuan-Yen Chou, Pramod Jamkhedkar, Bilal Anwer, Rakesh K. Sinha, Kostas N. Oikonomou, Matthew Caesar, Brighten Godfrey.
In ACM SIGCOMM FlexNets Workshop, August 2021.
Towards Verified Self-Driving Infrastructure.
Bingzhe Liu*, Ali Kheradmand*, Matthew Caesar, Brighten Godfrey. (*co-first author)
In the Nineteenth ACM Workshop on Hot Topics in Networks (HotNets'20), 2020.
Automatically Correcting Networks with NEAt.
Wenxuan Zhou, Jason Croft, Bingzhe Liu, Elaine Ang and Matthew Caesar.
In the Symposium on Networked Systems Design and Implementation (NSDI'18), 2018.
NEAt: Network Error Auto-Correct.
Wenxuan Zhou, Jason Croft, Bingzhe Liu, and Matthew Caesar.
In the Symposium on SDN Research (SOSR '17), Santa Clara, California, USA, April 2017.

Professional Experience

Sept. 2021 - Apr. 2022	Google, Remote Research Intern, NetInfra Team, Hosted by Dr. Colin Scott
May 2021 - July 2019	AT&T Research Lab, Bedminster, NJ Research Intern, Hosted by Dr. Pramod Jamkhedkar
May. 2018 - Aug. 2018	Microsoft Research, Redmond, WA Research Intern, Hosted by Dr. Yongguang Zhang
May. 2017 - Aug. 2017	Google, Sunnyvale, CA Intern, Cloud Network Engineering Productivity Team, Hosted by Dr. Pan Shi
Aug. 2013 - May 2014	Microsoft Research Asia, Beijing, China Research Intern, Systems Research Group, Advised by Dr. Ming Wu

Teaching

2015 Winter and Spring	CS16: Problem Solving with Computers I, UCSB
2018 Fall	CS436: Systems and Networking Laboratory, UIUC
2019 Spring	CS538: Advanced Networked System, UIUC
2020 Fall	CS498CNO: Cloud Networking, UIUC

Awards

2014	Excellent Graduate, Huazhong University of Science & Technology
2013	National Scholarship, Ministry of Education of P. R. China (for ranking 1/310 in my junior year)
2013	Bronze Medal, ACM-International Collegiate Programming Contest, Asia Regional