João Gonçalves

I am a CS PhD student at Instituto Superior Técnico, Universidade de Lisboa, and I conduct my research at INESC-ID Lisboa as part of the Distributed Systems Group.
I am advised by professors Miguel Matos and Rodrigo Rodrigues.

My research interests lie in the field of fault tolerance, fault detection and reproducibility. Previously, I have researched scalable group membership and storage protocols. Currently, my focus is on the new Persistent Memory technologies, particularly crash-consistency and bug detection.

news

Apr 1, 2025 Our paper HawkSet: Automatic, Application-Agnostic, and Efficient Concurrent PM Bug Detection received the Gilles Muller Best Artifact Award at EuroSys 2025!
Mar 1, 2025 Our paper HawkSet: Automatic, Application-Agnostic, and Efficient Concurrent PM Bug Detection was accepted at EuroSys 2025!
May 28, 2024 I am interning at Roblox Research! Thrilled to be working with Andreas Haeberlen and Kayvon Fatahalian.
Mar 1, 2023 Our paper Mumak: Efficient and Black-Box Bug Detection for Persistent Memory was accepted at EuroSys 2023!
Jul 1, 2022 I attended ENSD 2022 in Évora, Portugal, where I presented a poster for my current research in Persistent Memory bug detection.

selected publications

  1. EuroSys
    HawkSet: Automatic, Application-Agnostic, and Efficient Concurrent PM Bug Detection
    Oliveira, João, Gonçalves, João, and Matos, Miguel
    In Proceedings of the Twentieth European Conference on Computer Systems (EuroSys ’25) 2025
    HTML
  2. EuroSys
    Mumak: Efficient and Black-Box Bug Detection for Persistent Memory
    Gonçalves, João, Matos, Miguel, and Rodrigues, Rodrigo
    In Proceedings of the Eighteenth European Conference on Computer Systems (EuroSys ’23) 2023
    HTML PDF
  3. TPDS
    SconeKV: a Scalable, Strongly Consistent Key-Value Store
    Gonçalves, João, Matos, Miguel, and Rodrigues, Rodrigo
    Transactions on Parallel and Distributed Systems (TPDS) 2022
    HTML PDF