2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.DC2023
Kivi: Verification for Cluster Management
Bingzhe Liu, Gangmuk Lim, Ryan Beckett +1
Modern cloud infrastructure is powered by cluster management systems such as Kubernetes and Docker Swarm. While these systems seek to minimize users' operational burden, the comple…
cs.NI2022★ 2 cited
FP4: Line-rate Greybox Fuzz Testing for P4 Switches
Nofel Yaseen, Liangcheng Yu, Caleb Stanford +2
Compared to fixed-function switches, the flexibility of programmable switches comes at a cost, as programmer mistakes frequently result in subtle bugs in the network data plane. In…