Bingzhe Liu

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 8

Top Topics

Semantic Matching

Video Annotation

High Availability

Fingerprint Verification

Top Venues

FlexNets@SIGCOMM

Publications

Bingzhe Liu, Gangmuk Lim, Ryan Beckett, Philip Brighten Godfrey
Kivi: Verification for Cluster Management. USENIX ATC (2024)
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
CAPA: An Architecture For Operating Cluster Networks With High Availability. NSDI (2024)
Bingzhe Liu, Gangmuk Lim, Ryan Beckett, Philip Brighten Godfrey
Kivi: Verification for Cluster Management. CoRR (2023)
Bingzhe Liu, Kuan-Yen Chou, Pramod Jamkhedkar, Bilal Anwer, Rakesh K. Sinha, Kostas N. Oikonomou, Matthew Caesar, Brighten Godfrey
Practical Automation for Management Planes of Service Provider Infrastructure. FlexNets@SIGCOMM (2021)
Bingzhe Liu, Ali Kheradmand, Matthew Caesar, Philip Brighten Godfrey
Towards Verified Self-Driving Infrastructure. HotNets (2020)
Wenxuan Zhou, Jason Croft, Bingzhe Liu, Elaine Ang, Matthew Caesar
Automatically Correcting Networks with NEAt. NSDI (2018)
Wenxuan Zhou, Jason Croft, Bingzhe Liu, Matthew Caesar
NEAt: Network Error Auto-Correct. SOSR (2017)
Gang Wang, Bolun Wang, Tianyi Wang, Ana Nika, Bingzhe Liu, Haitao Zheng, Ben Y. Zhao
Attacks and Defenses in Crowdsourced Mapping Services. CoRR (2015)