Robbert van Renesse

According to our database1, Robbert van Renesse authored at least 173 papers between 1985 and 2018.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2009, "For contributions to fault-tolerant distributed computing.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
The Supercloud: Applying Internet Design Principles to Interconnecting Clouds.
IEEE Internet Computing, 2018

A Web of Blocks.
CoRR, 2018

Decentralization in Bitcoin and Ethereum Networks.
CoRR, 2018

Vegvisir: A Partition-Tolerant Blockchain for the Internet-of-Things.
Proceedings of the 38th IEEE International Conference on Distributed Computing Systems, 2018

2017
Supercloud: A Library Cloud for Exploiting Cloud Diversity.
ACM Trans. Comput. Syst., 2017

REM: Resource-Efficient Mining for Blockchains.
IACR Cryptology ePrint Archive, 2017

REM: Resource-Efficient Mining for Blockchains.
Proceedings of the 26th USENIX Security Symposium, 2017

Short Paper: Service-Oriented Sharding for Blockchains.
Proceedings of the Financial Cryptography and Data Security, 2017

Towards an emergency edge supercloud.
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.
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.
IEEE Trans. Parallel Distrib. Syst., 2016

Report on the Asia-Pacific Systems Workshop 2015 (APSys'15).
Operating Systems Review, 2016

Ovid: A Software-Defined Distributed Systems Framework to support Consistency and Change.
IEEE Data Eng. Bull., 2016

Safe Serializable Secure Scheduling: Transactions and the Trade-off Between Security and Consistency.
CoRR, 2016

Moving Participants Turtle Consensus.
CoRR, 2016

Service-Oriented Sharding with Aspen.
CoRR, 2016

Consus: Taming the Paxi.
CoRR, 2016

Moving Participants Turtle Consensus.
Proceedings of the 20th International Conference on Principles of Distributed Systems, 2016

Bitcoin-NG: A Scalable Blockchain Protocol.
Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, 2016

Treating software-defined networks like disk arrays.
Proceedings of the IEEE NetSoft Conference and Workshops, 2016

Ovid: A Software-Defined Distributed Systems Framework.
Proceedings of the 8th USENIX Workshop on Hot Topics in Cloud Computing, 2016

Economics of a supercloud.
Proceedings of the 3rd Workshop on CrossCloud Infrastructures & Platforms, 2016

Smart spot instances for the supercloud.
Proceedings of the 3rd Workshop on CrossCloud Infrastructures & Platforms, 2016

Experience with 3 SDN Controllers in an Enterprise Setting.
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.
Proceedings of the Seventh ACM Symposium on Cloud Computing, 2016

Safe Serializable Secure Scheduling: Transactions and the Trade-Off Between Security and Consistency.
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.
IEEE Trans. Parallel Distrib. Syst., 2015

Fireflies: A Secure and Scalable Membership and Gossip Service.
ACM Trans. Comput. Syst., 2015

Vive La Différence: Paxos vs. Viewstamped Replication vs. Zab.
IEEE Trans. Dependable Sec. Comput., 2015

Supercloud: Opportunities and Challenges.
Operating Systems Review, 2015

Paxos Made Moderately Complex.
ACM Comput. Surv., 2015

Bitcoin-NG: A Scalable Blockchain Protocol.
CoRR, 2015


Turtle Consensus: Moving Target Defense for Consensus.
Proceedings of the 16th Annual Middleware Conference, Vancouver, BC, Canada, December 07, 2015

Configuring Distributed Computations Using Response Surfaces.
Proceedings of the 16th Annual Middleware Conference, Vancouver, BC, Canada, December 07, 2015

Cache Serializability: Reducing Inconsistency in Edge Transactions.
Proceedings of the 35th IEEE International Conference on Distributed Computing Systems, 2015

Enforcing Privacy Policies with Meta-Code.
Proceedings of the 6th Asia-Pacific Workshop on Systems, 2015

2014
The story behind the first SIGOPS Dennis M. Ritchie doctoral dissertation award.
Operating Systems Review, 2014

Workshop Report: HotDep 2013 - The 9th workshop on hot topics in dependable systems.
Operating Systems Review, 2014

Distributed Protocols and Heterogeneous Trust: Technical Report.
CoRR, 2014

Controlled Transactional Consistency for Web Caching.
CoRR, 2014

A brief overview of the NEBULA future internet architecture.
Computer Communication Review, 2014

Characterizing Load Imbalance in Real-World Networked Caches.
Proceedings of the 13th ACM Workshop on Hot Topics in Networks, 2014

Ironstack: Performance, Stability and Security for Power Grid Data Networks.
Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

Developing Correctly Replicated Databases Using Formal Tools.
Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

The Energy Efficiency of Database Replication Protocols.
Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

Scalable State-Machine Replication.
Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

2013
Workshop report on LADIS 2012.
Operating Systems Review, 2013

Vive la Différence: Paxos vs. Viewstamped Replication vs. Zab.
CoRR, 2013

An analysis of Facebook photo caching.
Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

Secure Abstraction with Code Capabilities.
Proceedings of the 21st Euromicro International Conference on Parallel, 2013

Sprinkler - Reliable Broadcast for Geographically Dispersed Datacenters.
Proceedings of the Middleware 2013, 2013

Toward a reliable, secure and fault tolerant smart grid state estimation in the cloud.
Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2013


Application-driven TCP recovery and non-stop BGP.
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

SuperCloud: economical cloud service on multiple vendors.
Proceedings of the ACM Symposium on Cloud Computing, SOCC '13, 2013

Leveraging sharding in the design of scalable replication protocols.
Proceedings of the ACM Symposium on Cloud Computing, SOCC '13, 2013

2012
Secure Abstraction with Code Capabilities
CoRR, 2012

Byzantine Chain Replication.
Proceedings of the Principles of Distributed Systems, 16th International Conference, 2012

A diversified and correct-by-construction broadcast service.
Proceedings of the 20th IEEE International Conference on Network Protocols, 2012

ShadowDB: A Replicated Database on a Synthesized Consensus Core.
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?
IEEE Internet Computing, 2011

Nerio: Leader Election and Edict Ordering
CoRR, 2011

2010
Replication Techniques for Availability.
Proceedings of the Replication: Theory and Practice, 2010

Balancing gossip exchanges in networks with firewalls.
Proceedings of the 9th international conference on Peer-to-peer systems, 2010

A middleware for gossip protocols.
Proceedings of the 9th international conference on Peer-to-peer systems, 2010

2009
Slicing Distributed Systems.
IEEE Trans. Computers, 2009

Toward a cloud computing research agenda.
SIGACT News, 2009

Refining the way to consensus.
Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009

2008
Programming Models: Client - Server, Process Groups, and Peer-to-Peer.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

SecureStream: An intrusion-tolerant protocol for live-streaming dissemination.
Computer Communications, 2008

Bosco: One-Step Byzantine Asynchronous Consensus.
Proceedings of the Distributed Computing, 22nd International Symposium, 2008

A fast distributed slicing algorithm.
Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

Program Committee Meetings Considered Harmful.
Proceedings of the Workshop on Organizing Workshops, 2008

Nysiad: Practical Protocol Transformation to Tolerate Byzantine Failures.
Proceedings of the 5th USENIX Symposium on Networked Systems Design & Implementation, 2008

Using live distributed objects for office automation: demo proposal.
Proceedings of the Middleware 2008, 2008

Using live distributed objects for office automation.
Proceedings of the Middleware 2008, 2008

Gossip-based distribution estimation in peer-to-peer networks.
Proceedings of the 7th international conference on Peer-to-peer systems, 2008

The Building Blocks of Consensus.
Proceedings of the Distributed Computing and Networking, 9th International Conference, 2008

Tempest: Soft state replication in the service tier.
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

2007
How robust are gossip-based communication protocols?
Operating Systems Review, 2007

FirePatch: Secure and Time-Critical Dissemination of Software Patches.
Proceedings of the New Approaches for Security, 2007

Making Distributed Applications Robust.
Proceedings of the Principles of Distributed Systems, 11th International Conference, 2007

Self-stabilizing and Byzantine-Tolerant Overlay Network.
Proceedings of the Principles of Distributed Systems, 11th International Conference, 2007

Exploiting Gossip for Self-Management in Scalable Event Notification Systems.
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.
Cluster Computing, 2006

A Scalable Services Architecture.
Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006

Cognitive Adaptive Radio Teams.
Proceedings of the Third Annual IEEE Communications Society Conference on Sensor, 2006

Defense against Intrusion in a Live Streaming Multicast System.
Proceedings of the Sixth IEEE International Conference on Peer-to-Peer Computing (P2P 2006), 2006

MISTRAL: : efficient flooding in mobile ad-hoc networks.
Proceedings of the 7th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, 2006

Fireflies: scalable support for intrusion-tolerant network overlays.
Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006

Making Self-organizing Systems Secure.
Proceedings of the Self-Organizing Systems, First International Workshop, 2006

2005
APSS: proactive secret sharing in asynchronous systems.
ACM Trans. Inf. Syst. Secur., 2005

JiST: an efficient approach to simulation using virtual machines.
Softw., Pract. Exper., 2005

dcOvercoming Communications Challenges in Software for Monitoring and Controlling Power Systems.
Proceedings of the IEEE, 2005

Using randomized techniques to build scalable intrusion-tolerant overlay networks (Keynote).
Proceedings of the 1st International Conference on Collaborative Computing: Networking, 2005

2004
Chain Replication for Supporting High Throughput and Availability.
Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004

Environment mobility: moving the desktop around.
Proceedings of the 2nd Workshop on Middleware for Pervasive and Ad-hoc Computing, 2004

P6P: A Peer-to-Peer Approach to Internet Infrastructure.
Proceedings of the Peer-to-Peer Systems III, Third International Workshop, 2004

Willow: DHT, Aggregation, and Publish/Subscribe in One Protocol.
Proceedings of the Peer-to-Peer Systems III, Third International Workshop, 2004

Adding High Availability and Autonomic Behavior to Web Services.
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.
ACM Trans. Comput. Syst., 2003

The power of epidemics: robust communication for large-scale distributed systems.
Computer Communication Review, 2003

Kelips: Building an Efficient and Stable P2P DHT through Increased Memory and Background Overhead.
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.
Proceedings of the 5th Annual International Workshop on Active Middleware Services (AMS 2003) 2003 Autonomic Computing Workshop, 2003

The Importance of Aggregation.
Proceedings of the Future Directions in Distributed Computing, 2003

WAIF: Web of Asynchronous Information Filters.
Proceedings of the Future Directions in Distributed Computing, 2003

2002
COCA: A secure distributed online certification authority.
ACM Trans. Comput. Syst., 2002

A TACOMA retrospective.
Softw., Pract. Exper., 2002

Implementing IPv6 as a Peer-to-Peer Overlay Network.
Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Collaborative Networking in an Uncooperative Internet.
Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Power-Aware Epidemics.
Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Workshop on Reliable Peer-to-Peer Distributed Systems.
Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Scalable Management and Data Mining Using Astrolabe.
Proceedings of the Peer-to-Peer Systems, First International Workshop, 2002

A Collaborative Infrastructure for Scalable and Robust News Delivery.
Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002

Optimizing Buffer Management for Reliable Multicast.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001
Proving Hybrid Protocols Correct.
Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

Distributing media transformation over multiple media gateways.
Proceedings of the 9th ACM International Conference on Multimedia 2001, Ottawa, Ontario, Canada, September 30, 2001

Protocol Switching: Exploiting Meta-Properties.
ICDCS Workshops, 2001

Scalable Fault-Tolerant Aggregation in Large Process Groups.
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.
Proceedings of the Distributed Computing, 14th International Conference, 2000

Fast protocol transition in a distributed environment (brief announcement).
Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000

An adaptive protocol for localing programmable media gateways.
Proceedings of the 8th ACM International Conference on Multimedia 2000, Los Angeles, CA, USA, October 30, 2000

Scalable and Secure Resource Location.
Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 2000

1999
The hierarchical daisy architecture for causal delivery.
Distributed Systems Engineering, 1999

Specifications and Proofs for Ensemble Layers.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Building reliable, high-performance communication systems from components.
Proceedings of the 17th ACM Symposium on Operating System Principles, 1999

Efficient Buffering in Reliable Multicast Protocols.
Proceedings of the Networked Group Communication, 1999

Six Misconceptions about Reliable Distributed Computing.
Proceedings of the Eighth IEEE International Symposium on High Performance Distributed Computing, 1999

An Execution Service for a Partitionable Low Bandwidth Network.
Proceedings of the Digest of Papers: FTCS-29, 1999

1998
Building Adaptive Systems Using Ensemble.
Softw., Pract. Exper., 1998

Six misconceptions about reliable distributed computing.
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.
Proceedings of the 8th ACM SIGOPS European Workshop: Support for Composing Distributed Applications, 1998

1997
The Hierarchical Daisy Architecture for Causal Delivery.
Proceedings of the 17th International Conference on Distributed Computing Systems, 1997

Optimizing Layered Communication Protocols.
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.
Proceedings of the 6th International Symposium on High Performance Distributed Computing, 1997

1996
Horus: A Flexible Group Communication System.
Commun. ACM, 1996

A Transparent Light-Weight Group Service.
Proceedings of the 15th Symposium on Reliable Distributed Systems, 1996

Strong and Weak Virtual Synchrony in Horus.
Proceedings of the 15th Symposium on Reliable Distributed Systems, 1996

Cryptographic support for fault-tolerant distributed computing.
Proceedings of the 7th ACM SIGOPS European Workshop: Systems Support for Worldwide Applications, 1996

Supporting broad internet access to TACOMA.
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.
Proceedings of the 7th ACM SIGOPS European Workshop: Systems Support for Worldwide Applications, 1996

Masking the Overhead of Protocol Layering.
Proceedings of the ACM SIGCOMM 1996 Conference on Applications, 1996

1995
A Framework for Protocol Composition in Horus.
Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995

Operating system support for mobile agents.
Proceedings of the Fifth Workshop on Hot Topics in Operating Systems, 1995

1994
A Security Architecture for Fault-Toerant Systems.
ACM Trans. Comput. Syst., 1994

Why bother with CATOCS?
Operating Systems Review, 1994

New Applications for Group Computing.
Proceedings of the Theory and Practice in Distributed Systems, International Workshop, 1994

1993
FLIP: An Internetwork Protocol for Supporting Distributed Systems.
ACM Trans. Comput. Syst., 1993

Causal Controvery at Le Mont St.-Michel.
Operating Systems Review, 1993

Light-weight process groups in the Isis system.
Distributed Systems Engineering, 1993

1992
Design and Implementation of a Multicast Transport Service (Abstract).
Operating Systems Review, 1992

FLIP; an Internetwork Protocol for Supporting Distributed Systems (Abstract).
Operating Systems Review, 1992

A RISC approach to process groups.
Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

High availability in a real-time system.
Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

Reliable Multicast between Micro-Kernels.
Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, 1992

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

1991
The Amoeba distributed operating system - A status report.
Computer Communications, 1991

1990
Amoeba: A Distributed Operating System for the 1990s.
IEEE Computer, 1990

Experiences with the Amoeba Distributed Operating System.
Commun. ACM, 1990

1989
The Performance of the Amoeba Distributed Operating system.
Softw., Pract. Exper., 1989

The Evolution of a Distributed Operating System.
Proceedings of the Process in Distributed Operating Systems and Distributed Systems Management, 1989

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

The Design of a High-Performance File Server.
Proceedings of the 9th International Conference on Distributed Computing Systems, 1989

1988
Performance of the World's Fastest Distributed Operating System.
Operating Systems Review, 1988

Functional specialization in distributed operating systems.
Proceedings of the 3rd ACM SIGOPS European Workshop: Autonomy or Interdependence in Distributed Systems? Cambridge, 1988

Voting with Ghosts.
Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

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

Connecting RPC-Based Distributed Systems Using Wide-Area Networks.
Proceedings of the 7th International Conference on Distributed Computing Systems, 1987

1986
A Summary of Parallel Alpha-Beta Search Results.
ICGA Journal, 1986

Making distributed systems palatable.
Proceedings of the 2nd ACM SIGOPS European Workshop, 1986

Using Sparse Capabilities in a Distributed Operating System.
Proceedings of the 6th International Conference on Distributed Computing Systems, 1986

1985
Distributed Operating Systems.
ACM Comput. Surv., 1985


  Loading...