Follow
Kaiyuan Zhang
Kaiyuan Zhang
Verified email at cs.washington.edu
Title
Cited by
Cited by
Year
NUMA-aware graph-structured analytics
K Zhang, R Chen, H Chen
Proceedings of the 20th ACM SIGPLAN symposium on principles and practice of …, 2015
2692015
Hyperkernel: Push-button verification of an OS kernel
L Nelson, H Sigurbjarnarson, K Zhang, D Johnson, J Bornholt, E Torlak, ...
Proceedings of the 26th Symposium on Operating Systems Principles, 252-269, 2017
1402017
An empirical study on the correctness of formally verified distributed systems
P Fonseca, K Zhang, X Wang, A Krishnamurthy
Proceedings of the Twelfth European Conference on Computer Systems, 328-343, 2017
952017
Slim:{OS} Kernel Support for a {Low-Overhead} Container Overlay Network
D Zhuo, K Zhang, Y Zhu, HH Liu, M Rockett, A Krishnamurthy, T Anderson
16th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2019
802019
Replication-based fault-tolerance for large-scale graph processing
P Wang, K Zhang, R Chen, H Chen, H Guan
2014 44th Annual IEEE/IFIP International Conference on Dependable Systems …, 2014
602014
Gallium: Automated software middlebox offloading to programmable switches
K Zhang, D Zhuo, A Krishnamurthy
Proceedings of the Annual conference of the ACM Special Interest Group on …, 2020
592020
High velocity kernel file systems with bento
S Miller, K Zhang, M Chen, R Jennings, A Chen, D Zhuo, T Anderson
19th USENIX Conference on File and Storage Technologies (FAST 21), 65-79, 2021
262021
Automated verification of customizable middlebox properties with gravel
K Zhang, D Zhuo, A Akella, A Krishnamurthy, X Wang
17th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2020
262020
Offloading load balancers onto smartnics
T Cui, W Zhang, K Zhang, A Krishnamurthy
Proceedings of the 12th ACM SIGOPS Asia-Pacific Workshop on Systems, 56-62, 2021
202021
Customizing progressive {JPEG} for efficient image storage
E Yan, K Zhang, X Wang, K Strauss, L Ceze
9th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage 17), 2017
182017
Replication-based fault-tolerance for large-scale graph processing
R Chen, Y Yao, P Wang, K Zhang, Z Wang, H Guan, B Zang, H Chen
IEEE Transactions on Parallel and Distributed Systems 29 (7), 1621-1635, 2017
172017
Practical safe linux kernel extensibility
S Miller, K Zhang, D Zhuo, S Xu, A Krishnamurthy, T Anderson
Proceedings of the Workshop on Hot Topics in Operating Systems, 170-176, 2019
62019
Rearchitecting in-memory object stores for low latency
D Zhuo, K Zhang, Z Li, S Zhuang, S Wang, A Chen, I Stoica
Proceedings of the VLDB Endowment, 555-568, 2021
32021
Laconic: Streamlined Load Balancers for SmartNICs
T Cui, C Zhao, W Zhang, K Zhang, A Krishnamurthy
arXiv preprint arXiv:2403.11411, 2024
12024
Automated Analysis for Correct and Efficient Execution of Software Middleboxes
K Zhang
University of Washington, 2021
2021
TaichiSort: Energy-efficient Sorting of 1TB with NVMe and Coffee Lake
M Liu, K Zhang, S Peter, A Krishnamurthy
Design and Verification of Software Middleboxes using Gravel
K Zhang, D Zhuo, A Akella, A Krishnamurthy, X Wang
The system can't perform the operation now. Try again later.
Articles 1–17