Follow
João Gonçalves
João Gonçalves
Instituto Superior Técnico, Universidade de Lisboa, INESC-ID
Verified email at tecnico.ulisboa.pt - Homepage
Title
Cited by
Cited by
Year
Mumak: Efficient and Black-Box Bug Detection for Persistent Memory
J Gonçalves, M Matos, R Rodrigues
Proceedings of the Eighteenth European Conference on Computer Systems, 734-750, 2023
32023
SconeKV: A Scalable, Strongly Consistent Key-Value Store
J Gonçalves, M Matos, R Rodrigues
IEEE Transactions on Parallel and Distributed Systems 33 (12), 4164-4175, 2022
32022
Deteção de Erros de Concorrência em Programas de Memória Persistente Utilizando Análise de Locksets
J Oliveira, J Gonçalves, M Matos
Kaiyo: Testagem Automática de Aplicaçoes de Memória Persistente
H Fernandes, J Gonçalves, M Matos
The system can't perform the operation now. Try again later.
Articles 1–4