Rodrigo Rodrigues

About | Papers | Program Committees | Teaching @MPI

About

I am an adjunct faculty (and was previously a tenure-track faculty) at the Max Planck Institute for Software Systems (MPI-SWS) and head of the Dependable Systems Group. I am currently an associate professor at the NOVA University of Lisbon.

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

PhD students at MPI-SWS

  • Pramod Bhatotia
  • Daniel Charles (now a doctoral student at the NOVA University of Lisbon)
  • Nancy Estrada
  • Pedro Fonseca
  • Cheng Li

 

 


Selected recent papers

CACM October 2010 cover
  • iThreads: A Threading Library for Parallel Incremental Computation [pdf]

  • To appear in 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 [pdf]

  • 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 [pdf]

  • In Proc. of the 15th Annual ACM/IFIP/USENIX Middleware conference (Middleware 2014). Pramod Bhatotia, Umut Acar, Flavio Junqueira, and Rodrigo Rodrigues.

  • Automating the Choice of Consistency Levels in Replicated Systems [pdf]

  • 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 [pdf]

  • 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 [pdf]

  • 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 [pdf]

  • 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 [pdf]

  • 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 [pdf]

  • 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 [pdf]

  • 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 [pdf]

  • 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 [pdf]

  • 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 [pdf]

  • 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 [pdf]

  • 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 [pdf]

  • 6th European conference on Computer systems, EuroSys 2011. Pedro Fonseca, Cheng Li, and Rodrigo Rodrigues.

  • Efficient Middleware for Byzantine Fault Tolerant Database Replication [pdf]

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

  • Accountable Virtual Machines [pdf]

  • 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 [link]

  • In Communications of the ACM. Volume 53 Issue 10, October 2010. Rodrigo Rodrigues and Peter Druschel.

  • Reliable Data-Center Scale Computations [pdf]

  • 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 [pdf]

  • 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 [pdf]

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

  • 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

 

 


Program Committees

 

 


Teaching (at MPI-SWS)

Operating Systems, Saarland University, core graduate course, Summer Semester 2011

Recent Advances in Computer Systems, Saarland University, graduate seminar course, Winter Semester 2010/11

Distributed Systems, Saarland University, core graduate course, Summer Semester 2010

Operating Systems, Saarland University, core graduate course, Summer Semester 2009

Operating Systems, Saarland University, core graduate course, Summer Semester 2008