@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 }