Attacks and Defenses in Crowdsourced Mapping Services. - Gang Wang 011; Bolun Wang; Tianyi Wang 001; Ana Nika; Bingzhe Liu; Haitao Zheng 001; Ben Y. Zhao (CoRR, 2015)

NEAt: Network Error Auto-Correct. - Wenxuan Zhou; Jason Croft; Bingzhe Liu; Matthew Caesar 001 (SOSR, 2017)

Automatically Correcting Networks with NEAt. - Wenxuan Zhou; Jason Croft; Bingzhe Liu; Elaine Ang; Matthew Caesar 001 (NSDI, 2018)

Towards Verified Self-Driving Infrastructure. - Bingzhe Liu; Ali Kheradmand; Matthew Caesar 001; Philip Brighten Godfrey (HotNets, 2020)

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 001; Brighten Godfrey (FlexNets@SIGCOMM, 2021)

CAPA: An Architecture For Operating Cluster Networks With High Availability. - Bingzhe Liu; Colin Scott; Mukarram Tariq; Andrew D. Ferguson; Phillipa Gill; Richard Alimi; Omid Alipourfard; Deepak Arulkannan; Virginia Beauregard; Patrick Conner; Philip Brighten Godfrey; Xander Lin; et al. (NSDI, 2024)

Kivi: Verification for Cluster Management. - Bingzhe Liu; Gangmuk Lim; Ryan Beckett; Philip Brighten Godfrey (USENIX ATC, 2024)

Collective Communication for 100k+ GPUs. - Min Si; Pavan Balaji; Yongzhou Chen; Ching-Hsiang Chu; Adi Gangidi; Saif Hasan; Subodh Iyengar; Dan Johnson; Bingzhe Liu; Regina Ren; Ashmitha Jeevaraj Shetty; Greg Steinbrecher; et al. (CoRR, 2025)