Kaiyuan Zhang - RankMe

13 papers A* 2A 3Misc 2Journal 3Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	SG-IOV: Socket-Granular I/O Virtualization for SmartNIC-Based Container Networks. ASPLOS (2) Chenxingyu Zhao, Hongtao Zhang, Jaehong Min, Shengkai Lin, Wei Zhang, Kaiyuan Zhang, Ming Liu, Arvind Krishnamurthy
2024	J	`jnl`	Laconic: Streamlined Load Balancers for SmartNICs. CoRR Tianyi Cui, Chenxingyu Zhao, Wei Zhang, Kaiyuan Zhang, Arvind Krishnamurthy
2021	A	`conf`	High Velocity Kernel File Systems with Bento. FAST Samantha Miller, Kaiyuan Zhang, Mengqi Chen, Ryan Jennings, Ang Chen, Danyang Zhuo, Thomas E. Anderson
2021	—	`conf`	Offloading load balancers onto SmartNICs. APSys Tianyi Cui, Wei Zhang, Kaiyuan Zhang, Arvind Krishnamurthy
2021	J	`jnl`	Rearchitecting In-Memory Object Stores for Low Latency. Proc. VLDB Endow. Danyang Zhuo, Kaiyuan Zhang, Zhuohan Li, Siyuan Zhuang, Stephanie Wang, Ang Chen, Ion Stoica
2020	Misc	`conf`	Automated Verification of Customizable Middlebox Properties with Gravel. NSDI Kaiyuan Zhang, Danyang Zhuo, Aditya Akella, Arvind Krishnamurthy, Xi Wang
2020	A*	`conf`	Gallium: Automated Software Middlebox Offloading to Programmable Switches. SIGCOMM Kaiyuan Zhang, Danyang Zhuo, Arvind Krishnamurthy
2020	J	`jnl`	High Velocity Kernel File Systems with Bento. CoRR Samantha Miller, Kaiyuan Zhang, Danyang Zhuo, Tom Anderson
2019	A	`conf`	Practical Safe Linux Kernel Extensibility. HotOS Samantha Miller, Kaiyuan Zhang, Danyang Zhuo, Shibin Xu, Arvind Krishnamurthy, Thomas E. Anderson
2019	Misc	`conf`	Slim: OS Kernel Support for a Low-Overhead Container Overlay Network. NSDI Danyang Zhuo, Kaiyuan Zhang, Yibo Zhu, Hongqiang Harry Liu, Matthew Rockett, Arvind Krishnamurthy, Thomas E. Anderson
2017	A	`conf`	An Empirical Study on the Correctness of Formally Verified Distributed Systems. EuroSys Pedro Fonseca, Kaiyuan Zhang, Xi Wang, Arvind Krishnamurthy
2017	—	`conf`	Customizing Progressive JPEG for Efficient Image Storage. HotStorage Eddie Q. Yan, Kaiyuan Zhang, Xi Wang, Karin Strauss, Luis Ceze
2017	A*	`conf`	Hyperkernel: Push-Button Verification of an OS Kernel. SOSP Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang