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).