Bingzhe Liu

According to our database, Bingzhe Liu authored at least 7 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Kivi: Verification for Cluster Management.

Bingzhe Liu, Gangmuk Lim, Ryan Beckett, Philip Brighten Godfrey

Proceedings of the 2024 USENIX Annual Technical Conference, 2024

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, Joon Ong, Mayur Patel, Amr Sabaa, Arjun Singh, Alex Smirnov, Manish Verma, Prerepa V. Viswanadham, Amin Vahdat

Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

2021

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

Proceedings of the FlexNets '21: Proceedings of the 4th FlexNets Workshop on Flexible Networks Artificial Intelligence Supported Network Flexibility and Agility, 2021

2020

Towards Verified Self-Driving Infrastructure.

Bingzhe Liu, Ali Kheradmand, Matthew Caesar, Philip Brighten Godfrey

Proceedings of the HotNets '20: The 19th ACM Workshop on Hot Topics in Networks, 2020

2018

Automatically Correcting Networks with NEAt.

Wenxuan Zhou, Jason Croft, Bingzhe Liu, Elaine Ang, Matthew Caesar

Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

2017

NEAt: Network Error Auto-Correct.

Wenxuan Zhou, Jason Croft, Bingzhe Liu, Matthew Caesar

Proceedings of the Symposium on SDN Research, 2017

2015

Attacks and Defenses in Crowdsourced Mapping Services.

Gang Wang, Bolun Wang, Tianyi Wang, Ana Nika, Bingzhe Liu, Haitao Zheng, Ben Y. Zhao

CoRR, 2015