Mike Dahlin

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 3

Top Topics

Storage Systems

Privacy Preserving

Horizontally Partitioned Data

Top Venues

USENIX Annual Technical Conference

Publications

Benjamin Treynor Sloss, Mike Dahlin, Vivek Rau, Betsy Beyer
The calculus of service availability. Commun. ACM 60 (9) (2017)
Benjamin Treynor Sloss, Mike Dahlin, Vivek Rau, Betsy Beyer
The Calculus of Service Availability. ACM Queue 15 (2) (2017)
Sangmin Lee, Deepak Goel, Edmund L. Wong, Asim Kadav, Mike Dahlin
Privacy Preserving Collaboration in Bring-Your-Own-Apps. SoCC (2016)
Yang Wang, Manos Kapritsos, Lara Schmidt, Lorenzo Alvisi, Mike Dahlin
Exalt: Empowering Researchers to Evaluate Large-Scale Storage Systems. NSDI (2014)
Mark Silberstein, Lakshmi Ganesh, Yang Wang, Lorenzo Alvisi, Mike Dahlin
Lazy Means Smart: Reducing Repair Bandwidth Costs in Erasure-coded Distributed Storage. SYSTOR (2014)
Yang Wang, Manos Kapritsos, Zuocheng Ren, Prince Mahajan, Jeevitha Kirubanandam, Lorenzo Alvisi, Mike Dahlin
Robustness in the Salus Scalable Block Store. NSDI (2013)
Michael McCoyd, Robert Bellarmine Krug, Deepak Goel, Mike Dahlin, William D. Young
Building a Hypervisor on a Formally Verifiable Protection Layer. HICSS (2013)
Sangmin Lee, Edmund L. Wong, Deepak Goel, Mike Dahlin, Vitaly Shmatikov
πBox: A Platform for Privacy-Preserving Apps. NSDI (2013)
Yang Wang, Lorenzo Alvisi, Mike Dahlin
Gnothi: Separating Data and Metadata for Efficient and Available Storage Replication. USENIX Annual Technical Conference (2012)
Manos Kapritsos, Yang Wang, Vivien Quéma, Allen Clement, Lorenzo Alvisi, Mike Dahlin
All about Eve: Execute-Verify Replication for Multi-Core Servers. OSDI (2012)
Mike Dahlin, Ryan Johnson, Robert Bellarmine Krug, Michael McCoyd, William D. Young
Toward the Verification of a Simple Hypervisor ACL2 (2011)
Allen Clement, Mirco Marchetti, Edmund L. Wong, Lorenzo Alvisi, Mike Dahlin
BFT: the time is now. LADIS (2008)