publications

2025

  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

2023

  1. 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
  2. INForum
    Kaiyo: Testagem Automática de Aplicações de Memória Persistente
    Fernandes, Henrique, Gonçalves, João, and Matos, Miguel
    In Actas do décimo quarto Simpósio de Informática (INForum ’23) 2023
    PDF
  3. INForum
    Deteção de Erros de Concorrência em Programas de Memória Persistente Utilizando Análise de Locksets
    Oliveira, João, Gonçalves, João, and Matos, Miguel
    In Actas do décimo quarto Simpósio de Informática (INForum ’23) 2023
    PDF

2022

  1. 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