Michael Dahlin

According to our database1, Michael Dahlin authored at least 75 papers between 1994 and 2017.

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 2011, "For contributions to scalable networked systems".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
The Calculus of Service Availability.
ACM Queue, 2017

The calculus of service availability.
Commun. ACM, 2017

2016
Privacy Preserving Collaboration in Bring-Your-Own-Apps.
Proceedings of the Seventh ACM Symposium on Cloud Computing, 2016

2014
Lazy Means Smart: Reducing Repair Bandwidth Costs in Erasure-coded Distributed Storage.
Proceedings of the International Conference on Systems and Storage, 2014

Exalt: Empowering Researchers to Evaluate Large-Scale Storage Systems.
Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, 2014

2013
πBox: A Platform for Privacy-Preserving Apps.
Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, 2013

Robustness in the Salus Scalable Block Store.
Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, 2013

Building a Hypervisor on a Formally Verifiable Protection Layer.
Proceedings of the 46th Hawaii International Conference on System Sciences, 2013

2012
Gnothi: Separating Data and Metadata for Efficient and Available Storage Replication.
Proceedings of the 2012 USENIX Annual Technical Conference, 2012

All about Eve: Execute-Verify Replication for Multi-Core Servers.
Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, 2012

2011
Toward the Verification of a Simple Hypervisor
Proceedings of the Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, 2011

Regret Freedom Isn't Free.
Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

Volunteer Cloud Computing: MapReduce over the Internet.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

2010
Dual-Quorum: A Highly Available and Consistent Replication System for Edge Services.
IEEE Trans. Dependable Sec. Comput., 2010

Depot: Cloud Storage with Minimal Trust.
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

2009
Upright cluster services.
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Making Byzantine Fault Tolerant Systems Tolerate Byzantine Faults.
Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

PADS: A Policy Architecture for Distributed Storage Systems.
Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

Self-Tuning, Bandwidth-Aware Monitoring for Dynamic Data Streams.
Proceedings of the 25th International Conference on Data Engineering, 2009

2008
Zyzzyva: speculative Byzantine fault tolerance.
Commun. ACM, 2008

FlightPath: Obedience vs. Choice in Cooperative Services.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

Network Imprecision: A New Consistency Metric for Scalable Monitoring.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

BAR primer.
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

2007
STAR: Self-Tuning Aggregation for Scalable Monitoring.
Proceedings of the 33rd International Conference on Very Large Data Bases, 2007

SafeStore: A Durable and Practical Storage System.
Proceedings of the 2007 USENIX Annual Technical Conference, 2007

Zyzzyva: speculative byzantine fault tolerance.
Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

Shruti: A Self-Tuning Hierarchical Aggregation System.
Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007

Theory of BAR games.
Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

Machine Learning for On-Line Hardware Reconfiguration.
Proceedings of the IJCAI 2007, 2007

2006
BAR Gossip.
Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

PRACTI Replication.
Proceedings of the 3rd Symposium on Networked Systems Design and Implementation (NSDI 2006), 2006

2005
Improving Availability and Performance with Application-Specific Data Replication.
IEEE Trans. Knowl. Data Eng., 2005

Using Bloom Filters to Refine Web Search Results.
Proceedings of the Eight International Workshop on the Web & Databases (WebDB 2005), 2005

BAR fault tolerance for cooperative services.
Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

Dual-Quorum Replication for Edge Services.
Proceedings of the Middleware 2005, ACM/IFIP/USENIX, 6th International Middleware Conference, Grenoble, France, November 28, 2005

Towards Self-Configuring Hardware for Distributed Computer Systems.
Proceedings of the Second International Conference on Autonomic Computing (ICAC 2005), 2005

TAPER: Tiered Approach for Eliminating Redundancy in Replica Synchronization.
Proceedings of the FAST '05 Conference on File and Storage Technologies, 2005

2004
Scaling to the End of Silicon with EDGE Architectures.
IEEE Computer, 2004

A scalable distributed information management system.
Proceedings of the ACM SIGCOMM 2004 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 30, 2004

Transparent Information Dissemination.
Proceedings of the Middleware 2004, 2004

High Throughput Byzantine Fault Tolerance.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003
End-to-end WAN service availability.
IEEE/ACM Trans. Netw., 2003

Emulations between QSM, BSP and LogP: a framework for general-purpose parallel algorithm design.
J. Parallel Distrib. Comput., 2003

Application specific data replication for edge services.
Proceedings of the Twelfth International World Wide Web Conference, 2003

NPS: A Non-Interfering Deployable Web Prefetching System.
Proceedings of the 4th USENIX Symposium on Internet Technologies and Systems, 2003

Separating agreement from execution for byzantine fault tolerant services.
Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, 2003

Towards a Practical Approach to Confidential Byzantine Fault Tolerance.
Proceedings of the Future Directions in Distributed Computing, 2003

2002
Engineering web cache consistency.
ACM Trans. Internet Techn., 2002

Coordinated Placement and Replacement for Large-Scale Distributed Caches.
IEEE Trans. Knowl. Data Eng., 2002

Summary of 2001 SIGOPS Business Meeting.
Operating Systems Review, 2002

The potential costs and benefits of long-term prefetching for content distribution.
Computer Communications, 2002

Minimal Byzantine Storage.
Proceedings of the Distributed Computing, 16th International Conference, 2002

Operating system support for massive replication.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

TCP Nice: A Mechanism for Background Transfers.
Proceedings of the 5th Symposium on Operating System Design and Implementation (OSDI 2002), 2002

Small Byzantine Quorum Systems.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Active Names: Flexible Location and Transport of Wide-Area Resources.
Proceedings of the 2002 DARPA Active Networks Conference and Exposition (DANCE 2002), 2002

2001
Engineering server-driven consistency for large scale dynamic Web services.
Proceedings of the Tenth International World Wide Web Conference, 2001

Resource management for scalable disconnected access to Web services.
Proceedings of the Tenth International World Wide Web Conference, 2001

C0PE: Consistent 0-Administration Personal Environment.
Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001

End-to-End WAN Service Availability.
Proceedings of the 3rd USENIX Symposium on Internet Technologies and Systems, 2001

Bandwidth constrained placement in a WAN.
Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001

1999
Volume Leases for Consistency in Large-Scale Systems.
IEEE Trans. Knowl. Data Eng., 1999

Hierarchical Cache Consistency in a WAN.
Proceedings of the 2nd USENIX Symposium on Internet Technologies and Systems, 1999

Active Names: Flexible Location and Transport of Wide-Area Resources.
Proceedings of the 2nd USENIX Symposium on Internet Technologies and Systems, 1999

Emulations Between QSM, BSP, and LogP: A Framework for General-Purpose Parallel Algorithm Design.
Proceedings of the Tenth Annual ACM-SIAM Symposium on Discrete Algorithms, 1999

Experimental Evaluation of QSM, a Simple Shared-Memory Model.
Proceedings of the 13th International Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS / SPDP '99), 1999

Design Considerations for Distributed Caching on the Internet.
Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31, 1999

Interpreting Stale Load Information.
Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31, 1999

1998
The CRISIS Wide Area Security Architecture.
Proceedings of the 7th USENIX Security Symposium, 1998

Using Leases to Support Server-Driven Consistency in Large-Scale Systems.
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

WebOS: Operating System Services for Wide Area Applications.
Proceedings of the Seventh IEEE International Symposium on High Performance Distributed Computing, 1998

1997
Experience with a Language for Writing Coherence Protocols.
Proceedings of the Conference on Domain-Specific Languages, 1997

1995
Serverless Network File Systems.
Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995

1994
A Quantitative Analysis of Cache Policies for Scalable Network File Systems.
Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1994

Cooperative Caching: Using Remote Client Memory to Improve File System Performance.
Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1994


  Loading...