An Empirical Study on the Correctness of Formally Verified Distributed Systems. - Pedro Fonseca 001; Kaiyuan Zhang 001; Xi Wang 005; Arvind Krishnamurthy (EuroSys, 2017)

Customizing Progressive JPEG for Efficient Image Storage. - Eddie Q. Yan; Kaiyuan Zhang 001; Xi Wang 005; Karin Strauss; Luis Ceze (HotStorage, 2017)

Hyperkernel: Push-Button Verification of an OS Kernel. - Luke Nelson; Helgi Sigurbjarnarson; Kaiyuan Zhang 001; Dylan Johnson; James Bornholt; Emina Torlak; Xi Wang 005 (SOSP, 2017)

Practical Safe Linux Kernel Extensibility. - Samantha Miller; Kaiyuan Zhang 001; Danyang Zhuo; Shibin Xu; Arvind Krishnamurthy; Thomas E. Anderson (HotOS, 2019)

Slim: OS Kernel Support for a Low-Overhead Container Overlay Network. - Danyang Zhuo; Kaiyuan Zhang 001; Yibo Zhu; Hongqiang Harry Liu; Matthew Rockett; Arvind Krishnamurthy; Thomas E. Anderson (NSDI, 2019)

Automated Verification of Customizable Middlebox Properties with Gravel. - Kaiyuan Zhang 001; Danyang Zhuo; Aditya Akella; Arvind Krishnamurthy; Xi Wang 005 (NSDI, 2020)

Gallium: Automated Software Middlebox Offloading to Programmable Switches. - Kaiyuan Zhang 001; Danyang Zhuo; Arvind Krishnamurthy (SIGCOMM, 2020)

High Velocity Kernel File Systems with Bento. - Samantha Miller; Kaiyuan Zhang 001; Danyang Zhuo; Tom Anderson 003 (CoRR, 2020)

Offloading load balancers onto SmartNICs. - Tianyi Cui; Wei Zhang; Kaiyuan Zhang 001; Arvind Krishnamurthy (APSys, 2021)

High Velocity Kernel File Systems with Bento. - Samantha Miller; Kaiyuan Zhang 001; Mengqi Chen; Ryan Jennings; Ang Chen 001; Danyang Zhuo; Thomas E. Anderson (FAST, 2021)

Rearchitecting In-Memory Object Stores for Low Latency. - Danyang Zhuo; Kaiyuan Zhang 001; Zhuohan Li 001; Siyuan Zhuang; Stephanie Wang; Ang Chen 001; Ion Stoica (Proc. VLDB Endow., 2021)

Laconic: Streamlined Load Balancers for SmartNICs. - Tianyi Cui; Chenxingyu Zhao; Wei Zhang; Kaiyuan Zhang 001; Arvind Krishnamurthy (CoRR, 2024)