MEI : Mestrado em Engenharia Informática
Master in Computer Engineering

University of Minho - Portugal

This personal repository contains information about my overall progress in the course, along with solved exercices and some work related files of group projects.

1^st Year (2021/2022)

1^st Semester ( Weekly Schedule )

Curricular Units

Initials	Designation (PT)	Designation (EN)	Shifts	Final Grade
ASCN	Aplicações e Serviços de Computação em Nuvem	Cloud Computing Applications and Services	PL1	15
CP	Computação Paralela	Parallel Computing	PL2	14
DAA	Dados e Aprendizagem Automática	Data and Automatic Learning	PL3	17
ESR	Engenharia de Serviços em Rede	Network Services Engineering	PL3	14
MFES	Métodos Formais em Engenharia de Software	Formal Methods in Software Engineering	TP2	18
RAS	Requisitos e Arquiteturas de Software	Software Requirements and Architectures	PL5	11

---

2^nd Semester ( Weekly Schedule )

Major : Métodos Formais de Programação

^{_{Formal Programming Methods}}

Initials	Designation (PT)	Designation (EN)	Final Grade
CSI	Cálculo de Sistemas de Informação	Calculation of Information Systems	18
PCF	Programação Ciber-Física	Cyber-Physical Programming	19
VF	Verificação Formal	Formal Verification	17

Major : Sistemas Distribuídos

^{_{Distributed Systems}}

Initials	Designation (PT)	Designation (EN)	Final Grade
PSD	Paradigmas de Sistemas Distribuídos	Distributed Systems Paradigms	16
SDGE	Sistemas Distribuídos em Grande Escala	Large-Scale Distributed Systems	16
TF	Tolerância a Faltas	Fault Tolerance	16

---

2^nd Year (2022/2023)

1^st Semester: Informatics Project

Typology: University

Evalutation:

• Goals/results: 35% - 40%
• Systematic reading survey: 30% - 35%
• Presentation/documentation: 25% - 30%

Extra: 5 criteria, and their respective weight in the grade, defined by the team

In the end, each team decides how to the individual scores based on the collective score.

Final grade: 20/20

1^st & 2^nd Semester: Master Thesis - Programmable and adaptable caching system

Description

The use of volatile storage (caching) in current computing infrastructures has become critical to ensure good performance (i.e., low latency, high throughput). In particular, these infrastructures are now composed of multiple levels of caching, which serve requests with different access patterns, granularities, and sizes. However, these systems are typically configured monolithically and with partial visibility into computing resources, leading to sub-optimal performance and inefficient resource management.

This thesis intends to develop a new type of volatile storage, which is programmable and adaptable, and which acts with global visibility of the system, maximizing the performance and utilization of computational resources.