Export 2 results:
Filters: Author is Andrea Lattuada  [Clear All Filters]
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.
Hoffmann M, Lattuada A, Liagouris J, Kalavri V, Dimitrova D, Wicki S, Chothia Z, Roscoe T.  2018.  SnailTrail: Generalizing Critical Paths for Online Analysis of Distributed Dataflows. 15th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 18). :95--110.