EDBT 2026 Demo / reviewers in the wild / expert
Bingzhe Liu
dblp:167/4151
· DBLP profile ↗
5ranked-venue papers
3as first author
3since 2021 · last 2026
—ORCID · unresolved
Domains — the database's venue-derived domains; a paper can count in several
Computer networks · 4 · 2 first-author · 2 since 2021Systems, architecture and hardware · 1 · 1 first-author · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer networks
2 papers |
Network management and operations · 65% Datacenter networks · 35% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Cloud and datacenter computing · 100% | |
| Software engineering, system software, and programming languages
1 paper |
Program verification · 100% |
Topics — the 5 heaviest of 7, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Cloud and datacenter computing › cluster resource management and scheduling
cluster resource management |
0.8 | 1 | 2024 | Kivi: Verification for Cluster Management · USENIX ATC 2024 |
Network management and operations
network configuration |
0.3 | 1 | 2018 | Automatically Correcting Networks with NEAt · NSDI 2018 |
Network management and operations
network verification |
0.3 | 1 | 2018 | Automatically Correcting Networks with NEAt · NSDI 2018 |
Program verification
configuration verification |
0.2 | 1 | 2024 | Kivi: Verification for Cluster Management · USENIX ATC 2024 |
Program verification
system verification |
0.2 | 1 | 2024 | Kivi: Verification for Cluster Management · USENIX ATC 2024 |
Methods — techniques the papers use, named apart from their topics
model checking · 1.5formal verification · 1.5network architecture design · 0.8network analysis · 0.3
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Connecting 100K+ GPUs: Building the Communication Stack for Large-Scale LLM TrainingabstractThe arrival of 100K+ GPU clusters marks a new frontier in AI infrastructure. Standard communication stack meets new challenges as physical topologies span multiple datacenter buildings, introducing high bandwidth-delay product links where latency increases by up to 30× compared to intra-rack traffic. Furthermore, the transition toward Mixture-of-Experts architectures generating bursty all-to-all patterns that create transient congestion hotspots. These constraints, combined with an operational environment where hardware failures shift from anomalies to frequent occurrences, renders traditionally lightweight operations like initialization and resource management challenging. Hongyi Zeng, Min Si, Pavan Balaji, Yongzhou Chen, Ching-Hsiang Chu, Adithya Gangidi, Prashanth Kannan, Bingzhe Liu, Saif Hasan, Deep Shah, Ashmitha Jeevaraj Shetty, Gregory R. Steinbrecher, Srikanth Sundaresan, Yulun Wang, Yexin Wu, Mingran Yang, Kenny Yu, Minlan Yu, Cen Zhao, Shengbao Zheng, Wesley Bland, Denis Boyda, Suman Gumudavelli, Subodh Iyengar, Cristian Lumezanu, Rui Miao 0001, Venkat Ramesh, Jingliang Ren, Maxim Samoylov, Jan Seidel, Qiye Tan, Xinfeng Xie, Yimeng Zhao, Shuqiang Zhang, Art Zhu |
SIGCOMM | 8 |
| 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, Brighten Godfrey, Xander Lin, Joon Ong, Mayur Patel, Amr Sabaa, Alex Smirnov, Manish Verma, Prerepa V. Viswanadham, Amin Vahdat |
NSDI | 1 |
| 2024 | Kivi: Verification for Cluster Management
Bingzhe Liu, Gangmuk Lim, Ryan Beckett, Brighten Godfrey |
USENIX ATC | 1 |
| 2020 | Towards Verified Self-Driving InfrastructureabstractModern "self-driving'' service infrastructures consist of a diverse collection of distributed control components providing a broad spectrum of application- and network-centric functions. The complex and non-deterministic nature of these interactions leads to failures, ranging from subtle gray failures to catastrophic service outages, that are difficult to anticipate and repair. Bingzhe Liu, Ali Kheradmand, Matthew Caesar 0001, Brighten Godfrey |
HotNets | 1 |
| 2018 | Automatically Correcting Networks with NEAt
Wenxuan Zhou 0003, Jason Croft, Bingzhe Liu, Elaine Ang, Matthew Caesar 0001 |
NSDI | 3 |