@inproceedings {288554,
	author = {Haoran Ding and Zhaoguo Wang and Zhuohao Shen and Rong Chen and Haibo Chen},
	title = {Automated Verification of Idempotence for Stateful Serverless Applications},
	booktitle = {17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23)},
	year = {2023},
	isbn = {978-1-939133-34-2},
	address = {Boston, MA},
	pages = {887--910},
	url = {https://www.usenix.org/conference/osdi23/presentation/ding},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {273747,
	author = {Jiachen Wang and Ding Ding and Huan Wang and Conrad Christensen and Zhaoguo Wang and Haibo Chen and Jinyang Li},
	title = {Polyjuice: {High-Performance} Transactions via Learned Concurrency Control},
	booktitle = {15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21)},
	year = {2021},
	isbn = {978-1-939133-22-9},
	pages = {198--216},
	url = {https://www.usenix.org/conference/osdi21/presentation/wang-jiachen},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {262028,
	author = {Xingda Wei and Rong Chen and Haibo Chen and Zhaoguo Wang and Zhenhan Gong and Binyu Zang},
	title = {Unifying Timestamp with Transaction Ordering for {MVCC} with Decentralized Scalar Timestamp},
	booktitle = {18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21)},
	year = {2021},
	isbn = {978-1-939133-21-2},
	pages = {357--372},
	url = {https://www.usenix.org/conference/nsdi21/presentation/wei},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {234896,
	author = {Jinyu Gu and Qianqian Yu and Xiayang Wang and Zhaoguo Wang and Binyu Zang and Haibing Guan and Haibo Chen},
	title = {Pisces: A Scalable and Efficient Persistent Transactional Memory},
	booktitle = {2019 USENIX Annual Technical Conference (USENIX ATC 19)},
	year = {2019},
	isbn = {978-1-939133-03-8},
	address = {Renton, WA},
	pages = {913--928},
	url = {http://www.usenix.org/conference/atc19/presentation/gu},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {190492,
	author = {Chien-Chin Huang and Qi Chen and Zhaoguo Wang and Russell Power and Jorge Ortiz and Jinyang Li and Zhen Xiao},
	title = {Spartan: A Distributed Array Framework with Smart Tiling},
	booktitle = {2015 USENIX Annual Technical Conference (USENIX ATC 15)},
	year = {2015},
	isbn = {978-1-931971-225},
	address = {Santa Clara, CA},
	pages = {1--15},
	url = {https://www.usenix.org/conference/atc15/technical-session/presentation/huang-chien-chin},
	publisher = {USENIX Association},
	month = jul
}
