Mike Dahlin

15 papers A* 3Misc 4Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2017 J jnl
The Calculus of Service Availability.
ACM Queue
Benjamin Treynor Sloss, Mike Dahlin, Vivek Rau, Betsy Beyer
2017 J jnl
The calculus of service availability.
Commun. ACM
Benjamin Treynor Sloss, Mike Dahlin, Vivek Rau, Betsy Beyer
2016 — conf
Privacy Preserving Collaboration in Bring-Your-Own-Apps.
SoCC
Sangmin Lee, Deepak Goel, Edmund L. Wong, Asim Kadav, Mike Dahlin
2014 Misc conf
Exalt: Empowering Researchers to Evaluate Large-Scale Storage Systems.
NSDI
Yang Wang, Manos Kapritsos, Lara Schmidt, Lorenzo Alvisi, Mike Dahlin
2014 Misc conf
Lazy Means Smart: Reducing Repair Bandwidth Costs in Erasure-coded Distributed Storage.
SYSTOR
Mark Silberstein, Lakshmi Ganesh, Yang Wang, Lorenzo Alvisi, Mike Dahlin
2013 A* ed.
ACM SIGOPS 24th Symposium on Operating Systems Principles, SOSP '13, Farmington, PA, USA, November 3-6, 2013
SOSP
Michael Kaminsky, Mike Dahlin
2013 — conf
Building a Hypervisor on a Formally Verifiable Protection Layer.
HICSS
Michael McCoyd, Robert Bellarmine Krug, Deepak Goel, Mike Dahlin, William D. Young
2013 Misc conf
Robustness in the Salus Scalable Block Store.
NSDI
Yang Wang, Manos Kapritsos, Zuocheng Ren, Prince Mahajan, Jeevitha Kirubanandam, Lorenzo Alvisi, Mike Dahlin
2013 Misc conf
πBox: A Platform for Privacy-Preserving Apps.
NSDI
Sangmin Lee, Edmund L. Wong, Deepak Goel, Mike Dahlin, Vitaly Shmatikov
2012 A* conf
All about Eve: Execute-Verify Replication for Multi-Core Servers.
OSDI
Manos Kapritsos, Yang Wang, Vivien Quéma, Allen Clement, Lorenzo Alvisi, Mike Dahlin
2012 — conf
Gnothi: Separating Data and Metadata for Efficient and Available Storage Replication.
USENIX ATC
Yang Wang, Lorenzo Alvisi, Mike Dahlin
2011 — conf
Toward the Verification of a Simple Hypervisor
ACL2
Mike Dahlin, Ryan Johnson, Robert Bellarmine Krug, Michael McCoyd, William D. Young
2010 — ed.
2010 Workshop on the Economics of Networks, Systems, and Computation, NetEcon@OSDI 2010, Vancouver, BC, Canada, October 3, 2010
NetEcon@OSDI
Mike Dahlin, Milan Vojnovic
2008 — conf
BFT: the time is now.
LADIS
Allen Clement, Mirco Marchetti, Edmund L. Wong, Lorenzo Alvisi, Mike Dahlin
2005 A* conf
INSIGHT: a distributed monitoring system for tracking continuous queries.
SOSP
Navendu Jain, Praveen Yalagandula, Mike Dahlin, Yin Zhang