Using Abstraction To Improve Fault Tolerance. - Miguel Castro 001; Rodrigo Rodrigues 001; Barbara Liskov (HotOS, 2001)

BASE: Using Abstraction to Improve Fault Tolerance. - Rodrigo Rodrigues 001; Miguel Castro 001; Barbara Liskov (SOSP, 2001)

The design of a robust peer-to-peer system. - Rodrigo Rodrigues 001; Barbara Liskov; Liuba Shrira (ACM SIGOPS European Workshop, 2002)

High Availability, Scalable Storage, Dynamic Peer Networks: Pick Two. - Charles Blake 001; Rodrigo Rodrigues 001 (HotOS, 2003)

One Hop Lookups for Peer-to-Peer Overlays. - Anjali Gupta; Barbara Liskov; Rodrigo Rodrigues 001 (HotOS, 2003)

When Multi-hop Peer-to-Peer Lookup Matters. - Rodrigo Rodrigues 001; Charles Blake 001 (IPTPS, 2004)

Efficient Routing for Peer-to-Peer Overlays. - Anjali Gupta; Barbara Liskov; Rodrigo Rodrigues 001 (NSDI, 2004)

Brief announcement: reconfigurable byzantine-fault-tolerant atomic memory. - Rodrigo Rodrigues 001; Barbara Liskov (PODC, 2004)

Transactional file systems can be fast. - Barbara Liskov; Rodrigo Rodrigues 001 (ACM SIGOPS European Workshop, 2004)

High Availability in DHTs: Erasure Coding vs. Replication. - Rodrigo Rodrigues 001; Barbara Liskov (IPTPS, 2005)

Byzantine Clients Rendered Harmless. - Barbara Liskov; Rodrigo Rodrigues 001 (DISC, 2005)

Robust services in dynamic systems. - Rodrigo Seromenho Miragaia Rodrigues (2005)

Tolerating Byzantine Faulty Clients in a Quorum System. - Barbara Liskov; Rodrigo Rodrigues 001 (ICDCS, 2006)

HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance. - James A. Cowling; Daniel S. Myers; Barbara Liskov; Rodrigo Rodrigues 001; Liuba Shrira (OSDI, 2006)

GiGi: An Ocean of Gridlets on a "Grid-for-the-Masses". - Luís Veiga; Rodrigo Rodrigues 001; Paulo Ferreira 001 (CCGRID, 2007)

Verme: Worm Containment in Peer-to-Peer Overlays. - Filipe Freitas; Rodrigo Rodrigues 001; Carlos Ribeiro; Paulo Ferreira 001; Luís E. T. Rodrigues (IPTPS, 2007)

Adaptive Search Radius - Lowering Internet P2P File-Sharing Traffic through Self-Restraint. - Ricardo J. F. Lopes Pereira; Teresa Maria Vazão; Rodrigo Rodrigues 001 (NCA, 2007)

Pastel: Bridging the Gap between Structured and Large-State Overlays. - Nuno Cruces; Rodrigo Rodrigues 001; Paulo Ferreira 001 (CCGRID, 2008)

Digital Preservation of Scientific Data. - José Barateiro; Gonçalo Antunes; Manuel Cabral; José Borbinha; Rodrigo Rodrigues 001 (ECDL, 2008)

Pretty Good Packet Authentication. - Andreas Haeberlen; Rodrigo Rodrigues 001; P. Krishna Gummadi; Peter Druschel (HotDep, 2008)

Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation. - Nuno M. Preguiça; Rodrigo Rodrigues 001; Cristóvão Honorato; João Lourenço (HotDep, 2008)

Using a Grid for Digital Preservation. - José Barateiro; Gonçalo Antunes; Manuel Cabral; José Borbinha; Rodrigo Rodrigues 001 (ICADL, 2008)

Challenges facing tomorrow's datacenter: summary of the LADiS workshop. - Robbert van Renesse; Rodrigo Rodrigues 001; Mike Spreitzer; Christopher Stewart; Doug Terry; Franco Travostino (LADIS, 2008)

Defining weakly consistent Byzantine fault-tolerant services. - Atul Singh; Pedro Fonseca 001; Petr Kuznetsov; Rodrigo Rodrigues 001; Petros Maniatis (LADIS, 2008)

Fifth Workshop on Hot Topics in System Dependability (HotDep 2009). - Christof Fetzer; Rodrigo Rodrigues 001 (DSN, 2009)

Verme: Worm containment in overlay networks. - Filipe Freitas; Edgar Marques; Rodrigo Rodrigues 001; Carlos Ribeiro; Paulo Ferreira 001; Luís E. T. Rodrigues (DSN, 2009)

Towards Trusted Cloud Computing. - Nuno Santos 001; Krishna P. Gummadi; Rodrigo Rodrigues 001 (HotCloud, 2009)

Preserving digital data in heterogeneous environments. - Gonçalo Antunes; José Barateiro; Manuel Cabral; José Borbinha; Rodrigo Rodrigues 001 (JCDL, 2009)

Zeno: Eventually Consistent Byzantine-Fault Tolerance. - Atul Singh; Pedro Fonseca 001; Petr Kuznetsov; Rodrigo Rodrigues 001; Petros Maniatis (NSDI, 2009)

BFTW3: why? when? where? workshop on the theory and practice of byzantine fault tolerance. - Petr Kuznetsov; Rodrigo Rodrigues 001 (SIGACT News, 2009)

Barbara Liskov's turing award. - Rodrigo Rodrigues 001 (SIGACT News, 2009)

Full-Information Lookups for Peer-to-Peer Overlays. - Pedro Fonseca 001; Rodrigo Rodrigues 001; Anjali Gupta; Barbara Liskov (IEEE Trans. Parallel Distributed Syst., 2009)

A study of the internal and external effects of concurrency bugs. - Pedro Fonseca 001; Cheng Li 001; Vishal Singhal; Rodrigo Rodrigues 001 (DSN, 2010)

Reliable data-center scale computations. - Pramod Bhatotia; Alexander Wieder; Rodrigo Rodrigues 001; Flavio Junqueira; Benjamin C. Reed (LADIS, 2010)

Conductor: orchestrating the clouds. - Alexander Wieder; Pramod Bhatotia; Ansley Post; Rodrigo Rodrigues 001 (LADIS, 2010)

Accountable Virtual Machines. - Andreas Haeberlen; Paarijaat Aditya; Rodrigo Rodrigues 001; Peter Druschel (OSDI, 2010)

Brief announcement: modelling MapReduce for optimal execution in the cloud. - Alexander Wieder; Pramod Bhatotia; Ansley Post; Rodrigo Rodrigues 001 (PODC, 2010)

Peer-to-peer systems. - Rodrigo Rodrigues 001; Peter Druschel (Commun. ACM, 2010)

Incoop: MapReduce for incremental computations. - Pramod Bhatotia; Alexander Wieder; Rodrigo Rodrigues 001; Umut A. Acar; Rafael Pasquini (SoCC, 2011)

Finding complex concurrency bugs in large multi-threaded applications. - Pedro Fonseca 001; Cheng Li 001; Rodrigo Rodrigues 001 (EuroSys, 2011)

Efficient middleware for byzantine fault tolerant database replication. - Rui Garcia; Rodrigo Rodrigues 001; Nuno M. Preguiça (EuroSys, 2011)

Large-scale Incremental Data Processing with Change Propagation. - Pramod Bhatotia; Alexander Wieder; Istemi Ekin Akkus; Rodrigo Rodrigues 001; Umut A. Acar (HotCloud, 2011)

Scalable testing of file system checkers. - João Carlos Menezes Carreira; Rodrigo Rodrigues 001; George Candea; Rupak Majumdar (EuroSys, 2012)

Shredder: GPU-accelerated incremental storage and computation. - Pramod Bhatotia; Rodrigo Rodrigues 001; Akshat Verma (FAST, 2012)

Enhancing the OS against Security Threats in System Administration. - Nuno Santos 001; Rodrigo Rodrigues 001; Bryan Ford (Middleware, 2012)

Orchestrating the Deployment of Computations in the Cloud with Conductor. - Alexander Wieder; Pramod Bhatotia; Ansley Post; Rodrigo Rodrigues 001 (NSDI, 2012)

Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary. - Cheng Li 001; Daniel Porto 002; Allen Clement; Johannes Gehrke; Nuno M. Preguiça; Rodrigo Rodrigues 001 (OSDI, 2012)

On the (limited) power of non-equivocation. - Allen Clement; Flavio Junqueira; Aniket Kate; Rodrigo Rodrigues 001 (PODC, 2012)

Policy-Sealed Data: A New Abstraction for Building Trusted Cloud Services. - Nuno Santos 001; Rodrigo Rodrigues 001; Krishna P. Gummadi; Stefan Saroiu (USENIX Security Symposium, 2012)

Adaptive Search Radius - Using hop count to reduce P2P traffic. - Ricardo J. F. Lopes Pereira; Teresa Maria Vazão; Rodrigo Rodrigues 001 (Comput. Networks, 2012)

Automatic Reconfiguration for Large-Scale Reliable Storage Systems. - Rodrigo Rodrigues 001; Barbara Liskov; Kathryn Chen; Moses D. Liskov; David A. Schultz (IEEE Trans. Dependable Secur. Comput., 2012)

Incremental MapReduce Computations. - Pramod Bhatotia; Alexander Wieder; Umut A. Acar; Rodrigo Rodrigues 001 (Large Scale and Big Data, 2014)

Slider: incremental sliding window analytics. - Pramod Bhatotia; Umut A. Acar; Flavio Paiva Junqueira; Rodrigo Rodrigues 001 (Middleware, 2014)

SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration. - Pedro Fonseca 001; Rodrigo Rodrigues 001; Björn B. Brandenburg (OSDI, 2014)

The Case for Fast and Invariant-Preserving Geo-Replication. - Valter Balegas; Sérgio Duarte; Carla Ferreira 001; Rodrigo Rodrigues 001; Nuno M. Preguiça; Marc Shapiro 001; Mahsa Najafzadeh (SRDS Workshops, 2014)

Automating the Choice of Consistency Levels in Replicated Systems. - Cheng Li 001; João Leitão 001; Allen Clement; Nuno M. Preguiça; Rodrigo Rodrigues 001; Viktor Vafeiadis (USENIX ATC, 2014)

iThreads: A Threading Library for Parallel Incremental Computation. - Pramod Bhatotia; Pedro Fonseca 001; Umut A. Acar; Björn B. Brandenburg; Rodrigo Rodrigues 001 (ASPLOS, 2015)

Minimizing coordination in replicated systems. - Cheng Li 001; João Leitão 001; Allen Clement; Nuno M. Preguiça; Rodrigo Rodrigues 001 (PaPoC@EuroSys, 2015)

Putting consistency back into eventual consistency. - Valter Balegas; Sérgio Duarte; Carla Ferreira 001; Rodrigo Rodrigues 001; Nuno M. Preguiça; Mahsa Najafzadeh; Marc Shapiro 001 (EuroSys, 2015)

Visigoth fault tolerance. - Daniel Porto 002; João Leitão 001; Cheng Li 001; Allen Clement; Aniket Kate; Flavio Paiva Junqueira; Rodrigo Rodrigues 001 (EuroSys, 2015)

Guardat: enforcing data policies at the storage layer. - Anjo Vahldiek-Oberwagner; Eslam Elnikety; Aastha Mehta; Deepak Garg 001; Peter Druschel; Rodrigo Rodrigues 001; Johannes Gehrke; Ansley Post (EuroSys, 2015)

Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants. - Valter Balegas; Diogo Serra; Sérgio Duarte; Carla Ferreira 001; Marc Shapiro 001; Rodrigo Rodrigues 001; Nuno M. Preguiça (SRDS, 2015)

Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants. - Valter Balegas; Diogo Serra; Sérgio Duarte; Carla Ferreira 001; Rodrigo Rodrigues 001; Nuno M. Preguiça; Marc Shapiro 001; Mahsa Najafzadeh (CoRR, 2015)

PIXIDA: Optimizing Data Parallel Jobs in Wide-Area Data Analytics. - Konstantinos Kloudas; Rodrigo Rodrigues 001; Nuno M. Preguiça; Margarida Mamede (Proc. VLDB Endow., 2015)

Towards Fast Invariant Preservation in Geo-replicated Systems. - Valter Balegas; Sérgio Duarte; Carla Ferreira 001; Rodrigo Rodrigues 001; Nuno M. Preguiça; Mahsa Najafzadeh; Marc Shapiro 001 (ACM SIGOPS Oper. Syst. Rev., 2015)

LADIS'14: 8th Workshop on Large-Scale Distributed Systems and Middleware. - Gregory V. Chockler; Flavio Junqueira; Rodrigo Rodrigues 001; Ymir Vigfusson (ACM SIGOPS Oper. Syst. Rev., 2015)

Characterizing the Consistency of Online Services (Practical Experience Report). - Filipe Freitas; João Leitão 001; Nuno M. Preguiça; Rodrigo Rodrigues 001 (DSN, 2016)

Making weak consistency great again. - Valter Balegas; Sérgio Duarte; Carla Ferreira 001; Nuno M. Preguiça; Rodrigo Rodrigues 001 (PaPoC@EuroSys, 2016)

IncApprox: A Data Analytics System for Incremental Approximate Computing. - Dhanya R. Krishnan; Do Le Quoc; Pramod Bhatotia; Christof Fetzer; Rodrigo Rodrigues 001 (WWW, 2016)

Geo-Replication: Fast If Possible, Consistent If Necessary. - Valter Balegas; Cheng Li 001; Mahsa Najafzadeh; Daniel Porto 002; Allen Clement; Sérgio Duarte; Carla Ferreira 001; Johannes Gehrke; João Leitão 001; Nuno M. Preguiça; Rodrigo Rodrigues 001; Marc Shapiro 001; et al. (IEEE Data Eng. Bull., 2016)

Transparent cross-system consistency. - João Loff; Daniel Porto 002; Carlos Baquero; João Garcia 001; Nuno M. Preguiça; Rodrigo Rodrigues 001 (PaPoC@EuroSys, 2017)

Fine-Grained Consistency Upgrades for Online Services. - Filipe Freitas; João Leitão 001; Nuno M. Preguiça; Rodrigo Rodrigues 001 (SRDS, 2017)

Generalized Paxos Made Byzantine (and Less Complex). - Miguel Pires; Srivatsan Ravi; Rodrigo Rodrigues 001 (SSS, 2017)

Blotter: Low Latency Transactions for Geo-Replicated Storage. - Henrique Moniz; João Leitão 001; Ricardo J. Dias; Johannes Gehrke; Nuno M. Preguiça; Rodrigo Rodrigues 001 (WWW, 2017)

Making data center computations fast, but not so furious. - Daniel Porto 002; João Loff; Rui Policarpo Duarte; Luis Ceze; Rodrigo Rodrigues 001 (CoRR, 2017)

The Tortoise and the Hare: Characterizing Synchrony in Distributed Environments (Practical Experience Report). - Daniel Porto 002; João Leitão 001; Flavio Junqueira; Rodrigo Rodrigues 001 (DSN, 2018)

Fine-grained consistency for geo-replicated systems. - Cheng Li 001; Nuno M. Preguiça; Rodrigo Rodrigues 001 (USENIX ATC, 2018)

IPA: Invariant-preserving Applications for Weakly consistent Replicated Databases. - Valter Balegas; Sérgio Duarte; Carla Ferreira 001; Rodrigo Rodrigues 001; Nuno M. Preguiça (Proc. VLDB Endow., 2018)

A More Consistent Understanding of Consistency. - Subhajit Sidhanta; Ricardo J. Dias; Rodrigo Rodrigues 001 (SRDS, 2019)

Antidote SQL: Relaxed When Possible, Strict When Necessary. - Pedro Lopes; João Sousa; Valter Balegas; Carla Ferreira 001; Sérgio Duarte; Annette Bieniusa; Rodrigo Rodrigues 001; Nuno M. Preguiça (CoRR, 2019)

Incremental Sliding Window Analytics. - Pramod Bhatotia; Umut A. Acar; Flavio Paiva Junqueira; Rodrigo Rodrigues 001 (Encyclopedia of Big Data Technologies, 2019)

Achieving Low Latency Transactions for Geo-replicated Storage with Blotter. - Henrique Moniz; João Leitão 001; Ricardo J. Dias; Johannes Gehrke; Nuno M. Preguiça; Rodrigo Rodrigues 001 (Encyclopedia of Big Data Technologies, 2019)

Incremental Approximate Computing. - Do Le Quoc; Dhanya R. Krishnan; Pramod Bhatotia; Christof Fetzer; Rodrigo Rodrigues 001 (Encyclopedia of Big Data Technologies, 2019)

Finding the right cloud configuration for analytics clusters. - Muhammad Bilal 007; Marco Canini; Rodrigo Rodrigues 001 (SoCC, 2020)

Bandwidth-Aware Page Placement in NUMA. - David Gureya; João Neto 001; Reza Karimi; João Barreto 001; Pramod Bhatotia; Vivien Quéma; Rodrigo Rodrigues 001; Paolo Romano 002; Vladimir Vlassov (IPDPS, 2020)

Aion: Better Late than Never in Event-Time Streams. - Sérgio Esteves; Gianmarco De Francisci Morales; Rodrigo Rodrigues 001; Marco Serafini; Luís Veiga (CoRR, 2020)

Lazy State Determination: More concurrency for contending linearizable transactions. - Tiago M. Vale; João Leitão 001; Nuno M. Preguiça; Rodrigo Rodrigues 001; Ricardo J. Dias; João M. Lourenço (CoRR, 2020)

Do the Best Cloud Configurations Grow on Trees? An Experimental Evaluation of Black Box Algorithms for Optimizing Cloud Workloads Sub. - Muhammad Bilal 007; Marco Serafini; Marco Canini; Rodrigo Rodrigues 001 (Proc. VLDB Endow., 2020)

Particle-In-Cell Simulation Using Asynchronous Tasking. - Nicolas L. Guidotti; Pedro Ceyrat; João Barreto 001; José Monteiro 001; Rodrigo Rodrigues 001; Ricardo Fonseca; Xavier Martorell; Antonio J. Peña (Euro-Par, 2021)

Efficient and Eventually Consistent Collective Operations. - Roman Iakymchuk; Amândio Faustino; Andrew P. J. Emerson; João Barreto 001; Valeria Bartsch; Rodrigo Rodrigues 001; José C. Monteiro 001 (IPDPS Workshops, 2021)

Dynamic Page Placement on Real Persistent Memory Systems. - Miguel Marques; Ilia Kuzmin; João Barreto 001; José Monteiro 001; Rodrigo Rodrigues 001 (CoRR, 2021)

Alea-BFT: Practical Asynchronous Byzantine Fault Tolerance. - Afonso N. Oliveira; Henrique Moniz; Rodrigo Rodrigues 001 (CoRR, 2022)

CoVault: A Secure Analytics Platform. - Roberta De Viti; Isaac Sheff; Noemi Glaeser; Baltasar Dinis; Rodrigo Rodrigues 001; Jonathan Katz; Bobby Bhattacharjee; Anwar Hithnawi; Deepak Garg 001; Peter Druschel (CoRR, 2022)

SconeKV: A Scalable, Strongly Consistent Key-Value Store. - João Gonçalves; Miguel Matos; Rodrigo Rodrigues 001 (IEEE Trans. Parallel Distributed Syst., 2022)

Attacks on tomorrow's virtual world. - Iliès Benhabbour; Yérom-David Bromberg; Marc Dacier; Sven Dietrich; Rodrigo Seromenho Miragaia Rodrigues; Paulo Esteves Veríssimo (DSN-S, 2023)

With Great Freedom Comes Great Opportunity: Rethinking Resource Allocation for Serverless Functions. - Muhammad Bilal 007; Marco Canini; Rodrigo Fonseca; Rodrigo Rodrigues 001 (EuroSys, 2023)

Mumak: Efficient and Black-Box Bug Detection for Persistent Memory. - João Gonçalves; Miguel Matos; Rodrigo Rodrigues 001 (EuroSys, 2023)

RR: A Fault Model for Efficient TEE Replication. - Baltasar Dinis; Peter Druschel; Rodrigo Rodrigues 001 (NDSS, 2023)

Antipode: Enforcing Cross-Service Causal Consistency in Distributed Applications. - João Ferreira Loff; Daniel Porto 002; João Garcia 001; Jonathan Mace; Rodrigo Rodrigues 001 (SOSP, 2023)

Evicting for the greater good: The case for Reactive Checkpointing in serverless computing. - Rafael Alexandre; Rodrigo Bruno; João Barreto 001; Rodrigo Rodrigues 001 (WORDS@SOSP, 2023)

μ: A bolt-on approach for faster and cheaper serverless computing. - Diogo Pacheco; João Pedro Barreto 002; Rodrigo Rodrigues 001 (WORDS@SOSP, 2023)

Alea-BFT: Practical Asynchronous Byzantine Fault Tolerance. - Diogo S. Antunes; Afonso N. Oliveira; André Breda; Matheus Guilherme Franco; Henrique Moniz; Rodrigo Rodrigues 001 (NSDI, 2024)

CoVault: Secure, Scalable Analytics of Personal Data. - Roberta De Viti; Isaac Sheff; Noemi Glaeser; Baltasar Dinis; Rodrigo Rodrigues 001; Bobby Bhattacharjee; Anwar Hithnawi; Deepak Garg 001; Peter Druschel (USENIX Security Symposium, 2025)