Rodrigo Miragaia Rodrigues

Rodrigo Rodrigues

About | Papers

About

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).

 

 


CACM October 2010 cover

Selected recent papers

  • 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