| NUMA-aware graph-structured analytics K Zhang, R Chen, H Chen Proceedings of the 20th ACM SIGPLAN symposium on principles and practice of …, 2015 | 269 | 2015 |
| 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 | 141 | 2017 |
| 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 | 95 | 2017 |
| 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 | 80 | 2019 |
| 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 | 60 | 2014 |
| 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 | 59 | 2020 |
| 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 | 26 | 2021 |
| 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 | 26 | 2020 |
| 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 | 18 | 2021 |
| 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 | 18 | 2017 |
| 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 | 17 | 2017 |
| 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 | 6 | 2019 |
| 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 | 2 | 2021 |
| Laconic: Streamlined Load Balancers for SmartNICs T Cui, C Zhao, W Zhang, K Zhang, A Krishnamurthy arXiv preprint arXiv:2403.11411, 2024 | 1 | 2024 |
| 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 | | |
