Rodrigo Miragaia Rodrigues

Rodrigo Miragaia Rodrigues

About | Students | Papers | Contact


I am a full professor ("professor catedrático") at IST, and a member of the INESC-ID research laboratory.

Previously, I was an associate professor at the Universidade Nova de Lisboa, a tenure-track faculty at MPI-SWS, and a graduate student at MIT.


Current PhD students

  • Filipe Freitas
  • João Loff
  • Chris Meiklejohn
  • Daniel Porto

Current post-docs

  • Subhajit Sidhanta

Previous PhD students and post-docs

  • Pramod Bhatotia (PhD student, now Senior Lecturer at University of Edinburgh)
  • Allen Clement (post-doc, now at Google in Zurich)
  • Ricardo Dias (post-doc, now at SUSE Linux GmbH)
  • Pedro Fonseca (PhD student, now post-doc at the University of Washington).
  • Kostas Kloudas (now at Data Artisans).
  • Joao Leitao (post-doc, now Assistant Professor at FCT - Univ. NOVA Lisboa).
  • Cheng Li (PhD student, now at Oracle).
  • Henrique Moniz (post-doc, now at Google in NYC).
  • Ricardo L. Pereira (co-advised PhD student, now assistant professor at IST - U. Lisboa)
  • Nuno Santos (PhD student, now an assistant professor at IST - U. Lisboa)



Selected recent papers (since 2010)

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

  • Blotter: Low Latency Transactions for Geo-Replicated Storage [pdf]

  • In Proc. 26th International World Wide Web Conference (WWW 2017).
    Henrique Moniz, Joao Leitao, Ricardo J Dias, Johannes Gehrke, Nuno Preguiça, and Rodrigo Rodrigues

  • Pixida: Optimizing Data Parallel Jobs in Wide-Area Data Analytics [pdf]

  • In PVLDB - Proceedings of the VLDB Endowment. Volume 9, No. 2, October 2015. The 42nd International Conference on Very Large Data Bases (VLDB 2016), New Delhi, India. CC BY-NC-ND 4.0
    Konstantinos Kloudas, Margarida Mamede, Nuno Preguiça, Rodrigo Rodrigues.

  • IncApprox: A Data Analytics System for Incremental Approximate Computing [pdf]

  • In Proc. 25th International World Wide Web Conference (WWW 2016).
    Dhanya R Krishnan, Do Le Quoc, Pramod Bhatotia, Christof Fetzer, and Rodrigo Rodrigues

  • Characterizing the Consistency of Online Services [pdf]

  • In the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - DSN 2016 (Practical Experience Reports)
    Filipe Freitas, João Leitao, Nuno Preguiça, Rodrigo Rodrigues

  • Geo-Replication: Fast If Possible, Consistent If Necessary [link]

  • In Bulletin of the Technical Committee on Data Engineering. IEEE Computer Society. March 2016.
    Valter Balegas, Cheng Li, Mahsa Najafzadeh, Daniel Porto, Allen Clement, Sergio Duarte, Carla Ferreira, Johannes Gehrke, Joao Leitao, Nuno Preguica, Rodrigo Rodrigues, Marc Shapiro, Viktor Vafeiadis.

  • Making Weak Consistency Great Again [pdf]

  • In Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC 2016).
    Valter Balegas, Nuno Preguiça, Sergio Duarte, Carla Ferreira and Rodrigo Rodrigues.

  • Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants [pdf]

  • In Proceedings of the IEEE 34th Symposium on Reliable Distributed Systems (SRDS 2015).
    Valter Balegas, Diogo Serra, Sergio Duarte, Carla Ferreira, Marc Shapiro, Rodrigo Rodrigues, Nuno Preguiça.

  • Visigoth Fault Tolerance [pdf]

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

  • Putting Consistency back into Eventual Consistency [pdf]

  • In Proceedings of the Tenth European Conference on Computer Systems (EuroSys 2015). doi
    Valter Balegas, Sergio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno Preguiça, Mahsa Najafzadeh and Marc Shapiro.

  • Guardat: Enforcing data policies at the storage layer [pdf]

  • In Proceedings of the Tenth European Conference on Computer Systems (EuroSys 2015). doi
    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 [pdf]

  • In Proc. of the 20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2015). doi
    Pramod Bhatotia, Umut Acar, Bjoern Brandenburg, and Rodrigo Rodrigues.

  • Towards Fast Invariant Preservation in Geo-replicated Systems [link]

  • SIGOPS Operating Systems Review , Volume 49 Issue 1.
    Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno Preguiça, Mahsa Najafzadeh, Marc Shapiro.

  • 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). doi
    Pramod Bhatotia, Umut Acar, Flavio Junqueira, and Rodrigo Rodrigues. (Best student paper award.)

  • 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 Preguiça, 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). link
    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 Preguiça, 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). doi
    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). doi
    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 [link]

  • 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). doi
    Pramod Bhatotia, Alexander Wieder, Rodrigo Rodrigues, Umut A. Acar, and Rafael Pasquini.

  • Finding complex concurrency bugs in large multi-threaded applications [pdf]

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

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

  • 6th European conference on Computer systems, EuroSys 2011. doi
    Rui Garcia, Rodrigo Rodrigues, and Nuno Preguiça.

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

For the papers appearing at ASPLOS, EuroSys, PODC, Middleware'14 and SoCC, the copyright is held by the ACM. The version that is posted is for your personal use, not for redistribution. For the paper appearing at Middleware'12, the original publication is available at




You can find my current email address here