Rodrigo Rodrigues

About | Papers | Program Committees | Teaching @MPI | Contact

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.

Current PhD students

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

 

 


Selected recent papers

(More complete list available in the homepage of the Dependable Systems Group.)

CACM October 2010 cover
  • 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

 

 


Contact Information

Max Planck Institute for Software Systems. Campus E1.4

66123 Saarbrucken. Germany

Email: