@inproceedings {280868,
	author = {Jianan Yao and Runzhou Tao and Ronghui Gu and Jason Nieh},
	title = {{DuoAI}: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols},
	booktitle = {16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)},
	year = {2022},
	isbn = {978-1-939133-28-1},
	address = {Carlsbad, CA},
	pages = {485--501},
	url = {https://www.usenix.org/conference/osdi22/presentation/yao},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {273755,
	author = {Jianan Yao and Runzhou Tao and Ronghui Gu and Jason Nieh and Suman Jana and Gabriel Ryan},
	title = {{DistAI}: {Data-Driven} Automated Invariant Learning for Distributed Protocols},
	booktitle = {15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21)},
	year = {2021},
	isbn = {978-1-939133-22-9},
	pages = {405--421},
	url = {https://www.usenix.org/conference/osdi21/presentation/yao},
	publisher = {USENIX Association},
	month = jul
}
