Kaiyuan Zhang

According to our database, Kaiyuan Zhang authored at least 11 papers between 2017 and 2021.

Collaborative distances:

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

2021

Rearchitecting In-Memory Object Stores for Low Latency.

Danyang Zhuo, Kaiyuan Zhang, Zhuohan Li, Siyuan Zhuang, Stephanie Wang, Ang Chen, Ion Stoica

Proc. VLDB Endow., 2021

High Velocity Kernel File Systems with Bento.

Samantha Miller, Kaiyuan Zhang, Mengqi Chen, Ryan Jennings, Ang Chen, Danyang Zhuo, Thomas E. Anderson

Proceedings of the 19th USENIX Conference on File and Storage Technologies, 2021

Offloading load balancers onto SmartNICs.

Tianyi Cui, Wei Zhang, Kaiyuan Zhang, Arvind Krishnamurthy

Proceedings of the APSys '21: 12th ACM SIGOPS Asia-Pacific Workshop on Systems, 2021

2020

High Velocity Kernel File Systems with Bento.

Samantha Miller, Kaiyuan Zhang, Danyang Zhuo, Tom Anderson

CoRR, 2020

Gallium: Automated Software Middlebox Offloading to Programmable Switches.

Kaiyuan Zhang, Danyang Zhuo, Arvind Krishnamurthy

Proceedings of the SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications, 2020

Automated Verification of Customizable Middlebox Properties with Gravel.

Kaiyuan Zhang, Danyang Zhuo, Aditya Akella, Arvind Krishnamurthy, Xi Wang

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

2019

Slim: OS Kernel Support for a Low-Overhead Container Overlay Network.

Danyang Zhuo, Kaiyuan Zhang, Yibo Zhu, Hongqiang Harry Liu, Matthew Rockett, Arvind Krishnamurthy, Thomas E. Anderson

Proceedings of the 16th USENIX Symposium on Networked Systems Design and Implementation, 2019

Practical Safe Linux Kernel Extensibility.

Samantha Miller, Kaiyuan Zhang, Danyang Zhuo, Shibin Xu, Arvind Krishnamurthy, Thomas E. Anderson

Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

2017

Hyperkernel: Push-Button Verification of an OS Kernel.

Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Customizing Progressive JPEG for Efficient Image Storage.

Eddie Q. Yan, Kaiyuan Zhang, Xi Wang, Karin Strauss, Luis Ceze

Proceedings of the 9th USENIX Workshop on Hot Topics in Storage and File Systems, 2017

An Empirical Study on the Correctness of Formally Verified Distributed Systems.

Pedro Fonseca, Kaiyuan Zhang, Xi Wang, Arvind Krishnamurthy

Proceedings of the Twelfth European Conference on Computer Systems, 2017