Rodrigo Miragaia Rodrigues

I was a tenure-track faculty at the Max Planck Institute for Software Systems. I am currently a Professor at IST/INESC-ID. You can find links to the papers listed below in my main webpage.

My doctoral advisees at MPI-SWS

• Pramod Bhatotia (now a group leader at TU Dresden).
• Nancy Estrada
• Pedro Fonseca (now a post-doc at the University of Washington).
• Cheng Li
• Daniel Porto (now a doctoral student at the NOVA University of Lisbon).
• Nuno Santos (now an Assistant Professor at IST - Univ. of Lisbon).
• Alexander Wieder (PhD student at MPI-SWS, now advised by Bjoern Brandenburg).

• Visigoth Fault Tolerance

In Proceedings of the Tenth European Conference on Computer Systems (EuroSys 2015). Daniel Porto, Joao Leitao, Cheng Li, Allen Clement, Aniket Kate, Flavio Junqueira, Rodrigo Rodrigues.
• Putting Consistency back into Eventual Consistency

In Proceedings of the Tenth European Conference on Computer Systems (EuroSys 2015). Valter Balegas, Sergio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno Preguica, Mahsa Najafzadeh and Marc Shapiro.
• Guardat: Enforcing data policies at the storage layer

In Proceedings of the Tenth European Conference on Computer Systems (EuroSys 2015). Anjo Vahldiek-Oberwagner, Eslam Elnikety, Aastha Mehta, Deepak Garg, Peter Druschel, Rodrigo Rodrigues, Johannes Gehrke and Ansley Post.
• iThreads: A Threading Library for Parallel Incremental Computation

The 20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2015). Pramod Bhatotia, Umut Acar, Bjoern Brandenburg, and Rodrigo Rodrigues.
• SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration

In Proc. of the 11th Usenix Symposium on Operating Systems Design and Implementation (OSDI 2014). Pedro Fonseca, Rodrigo Rodrigues, Bjoern Brandenburg.
• Slider: Incremental Sliding Window Analytics

In Proc. of the 15th Annual ACM/IFIP/USENIX Middleware conference (Middleware 2014). Pramod Bhatotia, Umut Acar, Flavio Junqueira, and Rodrigo Rodrigues. (Best student paper award.)
• Automating the Choice of Consistency Levels in Replicated Systems

In the 2014 Usenix Annual Technical Conference (Usenix ATC '14). Cheng Li, Joao Leitao, Allen Clement, Nuno Preguica, Rodrigo Rodrigues, Viktor Vafeiadis.
• Enhancing the OS Against Security Threats in System Administration

In the 13th ACM/IFIP/USENIX International Middleware Conference (Middleware'12). Nuno Santos, Rodrigo Rodrigues, Bryan Ford.
• Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary

In the 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI '12). Cheng Li, Daniel Porto, Allen Clement, Johannes Gehrke, Nuno Preguica, and Rodrigo Rodrigues.
• Policy-Sealed Data: A New Abstraction for Building Trusted Cloud Services

In the 21st USENIX Security Symposium (USENIX Security '12). Nuno Santos, Rodrigo Rodrigues, Krishna P. Gummadi, Stefan Saroiu
• On the (Limited) Power of Non-Equivocation

In 31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2012). Allen Clement, Flavio Junqueira, Aniket Kate and Rodrigo Rodrigues.
• Scalable testing of file system checkers

In the 2012 European Conference on Computer Systems (EuroSys '12). Joao Carreira, Rodrigo Rodrigues, George Candea, and Rupak Majumdar.
• Orchestrating the Deployment of Computations in the Cloud with Conductor

In 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI '12). Alexander Wieder, Pramod Bhatotia, Ansley Post, Rodrigo Rodrigues.
• Shredder: GPU-Accelerated Incremental Storage and Computation

In 10th USENIX Conference on File and Storage Technologies (FAST '12). Pramod Bhatotia, Rodrigo Rodrigues, and Akshat Verma.
• Automatic Reconfiguration for Large-Scale Reliable Storage Systems

IEEE Transactions on Dependable and Secure Computing, vol.9, no.2, pp.145-158, March-April 2012. Rodrigo Rodrigues, Barbara Liskov, Kathryn Chen, Moses Liskov, and David Schultz.
• Incoop: MapReduce for Incremental Computations

ACM Symposium on Cloud Computing 2011 (ACM SOCC 2011). Pramod Bhatotia, Alexander Wieder, Rodrigo Rodrigues, Umut A. Acar, and Rafael Pasquini.
• Large-scale Incremental Data Processing with Change Propagation

HotCloud'11: 3rd Usenix Workshop on Hot Topics in Cloud Computing. Pramod Bhatotia, Alexander Wieder, Istemi Ekin Akkus, Rodrigo Rodrigues, and Umut Acar.
• Finding complex concurrency bugs in large multi-threaded applications

6th European conference on Computer systems, EuroSys 2011. Pedro Fonseca, Cheng Li, and Rodrigo Rodrigues.
• Efficient Middleware for Byzantine Fault Tolerant Database Replication

6th European conference on Computer systems, EuroSys 2011. Rui Garcia, Rodrigo Rodrigues, and Nuno Preguica.
• Accountable Virtual Machines

In 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI '10). Andreas Haeberlen, Paarijaat Aditya, Rodrigo Rodrigues, and Peter Druschel.
• Peer-to-peer Systems

In Communications of the ACM. Volume 53 Issue 10, October 2010. Rodrigo Rodrigues and Peter Druschel.
• Reliable Data-Center Scale Computations

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

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

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

In DSN 2010 - 40th IEEE/IFIP International Conference on Dependable Systems and Networks. Pedro Fonseca, Cheng Li, Vishal Singhal and Rodrigo Rodrigues.
• Towards Trusted Cloud Computing

In Workshop on Hot Topics in Cloud Computing (HotCloud '09). Nuno Santos, Krishna P. Gummadi, and Rodrigo Rodrigues.
• Zeno: Eventually Consistent Byzantine Fault Tolerance

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