◀ Click to filter
Total displayed: 34
Order by:
- Testing and comparing real-world blockchains under strain
Vaibhav Arora
Miguel Matos (advisor), Rodrigo Rodrigues (advisor)
Instituto Superior Técnico, Universidade de Lisboa
2024 - Analysis and modelling of distributed event processing performance
Diogo Pacheco
João Barreto (advisor), Rodrigo Rodrigues (advisor)
Instituto Superior Técnico, Universidade de Lisboa
2024 - Reliability in Persistent Memory Systems
João Tiago Alves Gonçalves
Miguel Matos (advisor)
Rodrigo Rodrigues (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2021 - Automatic Configuration for Cloud Workloads
Muhammad Bilal
Rodrigo Rodrigues (advisor)
Peter Van Roy (coadvisor), Marco Canini (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
UCL - Université catholique de Louvain
2018
- Balancing Efficiency, Resilience and Anonymity in Gossip Protocols
Diogo Cardoso
Rodrigo Rodrigues (advisor)
Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa
2025 - Characterization of Blockchain Workloads
André Torres
Nuno P. Lopes (advisor)
Rodrigo Rodrigues (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2024 - Enhancing the Resilience of Distributed Validator Technology with Asynchronous BFT
Diogo Santos
Rodrigo Rodrigues (advisor)
Henrique Moniz (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2023 - XCWeaver: XCY Consistency in Google Service Weaver
Tiago Antunes Malhadas
João Coelho Garcia (advisor), Rodrigo Rodrigues (advisor)
Instituto Superior Técnico, Universidade de Lisboa
2023 - Evaluation and correctness of asynchronous BFT protocols
Diogo Santiago Antunes
Rodrigo Rodrigues (advisor)
Instituto Superior Técnico, Universidade de Lisboa
2022 - Efficient Asynchronous Byzantine State Machine Replication in Rust
André Breda
Rodrigo Rodrigues (advisor)
Henrique Moniz (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2022 - Integrating asynchronous BFT with Ethereum validator networks
Matheus Guilherme Leça da Silva Franco
Rodrigo Rodrigues (advisor)
Henrique Moniz (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2022 - SPA-CC: A Serverless Platform with Automatic Configuration Choice
Lúcia Filipa Lopes da Silva
Rodrigo Rodrigues (advisor)
João Barreto (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2022 - Mu: A bolt-on approach for faster and cheaper serverless computing Exploring Parallelism and Resource Utilization in Serverless Computing
Diogo Pacheco
Rodrigo Rodrigues (advisor)
João Barreto (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2022 - R-Check: A Reactive Checkpointing Approach for Serverless Computing
Rafael Coelho Alexandre
Rodrigo Rodrigues (advisor)
João Barreto (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2021 - Restart-Rollback: A Fault model for distributed systems with persistent state
Baltasar Azevedo e Silva Dinis
Rodrigo Rodrigues (advisor)
Peter Druschel (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2021 - Energy-Aware Task Scheduling in OmpSs
Vladyslav Shumanskyy
Rodrigo Rodrigues (advisor)
José Monteiro (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2020 - Accelerating Machine Learning with GASPI-based Parameter Servers
Rafael Andrade
Rodrigo Rodrigues (advisor)
João Barreto (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2020 - Separating Agreement from Execution to Improve the Scalability of Blockchains
Diogo Peres Monteiro de Faria Fernandes
Rodrigo Rodrigues (advisor)
Allen Clement (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2020 - Ambix: Rethinking Linux’s Page Management to Support the new Intel Optane DC Persistent Memory
Miguel Soares Marques
João Barreto (advisor)
Rodrigo Rodrigues (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2020 - Trusted Execution Environment support for blockchains
Tiago Romero
Rodrigo Rodrigues (advisor)
Instituto Superior Técnico, Universidade de Lisboa
2019 - SCALEET: A Scalable and Performant Permissionless Blockchain
João Paulo da Costa Campos
Rodrigo Rodrigues (advisor)
Instituto Superior Técnico, Universidade de Lisboa
2019 - Boosting machine learning applications with weakly-consistent collectives
Amândio Ribeiro Faustino
Rodrigo Rodrigues (advisor)
João Barreto (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2019 - Guiding the Evolution of the Software Architecture of Two Large Scale Production Systems
Miguel Alexandre Patrício Pires
Rodrigo Rodrigues (advisor)
Rui Abreu (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2019 - Building more decentralized blockchains using secure virtual coordinates
Marco Filipe Guerreira da Silva
Rodrigo Rodrigues (advisor)
Instituto Superior Técnico, Universidade de Lisboa
2019 - SconeKV: Strongly CONsistEnt Key-Value Store
João Tiago Alves Gonçalves
Miguel Matos (advisor)
Rodrigo Rodrigues (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2019 - Sense Act - Dynamic Programming of Genetic Algorithms for Reinforced Learning in Measurement-based Decisions
Luis Filipe Pookatham Ribeiro Gomes
Rodrigo Rodrigues (advisor)
Instituto Superior Técnico, Universidade de Lisboa
2018 - Secure Storage with a Small, Verified TCB
Afonso Santos
Rodrigo Rodrigues (advisor)
Pedro Adão (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2018 - Large scale membership and consistency
Francisco Miguel Polaco Santos
Miguel Matos (advisor)
Rodrigo Rodrigues (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2018
- Using feudal hierarchies for non-stationary reinforcement learning
Guilherme Jardim
Rodrigo Rodrigues (advisor)
Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa
2025 - Using Randomized Byzantine Consensus to Improve Blockchain Resilience under Attack
Afonso Garcia Louro do Nascimento e Oliveira
Rodrigo Rodrigues (advisor)
Henrique Moniz (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2020 - Secure Storage with a Small, Verified TCB
Afonso Santos
Rodrigo Rodrigues (advisor)
Pedro Adão (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2019
- Internship
Ritul Satish
Rodrigo Rodrigues (advisor)
INESC-ID Lisboa
2024 - Internship
Luís Maria Serrano de Vilhena Freire D'Andrade
Rodrigo Rodrigues (advisor)
INESC-ID Lisboa
2024 - Internship
Mafalda Sofia Carvalho Ferreira
Rodrigo Rodrigues (advisor)
INESC-ID Lisboa
2023 - Internship
Diogo Pacheco
Rodrigo Rodrigues (advisor)
INESC-ID Lisboa
2021 - Aluno de licenciatura (ainda não tem tese)
Alexandre Marcelino Neves
Rodrigo Rodrigues (advisor)
Instituto Superior Técnico, Universidade de Lisboa
2019 - Restart-rollback: a fault model for persistent distributed systems
Baltasar Azevedo e Silva Dinis
Rodrigo Rodrigues (advisor)
Peter Druschel (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2018