Robbert van Renesse

CoRR, 2019

Scalable and Probabilistic Leaderless BFT Consensus through Metastability.

[BibT_eX]

[DOI]

CoRR, 2019

Charlotte: Composable Authenticated Distributed Data Structures, Technical Report.

[BibT_eX]

[DOI]

CoRR, 2019

X-Containers: Breaking Down Barriers to Improve Performance and Isolation of Cloud-Native Containers.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

State machine replication with benign failures.

[BibT_eX]

[DOI]

Proceedings of the Concurrency: the Works of Leslie Lamport, 2019

2018

The Supercloud: Applying Internet Design Principles to Interconnecting Clouds.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2018

A Web of Blocks.

[BibT_eX]

[DOI]

CoRR, 2018

SGX Enforcement of Use-Based Privacy.

[BibT_eX]

[DOI]

Proceedings of the 2018 Workshop on Privacy in the Electronic Society, 2018

Vegvisir: A Partition-Tolerant Blockchain for the Internet-of-Things.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE International Conference on Distributed Computing Systems, 2018

Decentralization in Bitcoin and Ethereum Networks.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2018

Untethered: Deployable Blockchains for IoT Environments.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Cloud Computing, 2018

2017

Supercloud: A Library Cloud for Exploiting Cloud Diversity.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2017

REM: Resource-Efficient Mining for Blockchains.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

Short Paper: Service-Oriented Sharding for Blockchains.

[BibT_eX]

[DOI]

Adem Efe Gencer

Emin Gün Sirer

Proceedings of the Financial Cryptography and Data Security, 2017

Towards an emergency edge supercloud.

[BibT_eX]

[DOI]

Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

Building smart memories and high-speed cloud services for the internet of things with derecho.

[BibT_eX]

[DOI]

Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

2016

Proactive Cache Placement on Cooperative Client Caches for Online Social Networks.

[BibT_eX]

[DOI]

Stavros Nikolaou

IEEE Trans. Parallel Distrib. Syst., 2016

Report on the Asia-Pacific Systems Workshop 2015 (APSys'15).

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2016

Ovid: A Software-Defined Distributed Systems Framework to support Consistency and Change.

[BibT_eX]

[DOI]

Deniz Altinbüken

IEEE Data Eng. Bull., 2016

Service-Oriented Sharding with Aspen.

[BibT_eX]

[DOI]

Adem Efe Gencer

Emin Gün Sirer

CoRR, 2016

Consus: Taming the Paxi.

[BibT_eX]

[DOI]

Robert Escriva

CoRR, 2016

Moving Participants Turtle Consensus.

[BibT_eX]

[DOI]

Stavros Nikolaou

Proceedings of the 20th International Conference on Principles of Distributed Systems, 2016

Bitcoin-NG: A Scalable Blockchain Protocol.

[BibT_eX]

[DOI]

Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, 2016

Treating software-defined networks like disk arrays.

[BibT_eX]

[DOI]

Proceedings of the IEEE NetSoft Conference and Workshops, 2016

Ovid: A Software-Defined Distributed Systems Framework.

[BibT_eX]

[DOI]

Deniz Altinbüken

Proceedings of the 8th USENIX Workshop on Hot Topics in Cloud Computing, 2016

Economics of a supercloud.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on CrossCloud Infrastructures & Platforms, 2016

Smart spot instances for the supercloud.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on CrossCloud Infrastructures & Platforms, 2016

Experience with 3 SDN Controllers in an Enterprise Setting.

[BibT_eX]

[DOI]

Zhiyuan Teo

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

Follow the Sun through the Clouds: Application Migration for Geographically Shifting Workloads.

[BibT_eX]

[DOI]

Proceedings of the Seventh ACM Symposium on Cloud Computing, 2016

Safe Serializable Secure Scheduling: Transactions and the Trade-Off Between Security and Consistency.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

Omni-Kernel: An Operating System Architecture for Pervasive Monitoring and Scheduling.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distrib. Syst., 2015

Fireflies: A Secure and Scalable Membership and Gossip Service.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2015

Vive La Différence: Paxos vs. Viewstamped Replication vs. Zab.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2015

Supercloud: Opportunities and Challenges.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2015

Paxos Made Moderately Complex.

[BibT_eX]

[DOI]

Deniz Altinbuken

ACM Comput. Surv., 2015

Wormhole: Reliable Pub-Sub to Support Geo-replicated Internet Services.

[BibT_eX]

[DOI]

Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

Turtle Consensus: Moving Target Defense for Consensus.

[BibT_eX]

[DOI]

Stavros Nikolaou

Proceedings of the 16th Annual Middleware Conference, Vancouver, BC, Canada, December 07, 2015

Configuring Distributed Computations Using Response Surfaces.

[BibT_eX]

[DOI]

Proceedings of the 16th Annual Middleware Conference, Vancouver, BC, Canada, December 07, 2015

Cache Serializability: Reducing Inconsistency in Edge Transactions.

[BibT_eX]

[DOI]

Ittay Eyal

Proceedings of the 35th IEEE International Conference on Distributed Computing Systems, 2015

Enforcing Privacy Policies with Meta-Code.

[BibT_eX]

[DOI]

Proceedings of the 6th Asia-Pacific Workshop on Systems, 2015

2014

The story behind the first SIGOPS Dennis M. Ritchie doctoral dissertation award.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2014

Workshop Report: HotDep 2013 - The 9th workshop on hot topics in dependable systems.

[BibT_eX]

[DOI]

Christian Cachin

ACM SIGOPS Oper. Syst. Rev., 2014

Distributed Protocols and Heterogeneous Trust: Technical Report.

[BibT_eX]

[DOI]

Isaac C. Sheff

Andrew C. Myers

CoRR, 2014

Controlled Transactional Consistency for Web Caching.

[BibT_eX]

[DOI]

Ittay Eyal

CoRR, 2014

A brief overview of the NEBULA future internet architecture.

[BibT_eX]

[DOI]

Comput. Commun. Rev., 2014

Characterizing Load Imbalance in Real-World Networked Caches.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM Workshop on Hot Topics in Networks, 2014

Ironstack: Performance, Stability and Security for Power Grid Data Networks.

[BibT_eX]

[DOI]

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

Developing Correctly Replicated Databases Using Formal Tools.

[BibT_eX]

[DOI]

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

The Energy Efficiency of Database Replication Protocols.

[BibT_eX]

[DOI]

Fernando Pedone

Carlos Eduardo Benevides Bezerra

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

Scalable State-Machine Replication.

[BibT_eX]

[DOI]

Fernando Pedone

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

Mission-Critical Cloud Computing for Critical Infrastructures.

[BibT_eX]

Proceedings of the Smart Grids - Clouds, Communications, Open Source, and Automation., 2014

2013

Workshop report on LADIS 2012.

[BibT_eX]

[DOI]

Dahlia Malkhi

ACM SIGOPS Oper. Syst. Rev., 2013

An analysis of Facebook photo caching.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

Secure Abstraction with Code Capabilities.

[BibT_eX]

[DOI]

Proceedings of the 21st Euromicro International Conference on Parallel, 2013

Sprinkler - Reliable Broadcast for Geographically Dispersed Datacenters.

[BibT_eX]

[DOI]

Haoyan Geng

Proceedings of the Middleware 2013, 2013

Toward a reliable, secure and fault tolerant smart grid state estimation in the cloud.

[BibT_eX]

[DOI]

Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2013

The NEBULA Future Internet Architecture.

[BibT_eX]

[DOI]

Proceedings of the Future Internet, 2013

Application-driven TCP recovery and non-stop BGP.

[BibT_eX]

[DOI]

Robert Surton

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

SuperCloud: economical cloud service on multiple vendors.

[BibT_eX]

[DOI]

Qin Jia

Hakim Weatherspoon

Proceedings of the ACM Symposium on Cloud Computing, SOCC '13, 2013

Leveraging sharding in the design of scalable replication protocols.

[BibT_eX]

[DOI]

Hussam Abu-Libdeh

Ymir Vigfusson

Proceedings of the ACM Symposium on Cloud Computing, SOCC '13, 2013

2012

Byzantine Chain Replication.

[BibT_eX]

[DOI]

Chi Ho

Proceedings of the Principles of Distributed Systems, 16th International Conference, 2012

A diversified and correct-by-construction broadcast service.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Network Protocols, 2012

ShadowDB: A Replicated Database on a Synthesized Consensus Core.

[BibT_eX]

[DOI]

Proceedings of the Eighth Workshop on Hot Topics in System Dependability, HotDep 2012, 2012

2011

Routers for the Cloud: Can the Internet Achieve 5-Nines Availability?

[BibT_eX]

[DOI]

IEEE Internet Comput., 2011

Nerio: Leader Election and Edict Ordering

[BibT_eX]

[DOI]

Johannes Gehrke

CoRR, 2011

2010

Replication Techniques for Availability.

[BibT_eX]

[DOI]

Rachid Guerraoui

Proceedings of the Replication: Theory and Practice, 2010

Balancing gossip exchanges in networks with firewalls.

[BibT_eX]

[DOI]

João Leitão

Luís E. T. Rodrigues

Proceedings of the 9th international conference on Peer-to-peer systems, 2010

A middleware for gossip protocols.

[BibT_eX]

[DOI]

Michael Chow

Proceedings of the 9th international conference on Peer-to-peer systems, 2010

2009

Slicing Distributed Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2009

Toward a cloud computing research agenda.

[BibT_eX]

[DOI]

Gregory V. Chockler

SIGACT News, 2009

Refining the way to consensus.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009

2008

Programming Models: Client - Server, Process Groups, and Peer-to-Peer.

[BibT_eX]

[DOI]

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

SecureStream: An intrusion-tolerant protocol for live-streaming dissemination.

[BibT_eX]

[DOI]

Maya Haridasan

Comput. Commun., 2008

Bosco: One-Step Byzantine Asynchronous Consensus.

[BibT_eX]

[DOI]

Yee Jiun Song

Proceedings of the Distributed Computing, 22nd International Symposium, 2008

A fast distributed slicing algorithm.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

Program Committee Meetings Considered Harmful.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Organizing Workshops, 2008

Nysiad: Practical Protocol Transformation to Tolerate Byzantine Failures.

[BibT_eX]

[DOI]

Proceedings of the 5th USENIX Symposium on Networked Systems Design & Implementation, 2008

Using live distributed objects for office automation: demo proposal.

[BibT_eX]

[DOI]

Proceedings of the Middleware 2008, 2008

Using live distributed objects for office automation.

[BibT_eX]

[DOI]

Proceedings of the Middleware 2008, 2008

Gossip-based distribution estimation in peer-to-peer networks.

[BibT_eX]

[DOI]

Maya Haridasan

Proceedings of the 7th international conference on Peer-to-peer systems, 2008

The Building Blocks of Consensus.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking, 9th International Conference, 2008

Tempest: Soft state replication in the service tier.

[BibT_eX]

[DOI]

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

2007

How robust are gossip-based communication protocols?

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2007

FirePatch: Secure and Time-Critical Dissemination of Software Patches.

[BibT_eX]

[DOI]

Håvard D. Johansen

Proceedings of the New Approaches for Security, 2007

Making Distributed Applications Robust.

[BibT_eX]

[DOI]

Chi Ho

Danny Dolev

Proceedings of the Principles of Distributed Systems, 11th International Conference, 2007

Self-stabilizing and Byzantine-Tolerant Overlay Network.

[BibT_eX]

[DOI]

Danny Dolev

Ezra N. Hoch

Proceedings of the Principles of Distributed Systems, 11th International Conference, 2007

Exploiting Gossip for Self-Management in Scalable Event Notification Systems.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Distributed Computing Systems Workshops (ICDCS 2007 Workshops), 2007

2006

Navigating in the Storm: Using Astrolabe to Adaptively Configure Web Services and Their Clients.

[BibT_eX]

[DOI]

Cluster Computing, 2006

A Scalable Services Architecture.

[BibT_eX]

[DOI]

Tudor Marian

Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006

Cognitive Adaptive Radio Teams.

[BibT_eX]

[DOI]

Proceedings of the Third Annual IEEE Communications Society Conference on Sensor, 2006

Defense against Intrusion in a Live Streaming Multicast System.

[BibT_eX]

[DOI]

Maya Haridasan

Proceedings of the Sixth IEEE International Conference on Peer-to-Peer Computing (P2P 2006), 2006

MISTRAL: : efficient flooding in mobile ad-hoc networks.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, 2006

Fireflies: scalable support for intrusion-tolerant network overlays.

[BibT_eX]

[DOI]

Håvard D. Johansen

André Allavena

Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006

Making Self-organizing Systems Secure.

[BibT_eX]

[DOI]

Proceedings of the Self-Organizing Systems, First International Workshop, 2006

2005

APSS: proactive secret sharing in asynchronous systems.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst. Secur., 2005

JiST: an efficient approach to simulation using virtual machines.

[BibT_eX]

[DOI]

Rimon Barr

Zygmunt J. Haas

Softw. Pract. Exp., 2005

dcOvercoming Communications Challenges in Software for Monitoring and Controlling Power Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE, 2005

Using randomized techniques to build scalable intrusion-tolerant overlay networks (Keynote).

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Collaborative Computing: Networking, 2005

Scalable Wireless Ad Hoc Network Simulation.

[BibT_eX]

[DOI]

Rimon Barr

Zygmunt J. Haas

Proceedings of the Handbook on Theoretical and Algorithmic Aspects of Sensor, 2005

2004

Chain Replication for Supporting High Throughput and Availability.

[BibT_eX]

[DOI]

Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004

Environment mobility: moving the desktop around.

[BibT_eX]

[DOI]

Håvard D. Johansen

Proceedings of the 2nd Workshop on Middleware for Pervasive and Ad-hoc Computing, 2004

P6P: A Peer-to-Peer Approach to Internet Infrastructure.

[BibT_eX]

[DOI]

Proceedings of the Peer-to-Peer Systems III, Third International Workshop, 2004

Willow: DHT, Aggregation, and Publish/Subscribe in One Protocol.

[BibT_eX]

[DOI]

Adrian Bozdog

Proceedings of the Peer-to-Peer Systems III, Third International Workshop, 2004

Adding High Availability and Autonomic Behavior to Web Services.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003

Astrolabe: A robust and scalable technology for distributed system monitoring, management, and data mining.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2003

The power of epidemics: robust communication for large-scale distributed systems.

[BibT_eX]

[DOI]

Comput. Commun. Rev., 2003

Kelips: Building an Efficient and Stable P2P DHT through Increased Memory and Background Overhead.

[BibT_eX]

[DOI]

Proceedings of the Peer-to-Peer Systems II, Second International Workshop, 2003

Navigating in the Storm: Using Astrolabe for Distributed Self-Configuration, Monitoring and Adaptation.

[BibT_eX]

[DOI]

Proceedings of the 5th Annual International Workshop on Active Middleware Services (AMS 2003) 2003 Autonomic Computing Workshop, 2003

The Importance of Aggregation.

[BibT_eX]

[DOI]

Proceedings of the Future Directions in Distributed Computing, 2003

WAIF: Web of Asynchronous Information Filters.

[BibT_eX]

[DOI]

Proceedings of the Future Directions in Distributed Computing, 2003

2002

COCA: A secure distributed online certification authority.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2002

A TACOMA retrospective.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2002

Implementing IPv6 as a Peer-to-Peer Overlay Network.

[BibT_eX]

[DOI]

Michael A. Marsh

Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Collaborative Networking in an Uncooperative Internet.

[BibT_eX]

[DOI]

Dan Dumitriu

Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Power-Aware Epidemics.

[BibT_eX]

[DOI]

Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Workshop on Reliable Peer-to-Peer Distributed Systems.

[BibT_eX]

Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Scalable Management and Data Mining Using Astrolabe.

[BibT_eX]

[DOI]

Proceedings of the Peer-to-Peer Systems, First International Workshop, 2002

A Collaborative Infrastructure for Scalable and Robust News Delivery.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002

Optimizing Buffer Management for Reliable Multicast.

[BibT_eX]

[DOI]

Zhen Xiao

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001

Proving Hybrid Protocols Correct.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

Distributing media transformation over multiple media gateways.

[BibT_eX]

[DOI]

Wei Tsang Ooi

Proceedings of the 9th ACM International Conference on Multimedia 2001, Ottawa, Ontario, Canada, September 30, 2001

Protocol Switching: Exploiting Meta-Properties.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001

Scalable Fault-Tolerant Aggregation in Large Process Groups.

[BibT_eX]

[DOI]

Indranil Gupta

Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

2000

A Probabilistically Correct Leader Election Protocol for Large Groups.

[BibT_eX]

[DOI]

Indranil Gupta

Proceedings of the Distributed Computing, 14th International Conference, 2000

Fast protocol transition in a distributed environment (brief announcement).

[BibT_eX]

[DOI]

Xiaoming Liu

Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000

An adaptive protocol for localing programmable media gateways.

[BibT_eX]

[DOI]

Wei Tsang Ooi

Proceedings of the 8th ACM International Conference on Multimedia 2000, Los Angeles, CA, USA, October 30, 2000

Scalable and Secure Resource Location.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 2000

1999

The hierarchical daisy architecture for causal delivery.

[BibT_eX]

[DOI]

Distributed Syst. Eng., 1999

Specifications and Proofs for Ensemble Layers.

[BibT_eX]

[DOI]

Jason Hickey

Nancy A. Lynch

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Building reliable, high-performance communication systems from components.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Symposium on Operating System Principles, 1999

Efficient Buffering in Reliable Multicast Protocols.

[BibT_eX]

[DOI]

Proceedings of the Networked Group Communication, 1999

An Execution Service for a Partitionable Low Bandwidth Network.

[BibT_eX]

[DOI]

Takako M. Hickey

Proceedings of the Digest of Papers: FTCS-29, 1999

1998

Building Adaptive Systems Using Ensemble.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1998

Six misconceptions about reliable distributed computing.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGOPS European Workshop: Support for Composing Distributed Applications, 1998

Goal-oriented programming, or composition using events, or threads considered harmful.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGOPS European Workshop: Support for Composing Distributed Applications, 1998

1997

The Hierarchical Daisy Architecture for Causal Delivery.

[BibT_eX]

[DOI]

Roberto Baldoni

Roy Friedman

Proceedings of the 17th International Conference on Distributed Computing Systems, 1997

Optimizing Layered Communication Protocols.

[BibT_eX]

[DOI]

Mark Hayden

Proceedings of the 6th International Symposium on High Performance Distributed Computing, 1997

Packing Messages as a Tool for Boosting the Performance of Total Ordering Protocols.

[BibT_eX]

[DOI]

Roy Friedman

Proceedings of the 6th International Symposium on High Performance Distributed Computing, 1997

1996

Horus: A Flexible Group Communication System.

[BibT_eX]

[DOI]

Silvano Maffeis

Commun. ACM, 1996

A Transparent Light-Weight Group Service.

[BibT_eX]

[DOI]

Proceedings of the 15th Symposium on Reliable Distributed Systems, 1996

Strong and Weak Virtual Synchrony in Horus.

[BibT_eX]

[DOI]

Roy Friedman

Proceedings of the 15th Symposium on Reliable Distributed Systems, 1996

Cryptographic support for fault-tolerant distributed computing.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM SIGOPS European Workshop: Systems Support for Worldwide Applications, 1996

Supporting broad internet access to TACOMA.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM SIGOPS European Workshop: Systems Support for Worldwide Applications, 1996

Structured virtual synchrony: exploring the bounds of virtual synchronous group communication.

[BibT_eX]

[DOI]

Katherine Guo

Proceedings of the 7th ACM SIGOPS European Workshop: Systems Support for Worldwide Applications, 1996

Masking the Overhead of Protocol Layering.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 1996 Conference on Applications, 1996

1995

A Framework for Protocol Composition in Horus.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995

Operating system support for mobile agents.

[BibT_eX]

[DOI]

Proceedings of the Fifth Workshop on Hot Topics in Operating Systems, 1995

1994

A Security Architecture for Fault-Toerant Systems.

[BibT_eX]

[DOI]

Michael K. Reiter

ACM Trans. Comput. Syst., 1994

Why bother with CATOCS?

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1994

New Applications for Group Computing.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice in Distributed Systems, International Workshop, 1994

1993

FLIP: An Internetwork Protocol for Supporting Distributed Systems.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 1993

Causal Controvery at Le Mont St.-Michel.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1993

Light-weight process groups in the Isis system.

[BibT_eX]

[DOI]

Distributed Syst. Eng., 1993

1992

Design and Implementation of a Multicast Transport Service (Abstract).

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1992

FLIP; an Internetwork Protocol for Supporting Distributed Systems (Abstract).

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1992

A RISC approach to process groups.

[BibT_eX]

[DOI]

Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

High availability in a real-time system.

[BibT_eX]

[DOI]

Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

Reliable Multicast between Micro-Kernels.

[BibT_eX]

Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, 1992

Amoeba.

[BibT_eX]

Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, 1992

1991

The Amoeba distributed operating system - A status report.

[BibT_eX]

[DOI]

Comput. Commun., 1991

1990

Amoeba: A Distributed Operating System for the 1990s.

[BibT_eX]

[DOI]

Computer, 1990

Experiences with the Amoeba Distributed Operating System.

[BibT_eX]

[DOI]

Commun. ACM, 1990

1989

The Performance of the Amoeba Distributed Operating system.

[BibT_eX]

[DOI]

Hans van Staveren

Softw. Pract. Exp., 1989

The Evolution of a Distributed Operating System.

[BibT_eX]

[DOI]

Sape J. Mullender

Proceedings of the Process in Distributed Operating Systems and Distributed Systems Management, 1989

Progress in Distributed Operating Systems and Distributed Systems Management.

[BibT_eX]

[DOI]

Proceedings of the Process in Distributed Operating Systems and Distributed Systems Management, 1989

The Design of a High-Performance File Server.

[BibT_eX]

[DOI]

Annita N. Wilschut

Proceedings of the 9th International Conference on Distributed Computing Systems, 1989

1988

Performance of the World's Fastest Distributed Operating System.

[BibT_eX]

[DOI]

Hans van Staveren

ACM SIGOPS Oper. Syst. Rev., 1988

Functional specialization in distributed operating systems.

[BibT_eX]

[DOI]

Gregory J. Sharp

Proceedings of the 3rd ACM SIGOPS European Workshop: Autonomy or Interdependence in Distributed Systems? Cambridge, 1988

Voting with Ghosts.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

1987

Reliability Issues in Distributed Operating Systems.

[BibT_eX]

Proceedings of the Sixth Symposium on Reliability in Distributed Software and Database Systems, 1987

Connecting RPC-Based Distributed Systems Using Wide-Area Networks.

[BibT_eX]

Proceedings of the 7th International Conference on Distributed Computing Systems, 1987

1986

A Summary of Parallel Alpha-Beta Search Results.

[BibT_eX]

[DOI]

Henri E. Bal

J. Int. Comput. Games Assoc., 1986

Making distributed systems palatable.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM SIGOPS European Workshop, 1986

Using Sparse Capabilities in a Distributed Operating System.

[BibT_eX]

Sape J. Mullender

Proceedings of the 6th International Conference on Distributed Computing Systems, 1986

1985

Distributed Operating Systems.

[BibT_eX]

[DOI]