@inproceedings {291271,
	author = {Zhuo Zhang and Zhiqiang Lin and Marcelo Morales and Xiangyu Zhang and Kaiyuan Zhang},
	title = {Your Exploit is Mine: Instantly Synthesizing Counterattack Smart Contract},
	booktitle = {32nd USENIX Security Symposium (USENIX Security 23)},
	year = {2023},
	isbn = {978-1-939133-37-3},
	address = {Anaheim, CA},
	pages = {1757--1774},
	url = {https://www.usenix.org/conference/usenixsecurity23/presentation/zhang-zhuo-exploit},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {264818,
	author = {Samantha Miller and Kaiyuan Zhang and Mengqi Chen and Ryan Jennings and Ang Chen and Danyang Zhuo and Thomas Anderson},
	title = {High Velocity Kernel File Systems with Bento},
	booktitle = {19th USENIX Conference on File and Storage Technologies (FAST 21)},
	year = {2021},
	isbn = {978-1-939133-20-5},
	pages = {65--79},
	url = {https://www.usenix.org/conference/fast21/presentation/miller},
	publisher = {USENIX Association},
	month = feb
}
@inproceedings {246368,
	author = {Kaiyuan Zhang and Danyang Zhuo and Aditya Akella and Arvind Krishnamurthy and Xi Wang},
	title = {Automated Verification of Customizable Middlebox Properties with Gravel },
	booktitle = {17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)},
	year = {2020},
	isbn = {978-1-939133-13-7},
	address = {Santa Clara, CA},
	pages = {221--239},
	url = {https://www.usenix.org/conference/nsdi20/presentation/zhang-kaiyuan},
	publisher = {USENIX Association},
	month = feb
}
@inproceedings {227669,
	author = {Danyang Zhuo and Kaiyuan Zhang and Yibo Zhu and Hongqiang Harry Liu and Matthew Rockett and Arvind Krishnamurthy and Thomas Anderson},
	title = {Slim: {OS} Kernel Support for a {Low-Overhead} Container Overlay Network},
	booktitle = {16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19)},
	year = {2019},
	isbn = {978-1-931971-49-2},
	address = {Boston, MA},
	pages = {331-344},
	url = {https://www.usenix.org/conference/nsdi19/presentation/zhuo},
	publisher = {USENIX Association},
	month = feb
}
@inproceedings {203342,
	author = {Eddie Yan and Kaiyuan Zhang and Xi Wang and Karin Strauss and Luis Ceze},
	title = {Customizing Progressive {JPEG} for Efficient Image Storage},
	booktitle = {9th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage 17)},
	year = {2017},
	address = {Santa Clara, CA},
	url = {https://www.usenix.org/conference/hotstorage17/program/presentation/yan},
	publisher = {USENIX Association},
	month = jul
}
