Miguel Ângelo Marques de Matos
AuthID: R-001-NJ5
1
TITLE: HawkSet: Automatic, Application-Agnostic, and Efficient Concurrent PM Bug Detection
AUTHORS: Oliveira, Joao; Goncalves, Joao; Matos, Miguel;
PUBLISHED: 2025, SOURCE: 20th European Conference on Computer Systems-EuroSys in PROCEEDINGS OF THE 2025 TWENTIETH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS, EUROSYS 2025
AUTHORS: Oliveira, Joao; Goncalves, Joao; Matos, Miguel;
PUBLISHED: 2025, SOURCE: 20th European Conference on Computer Systems-EuroSys in PROCEEDINGS OF THE 2025 TWENTIETH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS, EUROSYS 2025
2
TITLE: Rethinking PM Crash Consistency in the CXL Era
AUTHORS: João Oliveira; João Gonçalves; Miguel Matos;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.17554
AUTHORS: João Oliveira; João Gonçalves; Miguel Matos;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.17554
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP3
TITLE: Impact of Network Topologies on Blockchain Performance
AUTHORS: Di Perna, Vincenzo P.; Bernardo, Marco; Fabris, Francesco; Amaro, Sebastiao; Matos, Miguel; Schiavoni, Valerio;
PUBLISHED: 2025, SOURCE: 19th International Conference on Distributed and Event Based Systems-DEBS in PROCEEDINGS OF THE 19TH ACM INTERNATIONAL CONFERENCE ON DISTRIBUTED AND EVENT-BASED SYSTEMS, DEBS 2025
AUTHORS: Di Perna, Vincenzo P.; Bernardo, Marco; Fabris, Francesco; Amaro, Sebastiao; Matos, Miguel; Schiavoni, Valerio;
PUBLISHED: 2025, SOURCE: 19th International Conference on Distributed and Event Based Systems-DEBS in PROCEEDINGS OF THE 19TH ACM INTERNATIONAL CONFERENCE ON DISTRIBUTED AND EVENT-BASED SYSTEMS, DEBS 2025
4
TITLE: Be My Guest: Welcoming Interoperability into IBC-Incompatible Blockchains
AUTHORS: Nazarewicz, Michal; Jain, Dhruv D.; Matos, Miguel; Rodriguez, Blas;
PUBLISHED: 2025, SOURCE: 55th International Conference on Dependable Systems and Networks Supplemental Volume-DSN-S-Annual in 2025 55TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS-SUPPLEMENTAL VOLUME, DSN-S
AUTHORS: Nazarewicz, Michal; Jain, Dhruv D.; Matos, Miguel; Rodriguez, Blas;
PUBLISHED: 2025, SOURCE: 55th International Conference on Dependable Systems and Networks Supplemental Volume-DSN-S-Annual in 2025 55TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS-SUPPLEMENTAL VOLUME, DSN-S
INDEXED IN: 
Scopus 
WOS DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP5
TITLE: No Two Snowflakes Are Alike: Studying eBPF Libraries' Performance, Fidelity and Resource Usage
AUTHORS: Machado, Carlos ; Giao, Bruno ; Amaro, Sebastiao; Matos, Miguel; Paulo, Joao; Esteves, Tania ;
PUBLISHED: 2025, SOURCE: 3rd Workshop on eBPF and Kernel Extensions-eBPF in PROCEEDINGS OF THE 2025 3RD WORKSHOP ON EBPF AND KERNEL EXTENSIONS, EBPF 2025
AUTHORS: Machado, Carlos ; Giao, Bruno ; Amaro, Sebastiao; Matos, Miguel; Paulo, Joao; Esteves, Tania ;
PUBLISHED: 2025, SOURCE: 3rd Workshop on eBPF and Kernel Extensions-eBPF in PROCEEDINGS OF THE 2025 3RD WORKSHOP ON EBPF AND KERNEL EXTENSIONS, EBPF 2025
6
TITLE: Blockchain Infrastructure and Web Application for Dematerialization of Promissory Notes
AUTHORS: Silva, Henrique; Quina, Filipe; Guerreiro, Sergio; Matos, Miguel;
PUBLISHED: 2025, SOURCE: 20th European Dependable Computing Conference-EDCC-Annual in 2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C
AUTHORS: Silva, Henrique; Quina, Filipe; Guerreiro, Sergio; Matos, Miguel;
PUBLISHED: 2025, SOURCE: 20th European Dependable Computing Conference-EDCC-Annual in 2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP7
TITLE: Innovations in MEC Federation: Leveraging SDN for Enhanced Connectivity and Resource Optimization
AUTHORS: Santos, David; Silva, Rui; Matos, Miguel; Corujo, Daniel; Aguiar, Rui;
PUBLISHED: 2025, SOURCE: 31st International Symposium on Local and Metropolitan Area Networks-LANMAN-Annual in 2025 IEEE 31ST INTERNATIONAL SYMPOSIUM ON LOCAL AND METROPOLITAN AREA NETWORKS, LANMAN
AUTHORS: Santos, David; Silva, Rui; Matos, Miguel; Corujo, Daniel; Aguiar, Rui;
PUBLISHED: 2025, SOURCE: 31st International Symposium on Local and Metropolitan Area Networks-LANMAN-Annual in 2025 IEEE 31ST INTERNATIONAL SYMPOSIUM ON LOCAL AND METROPOLITAN AREA NETWORKS, LANMAN
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP8
TITLE: Kauri: BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation Full Text
AUTHORS: Ray Neiheiser; Miguel Matos; Luis Rodrigues;
PUBLISHED: 2025, SOURCE: ACM Transactions on Computer Systems
AUTHORS: Ray Neiheiser; Miguel Matos; Luis Rodrigues;
PUBLISHED: 2025, SOURCE: ACM Transactions on Computer Systems
9
TITLE: Lilith: A Topology-Aware Benchmark Tool for Blockchains
AUTHORS: Vincenzo P Di Perna; Valerio Schiavoni; Marco Bernardo; Francesco Fabris; Miguel Matos; Sebastião Amaro;
PUBLISHED: 2025
AUTHORS: Vincenzo P Di Perna; Valerio Schiavoni; Marco Bernardo; Francesco Fabris; Miguel Matos; Sebastião Amaro;
PUBLISHED: 2025
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP10
TITLE: Lessons Learned from Five Years of Artifact Evaluations at EuroSys
AUTHORS: D'Elia, Daniele Cono; Doudali, Thaleia Dimitra; Giuffrida, Cristiano; Matos, Miguel; Payer, Mathias; Pirelli, Solal; Portokalidis, Georgios; Schiavoni, Valerio; Signorello, Salvatore; Vahldiek Oberwagner, Anjo;
PUBLISHED: 2025, SOURCE: 3rd Conference on Reproducibility and Replicability-REP in PROCEEDINGS OF THE 3RD ACM CONFERENCE ON REPRODUCIBILITY AND REPLICABILITY, ACM REP 2025
AUTHORS: D'Elia, Daniele Cono; Doudali, Thaleia Dimitra; Giuffrida, Cristiano; Matos, Miguel; Payer, Mathias; Pirelli, Solal; Portokalidis, Georgios; Schiavoni, Valerio; Signorello, Salvatore; Vahldiek Oberwagner, Anjo;
PUBLISHED: 2025, SOURCE: 3rd Conference on Reproducibility and Replicability-REP in PROCEEDINGS OF THE 3RD ACM CONFERENCE ON REPRODUCIBILITY AND REPLICABILITY, ACM REP 2025
