Biblio

Export 12 results:
Filters: Author is Michael Walfish  [Clear All Filters]
2020
Tan C, Zhao C, Mu S, Walfish M.  2020.  Cobra: Making Transactional Key-Value Stores Verifiably Serializable. 14th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 20). :63--80.
2016
Angel S, Wahby RS, Howald M, Leners JB, Spilo M, Sun Z, Blumberg AJ, Walfish M.  2016.  Defending against Malicious Peripherals with Cinch. 25th {USENIX} Security Symposium ({USENIX} Security 16). :397--414.
Gupta T, Crooks N, Mulhern W, Setty S, Alvisi L, Walfish M.  2016.  Scalable and Private Media Consumption with Popcorn. 13th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 16). :91--107.
2013
Gupta T, Leners JB, Aguilera MK, Walfish M.  2013.  Improving Availability in Distributed Systems with Failure Informers. 10th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 13). :427--441.
2012
Setty S, Vu V, Panpalia N, Braun B, Blumberg AJ, Walfish M.  2012.  Taking Proof-Based Verified Computation a Few Steps Closer to Practicality. 21st {USENIX} Security Symposium ({USENIX} Security 12). :253--268.
ingram L, Walfish M.  2012.  Treehouse: Javascript Sandboxes to Help Web Developers Help Themselves. 2012 {USENIX} Annual Technical Conference ({USENIX} {ATC} 12). :153--164.
2011
ingram L, Popov I, Setty S, Walfish M.  2011.  Repair from a Chair: Computer Repair as an Untrusted Cloud Service. 13th Workshop on Hot Topics in Operating Systems (HotOS {XIII}).
2010
Mahajan P, Setty S, Lee S, Clement A, Alvisi L, Dahlin M, Walfish M.  2010.  Depot: Cloud Storage with Minimal Trust. 9th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 10).
2009
Aguilera MK, Walfish M.  2009.  No Time for Asynchrony. 12th Workshop on Hot Topics in Operating Systems (HotOS {XII}).
2006
Walfish M, Zamfirescu J.D., Balakrishnan H, Karger D, Shenker S.  2006.  Distributed Quota Enforcement for Spam Control. 3rd Symposium on Networked Systems Design & Implementation ({NSDI} 06).
2004
Walfish M, Stribling J, Krohn M, Balakrishnan H, Morris R, Shenker S.  2004.  Middleboxes No Longer Considered Harmful. 6th Symposium on Operating Systems Design & Implementation ({OSDI} 04).
Walfish M, Shenker S.  2004.  Untangling the Web from DNS. First Symposium on Networked Systems Design and Implementation ({NSDI} 04).