Cooperative Caching: Using Remote Client Memory to Improve File System Performance. - Michael Dahlin; Randolph Y. Wang; Thomas E. Anderson; David A. Patterson 001 (OSDI, 1994)

A Quantitative Analysis of Cache Policies for Scalable Network File Systems. - Michael Dahlin; Clifford Mather; Randolph Y. Wang; Thomas E. Anderson; David A. Patterson 001 (SIGMETRICS, 1994)

Serverless Network File Systems. - Thomas E. Anderson; Michael Dahlin; Jeanna M. Neefe; David A. Patterson 001; Drew S. Roselli; Randolph Y. Wang (ACM Trans. Comput. Syst., 1996)

Experience with a Language for Writing Coherence Protocols. - Satish Chandra 001; James R. Larus; Michael Dahlin; Brad Richards; Randolph Y. Wang; Thomas E. Anderson (DSL, 1997)

WebOS: Operating System Services for Wide Area Applications. - Amin Vahdat; Thomas E. Anderson; Michael Dahlin; Eshwar Belani; David E. Culler; Paul Eastham; Chad Yoshikawa (HPDC, 1998)

Using Leases to Support Server-Driven Consistency in Large-Scale Systems. - Jian Yin 002; Lorenzo Alvisi; Michael Dahlin; Calvin Lin (ICDCS, 1998)

The CRISIS Wide Area Security Architecture. - Eshwar Belani; Amin Vahdat; Thomas E. Anderson; Michael Dahlin (USENIX Security Symposium, 1998)

Design Considerations for Distributed Caching on the Internet. - Renu Tewari; Michael Dahlin; Harrick M. Vin; Jonathan S. Kay (ICDCS, 1999)

Experimental Evaluation of QSM, a Simple Shared-Memory Model. - Brian Grayson; Michael Dahlin; Vijaya Ramachandran (IPPS/SPDP, 1999)

Hierarchical Cache Consistency in a WAN. - Jian Yin 002; Lorenzo Alvisi; Michael Dahlin; Calvin Lin (USENIX Symposium on Internet Technologies and Systems, 1999)

Volume Leases for Consistency in Large-Scale Systems. - Jian Yin 002; Lorenzo Alvisi; Michael Dahlin; Calvin Lin (IEEE Trans. Knowl. Data Eng., 1999)

Interpreting Stale Load Information. - Michael Dahlin (IEEE Trans. Parallel Distributed Syst., 2000)

Bandwidth constrained placement in a WAN. - Arun Venkataramani; Phoebe Weidmann; Michael Dahlin (PODC, 2001)

C0PE: Consistent 0-Administration Personal Environment. - Praveen Yalagandula; Lorenzo Alvisi; Michael Dahlin; Harrick M. Vin (WORDS, 2001)

Resource management for scalable disconnected access to Web services. - Bharat Chandra; Michael Dahlin; Lei Gao; Amjad-Ali Khoja; Amol Nayate; Asim Razzaq; Anil Sewani (WWW, 2001)

Engineering server-driven consistency for large scale dynamic Web services. - Jian Yin 002; Lorenzo Alvisi; Michael Dahlin; Arun Iyengar (WWW, 2001)

Active Names: Flexible Location and Transport of Wide-Area Resources. - Amin Vahdat; Michael Dahlin; Thomas E. Anderson; Amit Aggarwal (DANCE, 2002)

Small Byzantine Quorum Systems. - Jean-Philippe Martin; Lorenzo Alvisi; Michael Dahlin (DSN, 2002)

TCP Nice: A Mechanism for Background Transfers. - Arun Venkataramani; Ravi Kokku; Michael Dahlin (OSDI, 2002)

Operating system support for massive replication. - Arun Venkataramani; Ravi Kokku; Michael Dahlin (ACM SIGOPS European Workshop, 2002)

Minimal Byzantine Storage. - Jean-Philippe Martin; Lorenzo Alvisi; Michael Dahlin (DISC, 2002)

The potential costs and benefits of long-term prefetching for content distribution. - Arun Venkataramani; Praveen Yalagandula; Ravi Kokku; Sadia Sharif; Michael Dahlin (Comput. Commun., 2002)

Summary of 2001 SIGOPS Business Meeting. - Michael Dahlin (ACM SIGOPS Oper. Syst. Rev., 2002)

Coordinated Placement and Replacement for Large-Scale Distributed Caches. - Madhukar R. Korupolu; Michael Dahlin (IEEE Trans. Knowl. Data Eng., 2002)

Engineering web cache consistency. - Jian Yin 002; Lorenzo Alvisi; Michael Dahlin; Arun Iyengar (ACM Trans. Internet Techn., 2002)

Towards a Practical Approach to Confidential Byzantine Fault Tolerance. - Jian Yin 002; Jean-Philippe Martin; Arun Venkataramani; Lorenzo Alvisi; Michael Dahlin (Future Directions in Distributed Computing, 2003)

Separating agreement from execution for byzantine fault tolerant services. - Jian Yin 002; Jean-Philippe Martin; Arun Venkataramani; Lorenzo Alvisi; Michael Dahlin (SOSP, 2003)

NPS: A Non-Interfering Deployable Web Prefetching System. - Ravi Kokku; Praveen Yalagandula; Arun Venkataramani; Michael Dahlin (USENIX Symposium on Internet Technologies and Systems, 2003)

Application specific data replication for edge services. - Lei Gao; Michael Dahlin; Amol Nayate; Jiandan Zheng; Arun Iyengar (WWW, 2003)

Emulations between QSM, BSP and LogP: a framework for general-purpose parallel algorithm design. - Vijaya Ramachandran; Brian Grayson; Michael Dahlin (J. Parallel Distributed Comput., 2003)

End-to-end WAN service availability. - Michael Dahlin; Bharat Chandra; Lei Gao; Amol Nayate (IEEE/ACM Trans. Netw., 2003)

High Throughput Byzantine Fault Tolerance. - Ramakrishna Kotla; Michael Dahlin (DSN, 2004)

Transparent Information Dissemination. - Amol Nayate; Michael Dahlin; Arun Iyengar (Middleware, 2004)

A scalable distributed information management system. - Praveen Yalagandula; Michael Dahlin (SIGCOMM, 2004)

Scaling to the End of Silicon with EDGE Architectures. - Doug Burger; Stephen W. Keckler; Kathryn S. McKinley; Michael Dahlin; Lizy Kurian John; Calvin Lin; Charles R. Moore; James H. Burrill; Robert G. McDonald; William Yode (Computer, 2004)

TAPER: Tiered Approach for Eliminating Redundancy in Replica Synchronization. - Navendu Jain; Michael Dahlin; Renu Tewari (FAST, 2005)

Towards Self-Configuring Hardware for Distributed Computer Systems. - Jonathan Wildstrom; Peter Stone 001; Emmett Witchel; Raymond J. Mooney; Michael Dahlin (ICAC, 2005)

Dual-Quorum Replication for Edge Services. - Lei Gao; Michael Dahlin; Jiandan Zheng; Lorenzo Alvisi; Arun Iyengar (Middleware, 2005)

BAR fault tolerance for cooperative services. - Amitanand S. Aiyer; Lorenzo Alvisi; Allen Clement; Michael Dahlin; Jean-Philippe Martin; Carl Porth (SOSP, 2005)

INSIGHT: a distributed monitoring system for tracking continuous queries. - Navendu Jain; Praveen Yalagandula; Mike Dahlin; Yin Zhang (SOSP, 2005)

Using Bloom Filters to Refine Web Search Results. - Navendu Jain; Michael Dahlin; Renu Tewari (WebDB, 2005)

Improving Availability and Performance with Application-Specific Data Replication. - Lei Gao; Michael Dahlin; Amol Nayate; Jiandan Zheng; Arun Iyengar (IEEE Trans. Knowl. Data Eng., 2005)

PRACTI Replication. - Nalini Moti Belaramani; Michael Dahlin; Lei Gao; Amol Nayate; Arun Venkataramani; Praveen Yalagandula; Jiandan Zheng (NSDI, 2006)

BAR Gossip. - Harry C. Li; Allen Clement; Edmund L. Wong; Jeff Napper; Indrajit Roy 001; Lorenzo Alvisi; Michael Dahlin (OSDI, 2006)

Machine Learning for On-Line Hardware Reconfiguration. - Jonathan Wildstrom; Peter Stone 001; Emmett Witchel; Michael Dahlin (IJCAI, 2007)

Theory of BAR games. - Allen Clement; Jeff Napper; Harry C. Li; Jean-Philippe Martin; Lorenzo Alvisi; Michael Dahlin (PODC, 2007)

Shruti: A Self-Tuning Hierarchical Aggregation System. - Praveen Yalagandula; Michael Dahlin (SASO, 2007)

SafeStore: A Durable and Practical Storage System. - Ramakrishna Kotla; Lorenzo Alvisi; Michael Dahlin (USENIX ATC, 2007)

STAR: Self-Tuning Aggregation for Scalable Monitoring. - Navendu Jain; Michael Dahlin; Yin Zhang; Dmitry Kit; Prince Mahajan; Praveen Yalagandula (VLDB, 2007)

BAR primer. - Allen Clement; Harry C. Li; Jeff Napper; Jean-Philippe Martin; Lorenzo Alvisi; Michael Dahlin (DSN, 2008)

BFT: the time is now. - Allen Clement; Mirco Marchetti; Edmund L. Wong; Lorenzo Alvisi; Mike Dahlin (LADIS, 2008)

Network Imprecision: A New Consistency Metric for Scalable Monitoring. - Navendu Jain; Prince Mahajan; Dmitry Kit; Praveen Yalagandula; Michael Dahlin; Yin Zhang (OSDI, 2008)

FlightPath: Obedience vs. Choice in Cooperative Services. - Harry C. Li; Allen Clement; Mirco Marchetti; Manos Kapritsos; Luke Robison; Lorenzo Alvisi; Michael Dahlin (OSDI, 2008)

Self-Tuning, Bandwidth-Aware Monitoring for Dynamic Data Streams. - Navendu Jain; Praveen Yalagandula; Michael Dahlin; Yin Zhang (ICDE, 2009)

PADS: A Policy Architecture for Distributed Storage Systems. - Nalini Moti Belaramani; Jiandan Zheng; Amol Nayate; Robert Soulé; Michael Dahlin; Robert Grimm 001 (NSDI, 2009)

Making Byzantine Fault Tolerant Systems Tolerate Byzantine Faults. - Allen Clement; Edmund L. Wong; Lorenzo Alvisi; Michael Dahlin; Mirco Marchetti (NSDI, 2009)

Upright cluster services. - Allen Clement; Manos Kapritsos; Sangmin Lee; Yang Wang 009; Lorenzo Alvisi; Michael Dahlin; Taylor Riché (SOSP, 2009)

Zyzzyva: Speculative Byzantine fault tolerance. - Ramakrishna Kotla; Lorenzo Alvisi; Michael Dahlin; Allen Clement; Edmund L. Wong (ACM Trans. Comput. Syst., 2009)

Dual-Quorum: A Highly Available and Consistent Replication System for Edge Services. - Lei Gao; Michael Dahlin; Jiandan Zheng; Lorenzo Alvisi; Arun Iyengar (IEEE Trans. Dependable Secur. Comput., 2010)

Volunteer Cloud Computing: MapReduce over the Internet. - Fernando Costa; Luís Moura Silva; Michael Dahlin (IPDPS Workshops, 2011)

Regret Freedom Isn't Free. - Edmund L. Wong; Isaac Levy; Lorenzo Alvisi; Allen Clement; Michael Dahlin (OPODIS, 2011)

Toward the Verification of a Simple Hypervisor - Mike Dahlin; Ryan Johnson 003; Robert Bellarmine Krug; Michael McCoyd; William D. Young (ACL2, 2011)

Depot: Cloud Storage with Minimal Trust. - Prince Mahajan; Srinath T. V. Setty; Sangmin Lee; Allen Clement; Lorenzo Alvisi; Michael Dahlin; Michael Walfish (ACM Trans. Comput. Syst., 2011)

All about Eve: Execute-Verify Replication for Multi-Core Servers. - Manos Kapritsos; Yang Wang 009; Vivien Quéma; Allen Clement; Lorenzo Alvisi; Mike Dahlin (OSDI, 2012)

Gnothi: Separating Data and Metadata for Efficient and Available Storage Replication. - Yang Wang 009; Lorenzo Alvisi; Mike Dahlin (USENIX ATC, 2012)

Building a Hypervisor on a Formally Verifiable Protection Layer. - Michael McCoyd; Robert Bellarmine Krug; Deepak Goel; Mike Dahlin; William D. Young (HICSS, 2013)

Robustness in the Salus Scalable Block Store. - Yang Wang 009; Manos Kapritsos; Zuocheng Ren; Prince Mahajan; Jeevitha Kirubanandam; Lorenzo Alvisi; Mike Dahlin (NSDI, 2013)

πBox: A Platform for Privacy-Preserving Apps. - Sangmin Lee; Edmund L. Wong; Deepak Goel; Mike Dahlin; Vitaly Shmatikov (NSDI, 2013)

Exalt: Empowering Researchers to Evaluate Large-Scale Storage Systems. - Yang Wang 009; Manos Kapritsos; Lara Schmidt; Lorenzo Alvisi; Mike Dahlin (NSDI, 2014)

Lazy Means Smart: Reducing Repair Bandwidth Costs in Erasure-coded Distributed Storage. - Mark Silberstein; Lakshmi Ganesh; Yang Wang 009; Lorenzo Alvisi; Mike Dahlin (SYSTOR, 2014)

Privacy Preserving Collaboration in Bring-Your-Own-Apps. - Sangmin Lee; Deepak Goel; Edmund L. Wong; Asim Kadav; Mike Dahlin (SoCC, 2016)

The Calculus of Service Availability. - Benjamin Treynor Sloss; Mike Dahlin; Vivek Rau; Betsy Beyer (ACM Queue, 2017)