I'm a tenure-track faculty at the Max Planck Institute for Software Systems (MPI-SWS) and head of the Dependable Systems Group.

Before that I was an assistant professor at IST/INESC-ID, and a graduate student at MIT.

I'm interested in building reliable systems — from concurrent applications to distributed systems — by improving the methods used to build and deploy them.

More specifically, my group has designed replication techniques that make systems more robust in the presence of components that do not simply crash, but fail in more complex ways. Such complex fault behaviors are commonplace in many deployed systems, but few techniques have been developed to address them. We developed a system called Zeno that provides Byzantine fault tolerance with high availability and eventual consistency.

We are also looking at dependability issues in cloud computing. The aggregation and commoditization of large computing resources is enabling new and interesting applications and raising challenging systems problems. These challenges arise not only from the complex nature of many of the systems that are used, but also from the new trust relationships between the participants of the distributed system.

Finally, we are conducting research that aims to improve the reliability of parallel applications in the presence of concurrency bugs. In particular, we want to explore how we can use spare capacity that is available in multi-core processors to make programs more robust in the presence of such bugs. Some of the initial motivation for this project can be found in a recent study we conducted.

In the past we also conducted research in peer-to-peer overlays. Most recently, we proposed a system called Verme that reorganizes the graph formed by peer-to-peer overlays to improve their resilience to worms that try to propagate faster by following overlay links.

• Pramod Bhatotia
• Pedro Fonseca
• Cheng Li
• Alexander Wieder

• Accountable Virtual Machines

To appear in the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI '10). Andreas Haeberlen, Paarijaat Aditya, Rodrigo Rodrigues, and Peter Druschel.
• Reliable Data-Center Scale Computations

To appear in LADIS 2010: The 4th ACM SIGOPS/SIGACT Workshop on Large Scale Distributed Systems and Middleware. Pramod Bhatotia, Alexander Wieder, Rodrigo Rodrigues, Flavio Junqueira, and Ben Reed.
• Conductor: Orchestrating the Clouds

To appear in LADIS 2010: The 4th ACM SIGOPS/SIGACT Workshop on Large Scale Distributed Systems and Middleware. Alexander Wieder, Pramod Bhatotia, Ansley Post, and Rodrigo Rodrigues.
• Modelling MapReduce for Optimal Execution in the Cloud

To appear as brief announcement in ACM Symposium on Principles of Distributed Computing (PODC 2010). Alexander Wieder, Pramod Bhatotia, Ansley Post, and Rodrigo Rodrigues.
• A Study of the Internal and External Effects of Concurrency Bugs [pdf]

In DSN 2010 - 40th IEEE/IFIP International Conference on Dependable Systems and Networks. Pedro Fonseca, Cheng Li, Vishal Singhal and Rodrigo Rodrigues.
• Automatic Reconfiguration for Large-Scale Reliable Storage Systems

To appear in Transactions on Dependable and Secure Computing, 2010. Rodrigo Rodrigues, Barbara Liskov, Kathryn Chen, Moses Liskov, and David Schultz.
• Towards Trusted Cloud Computing [pdf]

In Workshop on Hot Topics in Cloud Computing (HotCloud '09). Nuno Santos, Krishna P. Gummadi, and Rodrigo Rodrigues.
• Verme: Worm Containment in Overlay Networks [pdf]

In DSN 2009 - 39th IEEE/IFIP International Conference on Dependable Systems and Networks. Filipe Freitas, Edgar Marques, Rodrigo Rodrigues, Carlos Ribeiro, Paulo Ferreira, and Luis Rodrigues.
• Zeno: Eventually Consistent Byzantine Fault Tolerance [pdf]

In the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI '09). Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, and Petros Maniatis
• Preserving Digital Data in Heterogeneous Environments

In the ACM/IEEE-CS Joint Conference on Digital Libraries (JCDL 2009). Gonçalo Antunes, José Barateiro, Manuel Cabral, José Borbinha, and Rodrigo Rodrigues.
• Full-Information Lookups for Peer-to-Peer Overlays

IEEE Transactions on Parallel and Distributed Systems, vol. 20, no. 9. (September 2009) Pedro Fonseca, Rodrigo Rodrigues, Anjali Gupta, and Barbara Liskov.
• Pretty Good Packet Authentication

In Fourth Workshop on Hot Topics in System Dependability (HotDep '08). Andreas Haeberlen, Rodrigo Rodrigues, Krishna Gummadi, and Peter Druschel.
• Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation

In Fourth Workshop on Hot Topics in System Dependability (HotDep '08). Nuno Preguiça, Rodrigo Rodrigues, Cristóvão Honorato, and João Lourenço.
• Defining Weakly Consistent Byzantine Fault-Tolerant Services

Large-Scale Distributed Systems and Middleware (LADIS 2008). Petr Kuznetsov, Rodrigo Rodrigues, Atul Singh, Petros Maniatis, and Pedro Fonseca.
• Pastel: Bridging the Gap Between Structured and Large-State Overlays

In 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid'08). Nuno Cruces, Rodrigo Rodrigues, and Paulo Ferreira.
• Large-Scale Byzantine Fault Tolerance: Safe but Not Always Live.

In Third Workshop on Hot Topics in System Dependability (HotDep'07). Rodrigo Rodrigues, Petr Kouznetsov and Bobby Bhattacharjee.
• Adaptive Search Radius - Lowering Internet P2P File-Sharing Traffic through Self-Restraint.

In Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007). Ricardo Lopes Pereira, Teresa Vazão, and Rodrigo Rodrigues.
• Verme: Worm Containment in Peer-to-Peer Overlays

In the 6th International Workshop on Peer-to-Peer Systems (IPTPS'07). Filipe Freitas, Rodrigo Rodrigues, Carlos Ribeiro, Paulo Ferreira, Luís Rodrigues.
• HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance

In The 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI '06). Seattle, WA, USA. November 2006. James Cowling, Daniel Myers, Barbara Liskov, Rodrigo Rodrigues, and Liuba Shrira.
• Tolerating Byzantine Faulty Clients in a Quorum System [pdf]

In the 26th International Conference on Distributed Computing Systems (ICDCS 2006). Lisbon, Portugal. IEEE Computer Society. July 2006. Barbara Liskov and Rodrigo Rodrigues.
• High Availability in DHTs: Erasure Coding vs. Replication

4th International Workshop on Peer-to-Peer Systems (IPTPS'05). Rodrigo Rodrigues and Barbara Liskov.
• Efficient Routing for Peer-to-Peer Overlays

First Symposium on Networked Systems Design and Implementation (NSDI '04). San Francisco, California, USA. March 2004. Anjali Gupta, Barbara Liskov, and Rodrigo Rodrigues
• High Availability, Scalable Storage, Dynamic Peer Networks: Pick Two

Ninth Workshop on Hot Topics in Operating Systems (HotOS-IX). Lihue, Hawaii, USA. May 2003. Charles Blake and Rodrigo Rodrigues.

• BASE: Using Abstraction to Improve Fault Tolerance

Proceedings of the 18th Symposium on Operating Systems Principles (SOSP '01), Banff, Canada, October 2001. (Best paper award.) Rodrigo Rodrigues, Miguel Castro, and Barbara Liskov.

• 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010)
• 4th Workshop on Recent Advances in Intrusion-Tolerant Systems (WRAITS 2010)
• DSN 2010 - The 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
• 7th USENIX Symposium on Networked Systems Design and Implementation (NSDI '10)
• 9th International Workshop on Peer-to-Peer Systems (IPTPS '10)
• LADIS 2009 - 3rd ACM SIGOPS International Workshop on Large Scale Distributed Systems and Middleware
• BFTW3: Workshop on Theory and Practice of Byzantine Fault Tolerance (Program co-chair)
• Fifth Workshop on Hot Topics in System Dependability (HotDep 2009) (Program co-chair)
• 8th International Workshop on Peer-to-Peer Systems (IPTPS '09) (Program co-chair)
• EuroSys'09, the European Conference on Computer Systems
• 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI '08)
• Fourth Workshop on Hot Topics in System Dependability (HotDep '08)
• Second EuroSys Doctoral Workshop
• Second Workshop on Recent Advances on Intrusion-Tolerant Systems
• 11th Workshop on Hot Topics in Operating Systems (HotOS '07)
• First Workshop on Recent Advances on Intrusion-Tolerant Systems
• Sixth International Workshop on Peer-to-Peer Systems (IPTPS '07)
• The First EuroSys Authoring Workshop (co-chair)

Distributed Systems, Saarland University, Summer Semester 2010

Operating Systems, Saarland University, Summer Semester 2009

Operating Systems, Saarland University, Summer Semester 2008

The Dependable Systems Group has research opportunities for post-docs, PhD students, and research interns. For post-doc applications please contact me directly, and for the remaining applications please visit the Institute's career opportunities page.

Max Planck Institute for Software Systems. Campus E1.4

66123 Saarbrucken. Germany

Email: