Identificação pessoal

Nome completo

João Miguel Ferreira Oliveira

Nomes de citação

• Oliveira, João

Identificadores de autor

Ciência ID

3718-2972-01FA

ORCID iD

0000-0002-0393-6133

	Grau	Classificação
2021/09/13 - 2023/11/23 Concluído	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal "HawkSet: An Automatic, Agnostic, and Efficient Concurrent PM Bug Detection Tool" (TESE/DISSERTAÇÃO)	17
2018/09/10 - 2021/07/19 Concluído	Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal	16

Docência no Ensino Superior

	Categoria Profissional Instituição de acolhimento	Empregador
2022/09/19 - 2023/08/18	Assistente Convidado (Docente Universitário)	Universidade de Lisboa Instituto Superior Técnico, Portugal
	Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/10/01 - 2022/08/31	Assistente Convidado (Docente Universitário)	Universidade de Lisboa Instituto Superior Técnico, Portugal
	Universidade de Lisboa Instituto Superior Técnico, Portugal

Bolsa

	Designação	Financiadores
2023/07/10 - Atual	Ainur: Evaluation of crash-consistency guarantees in multi-threaded PM applications PTDC/CCI-COM/4485/2021 Bolseiro de Investigação	Fundação para a Ciência e a Tecnologia
2022/09/01 - 2022/10/30	MS3: New foundations for micro-services and serverless systems PTDC/CCI-INF/6762/2020 Bolseiro de Investigação	Fundação para a Ciência e a Tecnologia

Publicações

Artigo em conferência

Oliveira, João; Gonçalves, João; Matos, Miguel. "HawkSet: Automatic, Application-Agnostic, and Efficient Concurrent PM Bug Detection". Trabalho apresentado em EuroSys '25: Proceedings of the Twentieth European Conference on Computer Systems, 2025. 10.1145/3689031.3717477

Prémio

2025	EuroSys Gilles Muller Best Artifact Award
2024	Prémio de Mérito Académico Jerónimo Martins em Engenharia Informática e de Computadores Universidade de Lisboa Instituto Superior Técnico, Portugal