Supervisions

PhD Theses

PhD Theses: 2

2021

Advisors: João Barreto and Vladimir Vlassov
Bandwidth-aware page placement in asymmetric NUMA systems
PhD Thesis, Nov. 2021 [bibTex]
Advisors: João Barreto
Efficient support for large transactions in transactional memory systems
PhD Thesis at Instituto Superior Técnico - Technical University Lisbon, Nov. 2021 [bibTex]

MSc Theses

MSc Theses: 13

2022

Rafael Aldinhas Poças
NIBOXI: Enhancing sharded blockchains with a consensusless fast-path
MSc Thesis at IST, Nov. 2022 [bibTex]
Miguel Rodrigo da Costa Figueiredo
PSI-HTM: an efficient implementation of Snapshot Isolation leveraging Hardware Transactions and Persistent Memory on IBM Power architectures
MSc Thesis at IST, Nov. 2022 [bibTex]
Rafael Coelho Alexandre
R-Check: A Reactive Checkpointing Approach for Serverless Computing
MSc Thesis at IST, Nov. 2022 [bibTex]
João Pinheiro
Durable Hardware Transactional Memory for Extended Asynchronous DRAM Refresh Architectures
MSc Thesis at IST, Jun. 2022 [bibTex]

2021

Nuno André Estevão Anselmo
 TBO: Total Byzantine Order - Scalable epidemic probabilistic total order resilient to Byzantine faults
MSc Thesis, work in progresson 2021 [bibTex]
Rafael Pestana de Andrade
MSc Thesis at Instituto Superior Técnico (ULisboa), Dec. 2021 [bibTex] [PDF]
Sérgio Fonseca dos Santos
Advisors: João Barreto and Zafeiris Kokkinogenis
Analysis of urban air mobility’s transport performance in São Paulo Metropolitan Region using MATSim Simulation metamodel based on active learning to predict the simulations outputs
MSc Thesis at IST, Dec. 2021 [bibTex]
Leonor Filipa Dias Alves Parreira Loureiro
Correct Smart Contract Speculation By Design
MSc Thesis, work in progresson 2021 [bibTex]
AstroChain: Proof-of-Space with Random Beacons
MSc Thesis at Instituto Superior Técnico, Nov. 2021 [bibTex]
Miguel Soares Marques
Ambix: Rethinking Linux’s Page Management to Support the new Intel Optane DC Persistent Memory
MSc Thesis at Instituto Superior Técnico (ULisboa), Jun. 2021 [bibTex]
Boosting machine learning applications with weakly-consistent collectives
MSc Thesis, Jan. 2021 [bibTex]