1
TITLE: HawkSet: Automatic, Application-Agnostic, and Efficient Concurrent PM Bug Detection
AUTHORS: João Oliveira; João Gonçalves; Miguel Matos;
PUBLISHED: 2025, SOURCE: 20th European Conference on Computer Systems, EuroSys 2025, co-located 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2025 in Proceedings of the Twentieth European Conference on Computer Systems, EuroSys 2025, Rotterdam, The Netherlands, 30 March 2025 - 3 April 2025
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
2
TITLE: K OLLAPS : Decentralized and Efficient Network Emulation for Large-Scale Systems  Full Text
AUTHORS: Amaro, Sebastiao; Matos, Miguel; Schiavoni, Valerio;
PUBLISHED: 2024, SOURCE: IEEE-ACM TRANSACTIONS ON NETWORKING, VOLUME: 33, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
3
TITLE: Practical Limitations of Ethereum's Layer-2
AUTHORS: Ray Neiheiser; Gustavo Inácio; Luciana Rech; Carlos Montez; Miguel Matos; Luís E T Rodrigues;
PUBLISHED: 2023, SOURCE: IEEE Access, VOLUME: 11
INDEXED IN: DBLP
IN MY: DBLP
4
TITLE: NimbleChain: Speeding up Cryptocurrencies in General-purpose Permissionless Blockchains
AUTHORS: Paulo Silva; Miguel Matos; João Barreto;
PUBLISHED: 2023, SOURCE: Distributed Ledger Technol. Res. Pract., VOLUME: 2, ISSUE: 1
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
5
TITLE: Mumak: Efficient and Black-Box Bug Detection for Persistent Memory
AUTHORS: João Gonçalves; Miguel Matos; Rodrigo Rodrigues;
PUBLISHED: 2023, SOURCE: Proceedings of the Eighteenth European Conference on Computer Systems, EuroSys 2023, Rome, Italy, May 8-12, 2023
INDEXED IN: DBLP
IN MY: DBLP
6
TITLE: Mumak: Efficient and Black-Box Bug Detection for Persistent Memory
AUTHORS: Goncalves, Joao; Matos, Miguel; Rodrigues, Rodrigo;
PUBLISHED: 2023, SOURCE: 18th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE EIGHTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS, EUROSYS 2023
INDEXED IN: WOS
7
TITLE: Mumak: Efficient and Black-Box Bug Detection for Persistent Memory
AUTHORS: João Gonçalves; Miguel Matos; Rodrigo Rodrigues;
PUBLISHED: 2023, SOURCE: Proceedings of the Eighteenth European Conference on Computer Systems
INDEXED IN: CrossRef
IN MY: ORCID
8
TITLE: SconeKV: A Scalable, Strongly Consistent Key-Value Store  Full Text
AUTHORS: Goncalves, Joao; Matos, Miguel; Rodrigues, Rodrigo;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 33, ISSUE: 12
INDEXED IN: WOS
9
TITLE: SconeKV: A Scalable, Strongly Consistent Key-Value Store
AUTHORS: João Gonçalves; Miguel Matos; Rodrigo Rodrigues;
PUBLISHED: 2022, SOURCE: IEEE Trans. Parallel Distributed Syst., VOLUME: 33, ISSUE: 10
INDEXED IN: DBLP
IN MY: DBLP
Page 1 of 3. Total results: 21.