Supervisions

PhD Theses

PhD Theses: 2

2020

Advisors: Paolo Romano and Seif Haridi
Augmenting Transactional Memory with the Future Abstraction
PhD Thesis at Instituto Superior Tecnico & KTH, Oct. 2020 [bibTex]
Advisors: Paolo Romano and Peter Van Roy
Speculation in Partially-Replicated Transactional Data Stores
PhD Thesis at Instituto Superior Tecnico & Catholic University of Louvain, May. 2020 [bibTex]

MSc Theses

MSc Theses: 6

2021

Francisco Jorge Silva Santos Rola
Database Partitioning via Symbolic Execution
MSc Thesis, work in progresson 2021 [bibTex]
Advisors: Paolo Romano
Debunking the CPU+GPU Processing with Transactional Memory
MSc Thesis, Nov. 2021 [bibTex]
Martin Mirakyan
Improving Differentiable Neural Architecture Search
MSc Thesis at Instituto Superior Tecnico, Nov. 2021 [bibTex]
João Pedro Neves Nogueira
Advisors: Paolo Romano
Optimization of Machine Learning Jobs in the Cloud
MSc Thesis at Instituto Superior Tecnico, Mar. 2021 [bibTex]

2020

Oleksiy Tarlovskyy
Advisors: Paolo Romano
Accelerating Validation in Software Transactional Memory (inglês)
MSc Thesis at Instituto Superior Tecnico, Oct. 2020 [bibTex]
Francisco Rola
Improving database performance through symbolic execution
MSc Thesis at Instituto Superior Tecnico, Aug. 2020 [bibTex]