Supervisions

MSc Theses

MSc Theses: 4

2022

Miguel Trinca
Advisors: João F. Ferreira and Rui Abreu
A Study on Generating Q# Quantum Programs using a Sequence-To-Sequence Machine Learning model
MSc Thesis, Nov. 2022 [bibTex]
João Dinis
Advisors: João F. Ferreira and Rui Abreu
Automatic Bug Prioritization of SmartBugs Reports using Machine Learning
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2022 [bibTex]

2021

Dinis Araújo
Advisors: João F. Ferreira and Rui Abreu
A Static Analysis-based Platform-as-Service to Improve the Quality of Smart Contracts
MSc Thesis at Instituto Superior Técnico, University of Lisbon, Nov. 2021 [bibTex]
Miguel Alexandre Patrício Pires
Advisors: Rodrigo Rodrigues and Rui Abreu
Guiding the Evolution of the Software Architecture of Two Large Scale Production Systems
MSc Thesis at Instituto Superior Técnico (ULisboa), Jan. 2021 [bibTex]