Finding Invariants of Distributed Systems: It's a Small (Enough) World After All

TitleFinding Invariants of Distributed Systems: It's a Small (Enough) World After All
Publication TypeConference Paper
Year of Publication2021
AuthorsHance T, Heule M, Martins R, Parno B
Conference Name18th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 21)
Date Published04/2021
Publisher{USENIX} Association
ISBN Number978-1-939133-21-2
URLhttps://www.usenix.org/conference/nsdi21/presentation/hance