Personal identification

Full name

João Miguel Ferreira Oliveira

Citation names

• Oliveira, João

Author identifiers

Ciência ID

3718-2972-01FA

ORCID iD

0000-0002-0393-6133

	Degree	Classification
2021/09/13 - 2023/11/23 Concluded	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" (THESIS/DISSERTATION)	17
2018/09/10 - 2021/07/19 Concluded	Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal	16

Teaching in Higher Education

	Category Host institution	Employer
2022/09/19 - 2023/08/18	Invited Assistant (University Teacher)	Universidade de Lisboa Instituto Superior Técnico, Portugal
	Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/10/01 - 2022/08/31	Invited Assistant (University Teacher)	Universidade de Lisboa Instituto Superior Técnico, Portugal
	Universidade de Lisboa Instituto Superior Técnico, Portugal

Grant

	Designation	Funders
2023/07/10 - Current	Ainur: Evaluation of crash-consistency guarantees in multi-threaded PM applications PTDC/CCI-COM/4485/2021 Research Fellow	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 Research Fellow	Fundação para a Ciência e a Tecnologia

Publications

Conference paper

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

Award

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