Export 2 results:
Filters: Author is Travis Hance  [Clear All Filters]
Hance T, Heule M, Martins R, Parno B.  2021.  Finding Invariants of Distributed Systems: It's a Small (Enough) World After All. 18th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 21). :115--131.
Hance T, Lattuada A, Hawblitzel C, Howell J, Johnson R, Parno B.  2020.  Storage Systems are Distributed Systems (So Verify Them That Way!). 14th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 20). :99--115.