I'm an associate professor at the computer science department of the Universidade Nova de Lisboa, and a member of the CITI research lab.

Previously, I led the Dependable Systems Group at the Max Planck Institute for Software Systems, and was an assistant professor at IST. Before that, I was a PhD student at MIT.

Projects

I am currently pursuing three main projects, funded by an ERC Starting Grant. The main topics covered by these projects are:

• Finding principled ways to build geo-replicated and weakly consistent services (Representative paper).
• Fault models that better reflect the behavior of large-scale distributed systems (Representative paper).
• Scalabe incremental computations (Representative paper).

• Pramod Bhatotia
• Daniel Charles
• Pedro Fonseca
• Cheng Li
• Nuno Santos

Previous PhD students and post-docs

• Allen Clement (post-doc, now a tenure-track faculty at MPI-SWS)
• Ricardo Lopes Pereira (co-advised PhD student, now an assistant professor at IST - Technical University of Lisbon)
• Alexander Wieder (PhD student at MPI-SWS now advised by Bjoern Brandenburg)

The research leading to these results has received funding from the European Research Council under the ERC Grant Agreement number 307732.

• 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

• LADIS 2013 - Large Scale Distributed Systems and Middleware
• DSN 2013 - The 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DCCS track).
• EuroSys'13, the European Conference on Computer Systems
• EuroSys'12, the European Conference on Computer Systems
• CCSW 2011: The ACM Cloud Computing Security Workshop (in conjunction with the 17th ACM Conference on Computer and Communications Security, CCS 2011)
• DCDV 2011 - The 1st International Workshop on Dependability of Clouds, Data Centers and Virtual Computing Environments
• SYSTOR 2011 - The 4th Annual International Systems and Storage Conference
• 5th EuroSys Doctoral Workshop (EuroDW 2011)
• 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 and Algorithms, Master's, Fall term 2012/13

Computer Architecture, Universidade Nova de Lisboa, undergraduate, spring term 2012

We have research opportunities available for students and researchers at different levels (UROP, Master's, PhD, post-doc). If you are interested, please contact me and also visit the department's webpage for information about our PhD program in computer science or the dual degree program with CMU.

Email: FirstName.LastName at fct.unl.pt