@inproceedings {295575,
	author = {Chenyang Zhao and Yuebin Guo and Jingyu Wang and Qi Qi and Zirui Zhuang and Haifeng Sun and Lingqi Guo and Yuming Xie and Jianxin Liao},
	title = {{EPVerifier}: Accelerating Update Storms Verification with {Edge-Predicate}},
	booktitle = {21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24)},
	year = {2024},
	isbn = {978-1-939133-39-7},
	address = {Santa Clara, CA},
	pages = {979--992},
	url = {https://www.usenix.org/conference/nsdi24/presentation/zhao},
	publisher = {USENIX Association},
	month = apr
}
