Rodrigo Miragaia Rodrigues

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.

• Muhammad Bilal (co-advised with Marco Canini, KAUST)
• Joao Loff (co-advised with Joao Garcia, IST)
• Daniel Porto

Previous PhD students and post-docs

• Pramod Bhatotia (PhD student, now full professor at TU Munich)
• Allen Clement (post-doc, now at Dfinity)
• Ricardo Dias (post-doc, now at SUSE Linux GmbH)
• 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 Data Artisans).
• Joao Leitao (post-doc, now assistant professor at FCT - Univ. NOVA Lisboa).
• Cheng Li (PhD student, now assistant professor at University of Science and Technology of China (USTC)).
• Henrique Moniz (post-doc, now at JP Morgan).
• Ricardo L. Pereira (PhD student co-advised with Teresa Vazao, now assistant professor at IST - U. Lisboa)
• Nuno Santos (PhD student, now assistant professor at IST - U. Lisboa)
• Subhajit Sidhanta (post-doc, now assistant professor at IIT Bhilai)

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

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

In Proceedings of the VLDB Endowment, Vol. 13, No. 11.
Muhammad Bilal, Marco Serafini, Marco Canini, Rodrigo Rodrigues.
• Finding the Right Cloud Configuration for Analytics Clusters [to appear]

In Proceedings of the ACM Symposium on Cloud Computing, SoCC 2020.
Muhammad Bilal, Marco Canini, Rodrigo Rodrigues.
• Bandwidth-Aware Page Placement in NUMA [arXiv]

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.

List of program committees on which I served since 2016:

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

You can find my current email address here