Robbert van Renesse
According to our database1,
Robbert van Renesse
authored at least 181 papers
between 1985 and 2019.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2009, "For contributions to fault-tolerant distributed computing.".
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:
On csauthors.net:
Bibliography
2019
Derecho: Fast State Machine Replication for Cloud Services.
ACM Trans. Comput. Syst., 2019
Asynchronous Consensus Without Rounds.
CoRR, 2019
Scalable and Probabilistic Leaderless BFT Consensus through Metastability.
CoRR, 2019
Charlotte: Composable Authenticated Distributed Data Structures, Technical Report.
CoRR, 2019
X-Containers: Breaking Down Barriers to Improve Performance and Isolation of Cloud-Native Containers.
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019
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
SGX Enforcement of Use-Based Privacy.
Proceedings of the 2018 Workshop on Privacy in the Electronic Society, 2018
Vegvisir: A Partition-Tolerant Blockchain for the Internet-of-Things.
Proceedings of the 38th IEEE International Conference on Distributed Computing Systems, 2018
Decentralization in Bitcoin and Ethereum Networks.
Proceedings of the Financial Cryptography and Data Security, 2018
Untethered: Deployable Blockchains for IoT Environments.
Proceedings of the ACM Symposium on Cloud Computing, 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
Wormhole: Reliable Pub-Sub to Support Geo-replicated Internet Services.
Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 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
The NEBULA Future Internet Architecture.
Proceedings of the Future Internet, 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
Scalable Wireless Ad Hoc Network Simulation.
Proceedings of the Handbook on Theoretical and Algorithmic Aspects of Sensor, 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.
Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 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
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