Rodrigo Miragaia Rodrigues

Rodrigo Miragaia Rodrigues

About | Students | Bio | Papers | Professional Service | Contact

About

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

  • Mafalda Sofia Ferreira (co-advised with João Garcia, IST)
  • João Goncalves (co-advised with Miguel Matos, IST)
  • João Loff (co-advised with João Garcia, IST)
  • Diogo Pacheco (co-advised with João Barreto, Paolo Romano, IST)
  • Vladyslav Shumanskyy (co-advised with Marco Canini, KAUST)

Previous PhD students and post-docs

  • Muhammad Bilal (PhD student, now team lead at Unbabel)
  • Pramod Bhatotia (PhD student, now full professor at TU Munich, previously a Reader at University of Edinburgh)
  • Allen Clement (post-doc, now at Improbable)
  • Ricardo Dias (post-doc, now at SingleStore)
  • Filipe Freitas (PhD student co-advised with Joao Leitao, now Professor at Polytechnic Institute of Lisbon)
  • Pedro Fonseca (PhD student, now assistant professor at Purdue University).
  • Kostas Kloudas (post-doc, now at Snowflake).
  • Joao Leitao (post-doc, now associate professor at FCT - Univ. NOVA Lisboa).
  • Cheng Li (PhD student, now associate professor at University of Science and Technology of China (USTC)).
  • Henrique Moniz (post-doc, now at Protocol Labs).
  • Ricardo L. Pereira (PhD student, main advisor was Teresa Vazao, on leave from IST - U. Lisboa, assistant professor)
  • Daniel Porto (PhD student)
  • Nuno Santos (PhD student, now associate professor at IST - U. Lisboa)
  • Subhajit Sidhanta (post-doc, now assistant professor at IIT Bhilai)

 

 


Bio

Rodrigo Rodrigues is a full professor at the Instituto Superior Tecnico (ULisboa) and a researcher at INESC-ID since 2015. Previously, he was a faculty at the Nova University of Lisbon, and prior to that at the Max Planck Institute for Software Systems (MPI-SWS), where he led the Dependable Systems Group. He received his PhD degree from the Massachusetts Institute of Technology (MIT) in 2005, under the supervision of Prof. Barbara Liskov. He has won several fellowships and awards, including a best paper award at the Symposium on Operating Systems Principles, the flagship conference in computer systems, a special recognition award from MIT's Department of Electrical Engineering and Computer Science, an ERC starting grant, and a Google faculty research award. He published and served on the program committee of the leading venues in the systems area, including SOSP, OSDI, NSDI, ASPLOS, and as program co-chair of EuroSys. He has graduated a total of seven PhD students as main advisor, who have taken on tenure-track and tenured faculty positions in leading academic institutions such as Purdue, Univ. Edinburgh, TU Munich, or USTC in China. His service record includes serving as co-director of the Carnegie Mellon-Portugal program, the research axis of the Portuguese National Digital Skills Initiative e.2030, and, more recently, as President of the Scientific Council of Instituto Superior Técnico.

 

 


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.

  • Alea-BFT: Practical Asynchronous Byzantine Fault Tolerance [pdf] [arXiv (2022)]

  • In The 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24)
    Diogo S. Antunes, Afonso N. Oliveira, André Breda, Matheus Guilherme Franco, Henrique Moniz, Rodrigo Rodrigues

  • Antipode: Enforcing Cross-Service Causal Consistency in Distributed Applications [pdf] [full version (with appendix)]

  • In Proc. 29th ACM Symposium on Operating Systems Principles (SOSP 2023)
    João Loff, Daniel Porto, João Garcia, Jonathan Mace, Rodrigo Rodrigues.

  • With Great Freedom Comes Great Opportunity: Rethinking Resource Allocation for Serverless Functions [pdf]

  • In Proceedings of the Eighteenth European Conference on Computer Systems, EuroSys 2023
    Muhammad Bilal, Marco Canini, Rodrigo Fonseca, Rodrigo Rodrigues

  • Mumak: Efficient and Black-Box Bug Detection for Persistent Memory [pdf]

  • In Proceedings of the Eighteenth European Conference on Computer Systems, EuroSys 2023
    João Gonçalves, Miguel Matos, Rodrigo Rodrigues

  • RR: A Fault Model for Efficient TEE Replication [pdf]

  • In Proc. 30th Annual Network and Distributed System Security Symposium, NDSS 2023.
    Baltasar Dinis, Peter Druschel, Rodrigo Rodrigues

  • SconeKV: A Scalable, Strongly Consistent Key-Value Store [pdf]

  • In IEEE Transactions on Parallel and Distributed Systems, vol. 33, no. 12, pp. 4164-4175, 1 Dec. 2022.
    João Gonçalves, Miguel Matos, Rodrigo Rodrigues

  • Do the Best Cloud Configurations Grow on Trees? An Experimental Evaluation of Black Box Algorithms for Optimizing Cloud Workloads [pdf]

  • In PVLDB - Proceedings of the VLDB Endowment, Vol. 13, No. 11. July 2020
    Muhammad Bilal, Marco Serafini, Marco Canini, Rodrigo Rodrigues.

  • Finding the Right Cloud Configuration for Analytics Clusters [pdf]

  • In Proceedings of the ACM Symposium on Cloud Computing, SoCC 2020.
    Muhammad Bilal, Marco Canini, Rodrigo Rodrigues.

  • Bandwidth-Aware Page Placement in NUMA [pdf]

  • In Proc. 34th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2020.
    David Gureya, Joao Neto, Reza Karimi, Joao Barreto, Pramod Bhatotia, Vivien Quema, Rodrigo Rodrigues, Paolo Romano, and Vladimir Vlassov

  • A More Consistent Understanding of Consistency [pdf]

  • In Proc. 38th IEEE Symposium on Reliable Distributed Systems, SRDS 2019.
    Subhajit Sidhanta, Ricardo Dias and Rodrigo Rodrigues

  • IPA: Invariant-preserving Applications for Weakly consistent Replicated Databases [pdf]

  • In PVLDB - Proceedings of the VLDB Endowment, Vol. 12, No. 4, December 2018. (Presented at VLDB 2019.) CC BY-NC-ND 4.0
    Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno Preguiça

  • Fine-grained consistency for geo-replicated systems [pdf]

  • In Proceedings of the 2018 USENIX Annual Technical Conference (USENIX ATC '18).
    Cheng Li, Nuno M. Preguiça, Rodrigo Rodrigues

  • The Tortoise and the Hare: Characterizing Synchrony in Distributed Environments [pdf]

  • In Proc. 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018.
    Daniel Porto, João Leitão, Flavio Junqueira, Rodrigo Rodrigues

  • Fine-Grained Consistency Upgrades for Online Services [pdf]

  • In Proc. 36th IEEE Symposium on Reliable Distributed Systems, SRDS 2017.
    Filipe Freitas, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues

  • Generalized Paxos Made Byzantine (and Less Complex) [preprint]

  • In Proc. Stabilization, Safety, and Security of Distributed Systems - 19th International Symposium, SSS 2017.
    Extended version in Algorithms, Volume 11, Number 9, September 2018.
    Miguel Pires, Srivatsan Ravi, Rodrigo Rodrigues

  • 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 www.springerlink.com.


Professional Service

List of conference program committees on which I served since 2016:

  • EuroSys 2024 - 19th European Conference on Computer Systems
  • ASPLOS 2024 - ACM International Conference on Architectural Support for Programming Languages and Operating Systems (external review committee)
  • EuroSys 2022 - 17th European Conference on Computer Systems
  • SOSP 2021 - The 28th ACM Symposium on Operating Systems Principles
  • EuroSys 2020 - 15th European Conference on Computer Systems
  • ASPLOS 2020 - 25th International Conference on Architectural Support for Programming Languages and Operating Systems (external review committee)
  • EuroSys 2019 - 14th European Conference on Computer Systems
  • ASPLOS 2019 - 24th International Conference on Architectural Support for Programming Languages and Operating Systems (external review committee)
  • SOSP 2017 - 26th ACM Symposium on Operating Systems Principles
  • EuroSys 2016 - 11th European Conference on Computer Systems (Program co-chair)

 

 


Contact

You can find my current email address here