@inproceedings {265029,
	author = {Travis Hance and Marijn Heule and Ruben Martins and Bryan Parno},
	title = {Finding Invariants of Distributed Systems: It{\textquoteright}s a Small (Enough) World After All},
	booktitle = {18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21)},
	year = {2021},
	isbn = {978-1-939133-21-2},
	pages = {115--131},
	url = {https://www.usenix.org/conference/nsdi21/presentation/hance},
	publisher = {USENIX Association},
	month = apr
}
