???global.info.a_carregar???
Miguel Matos is an assistant professor at Instituto Superior Técnico, University of Lisbon, and a Senior Researcher at INESC-ID. His research interests lie in the area of distributed systems, in the subjects of scalability, performance, correctness and systems evaluation. In particular, he is conducting research in Persistent Memory programming models, blockchain and related problems, consistency and scalability in large scale databases, systems evaluation under faults and experimental reproducibility. Miguel has been involved in several national, EU, and industry-funded projects including GORDA, CoherentPaaS, LeanBigData, SafeCloud, Qualichain and the ongoing TrustyFood project where he is the local coordinator. He is the Principal Investigator of the ongoing FCT-funded project Ainur, and he was also the PI PI of finished FCT projects Angainor and UTAustin-Portugal ACT-PM. His research work has been published in international venues such as SOSP, TPDS, JPDC, Eurosys, DNS, ICDCS, IPDPS, Middleware.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Miguel Ângelo Marques de Matos

Nomes de citação

  • Matos, Miguel

Identificadores de autor

Ciência ID
CD1F-6851-B224
ORCID iD
0000-0001-6916-2866
Google Scholar ID
https://scholar.google.pt/citations?user=SZ9mR2IAAAAJ
Scopus Author Id
7102510065

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Português (Idioma materno)
Formação
Grau Classificação
2013
Concluído
 MAP-i Doctoral Programme in Computer Science (Doutoramento)
Universidade do Minho, Portugal
"Epidemic Algorithms for Large Scale Data Dissemination" (TESE/DISSERTAÇÃO)
 Aprovado por unanimidade
2009
Concluído
 Mestrado em Engenharia Informática (Mestrado)
Universidade do Minho Escola de Engenharia, Portugal
"Network-Aware Epidemic Broadcast" (TESE/DISSERTAÇÃO)
 19
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2016/12/22 - Atual Professor Auxiliar (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2013/10/22 - 2016/03/01 Pos-Doc researcher Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2010/04/15 - 2013/10/21 Bolsa de Doutoramento FCT Universidade do Minho, Portugal
2008/10/15 - 2010/04/14 Bolsa de investigação no projecto DC2MS: Dependable Cloud Computing Management Services (HP Labs Innovation Research Award) http://gsd.di.uminho.pt/projects/projects/DC2MS Universidade do Minho, Portugal
Projetos

Bolsa

Designação Financiadores
2008 - 2008 P-SON: Probabilistically-Structured Overlay Networks
info:eu-repo/grantAgreement/FCT/Orçamento de Funcionamento/POSC/60941/PT
Bolseiro de Iniciação Científica

Projeto

Designação Financiadores
2018/06/01 - Atual Angainor:
angainor
Investigador responsável
Em curso
2022/07/01 - 2025/07/01 TRUSTyFOOD - Stakeholders-driven pathways for blockchain implementation in the agri-food sector
EU H2020 101060534
Local Coordinator
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Em curso
2022/01/17 - 2025/01/16 Ainur: Evaluation of crash-consistency guarantees in multi-threaded PM applications
PTDC/CCI-COM/4485/2021
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
2018/10/10 - 2021/10/09 novaVM - New Java Virtual Machine for Big Data
PTDC/EEI-COM/30644/2017
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2020/10/01 - 2021/09/30 Automating Crash-Consistency Testing for Persistent Memory
UTA-EXPL/CA/0080/2019
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2018/06/14 - 2021/06/13 Cosmos: Coerência Causal na Periferia da Rede
PTDC/EEI-COM/29271/2017
Universidade Nova de Lisboa Associação para a Inovação e Desenvolvimento da FCT, Portugal

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2011/01/01 - 2013/12/31 Projecto Estratégico - UI 752 - 2011-2012
PEst-OE/EEI/UI0752/2011
Universidade do Minho, Portugal

Universidade do Minho Centro ALGORITMI, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2008 - 2008 P-SON: Redes Sobrepostas com Estrutura Probabilista
POSC/EIA/60941/2004
Universidade do Minho, Portugal

Universidade do Minho Centro ALGORITMI, Portugal

Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído

Outro

Designação Financiadores
2019 - 2021/12 QualiChain - Decentralised Qualifications' Verification and Management for Learner Empowerment, Education Reengineering and Public Sector Transformation
822404
Investigador
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2014 - 2016/12 LeanBigData - Ultra-Scalable and Ultra-Efficient Integrated and Visual Big Data Analytics
619606
Investigador
Concluído
2013 - 2016/09 CoherentPaaS: A Coherent and Rich PaaS with a Common Programming Model
611068
Investigador
2011 - 2014 Stratus: A Layered Approach to Data Management in the Cloud
info:eu-repo/grantAgreement/FCT/5876-PPCDTI/115570/PT
Investigador
2010 - 2013 CumuloNimbo – High Scalable Transactional Multi-Tier Platform as a Service
FP7-257993
Investigador
2008 - 2008 GORDA: Open Replication of Databases
004758
Bolseiro de Iniciação Científica
Produções

Publicações

Artigo em conferência
  1. Oliveira, João; Gonçalves, João; Matos, Miguel. "Deteção de Erros de Concorrência em Programas de Memória Persistente Utilizando Análise de Locksets". Trabalho apresentado em INForum, Porto, 2023.
  2. João Gonçalves; Miguel Matos; Rodrigo Rodrigues. "Mumak: Efficient and Black-Box Bug Detection for Persistent Memory". 2023.
    10.1145/3552326.3587447
  3. Neiheiser, Ray; Matos, Miguel; Rodrigues, Luís. "Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation". Trabalho apresentado em In Proceedings of the 28th ACM Symposium on Operating Systems Principles (SOSP)., 2021.
    Aceite para publicação • 10.1145/3477132.3483584
  4. Issa, Shady; Viegas, Miguel; Raminhas, Pedro; Machado, Nuno; Matos, Miguel; Romano, Paolo. "Exploiting Symbolic Execution to Accelerate Deterministic Databases". Trabalho apresentado em International Conference on Distributed Computing Systems, 2020.
    Aceite para publicação
  5. Miguel Amaral; Pardal, Miguel; Matos, Miguel; Hugues Mercier. "FaultSee: Reproducible Fault Injection in Distributed Systems". Trabalho apresentado em 16th European Dependable Computing Conference (EDCC), Munique, 2020.
    Publicado
  6. Gouveia, Paulo; Neves, João; Segarra, Carlos; Liechti, Luca; Issa, Shady; Schiavoni, Valerio; Matos, Miguel. "Kollaps: decentralized and dynamic topology emulation". Trabalho apresentado em Fifteenth European Conference on Computer Systems, 2020.
    Publicado • 10.1145/3342195.3387540
  7. Matos, Miguel. "A Practical Framework for Privacy-Preserving NoSQL Databases". 2017.
    10.1109/SRDS.2017.10
  8. Matos, Miguel. "Brief Announcement: Optimal Address-Oblivious Epidemic Dissemination". 2017.
    10.1145/3087801.3087862
  9. Matos, Miguel. "BuzzPSS: A Dependable and Adaptive Peer Sampling Service". 2016.
    10.1109/LADC.2016.20
  10. Matos, Miguel. "Resource Usage Prediction in Distributed Key-Value Datastores". 2016.
    10.1007/978-3-319-39577-7_12
  11. Matos, Miguel. "TOPiCo: Detecting Most Frequent Items from Multiple High-rate Event Streams". 2015.
    10.1145/2675743.2771838
  12. Matos, Miguel. "Practical Evaluation of Large Scale Applications". 2015.
    10.1007/978-3-319-19129-4_10
  13. Matos, Miguel. "EpTO: An Epidemic Total Order Algorithm for Large-Scale Distributed Systems". 2015.
    10.1145/2814576.2814804
  14. Matos, Miguel. "LAYSTREAM: Composing standard gossip protocols for live video streaming". 2014.
    10.1109/P2P.2014.6934297
  15. Matos, Miguel. "On the Support of Versioning in Distributed Key-Value Stores". 2014.
    10.1109/SRDS.2014.35
  16. Matos, Miguel. "DATAFLASKS: Epidemic Store for Massive Scale Systems". 2014.
    10.1109/SRDS.2014.34
Artigo em revista
  1. Paulo Silva; Miguel Matos; João Barreto. "NimbleChain: Speeding up Cryptocurrencies in General-purpose Permissionless Blockchains". Distributed Ledger Technologies: Research and Practice (2023): https://doi.org/10.1145/3573895.
    10.1145/3573895
  2. Ray Neiheiser; Gustavo Inácio; Luciana Rech; Carlos Montez; Matos, Miguel; Luís Rodrigues. "Practical Limitations of Ethereum’s Layer-2". IEEE Access. 11 (2023): https://ieeexplore.ieee.org/document/10018958.
    Publicado
  3. Cruz, F.; Maia, F.; Matos, M.; Oliveira, R.; Paulo, J.; Pereira, J.; Vilaça, R.. "MeT: Workload aware elasticity for NoSQL". Proceedings of the 8th ACM European Conference on Computer Systems, EuroSys 2013 (2013): 183-196. http://www.scopus.com/inward/record.url?eid=2-s2.0-84877704282&partnerID=MN8TOARS.
    10.1145/2465351.2465370
  4. Matos, M.; Schiavoni, V.; Felber, P.; Oliveira, R.; Rivière, E.. "Lightweight, efficient, robust epidemic dissemination". Journal of Parallel and Distributed Computing 73 7 (2013): 987-999. http://www.scopus.com/inward/record.url?eid=2-s2.0-84879071459&partnerID=MN8TOARS.
    10.1016/j.jpdc.2013.01.018
  5. Matos, M.; Felber, P.; Oliveira, R.; Pereira, J.O.; Rivière, E.. "Scaling up publish/subscribe overlays using interest correlation for link sharing". IEEE Transactions on Parallel and Distributed Systems 24 12 (2013): 2462-2471. http://www.scopus.com/inward/record.url?eid=2-s2.0-84887933774&partnerID=MN8TOARS.
    10.1109/TPDS.2013.6
  6. Maia, F.; Matos, M.; Vilaca, R.; Pereira, J.; Oliveira, R.; Riviere, E.. "DATAFLASKS: An epidemic dependable key-value substrate". Proceedings of the International Conference on Dependable Systems and Networks (2013): http://www.scopus.com/inward/record.url?eid=2-s2.0-84883427243&partnerID=MN8TOARS.
    10.1109/DSN.2013.6575326
  7. Maia, F.; Matos, M.; Oliveira, R.; Riviere, E.. "Slicing as a distributed systems primitive". Proceedings - 6th Latin-American Symposium on Dependable Computing, LADC 2013 (2013): 124-133. http://www.scopus.com/inward/record.url?eid=2-s2.0-84881162294&partnerID=MN8TOARS.
    10.1109/LADC.2013.21
  8. Beernaert, L.; Gomes, P.; Matos, M.; Vilaça, R.; Oliveira, R.. "Evaluating Cassandra as a manager of large file sets". Proceedings of the 3rd International Workshop on Cloud Data and Platforms, CloudDP 2013 - Co-located with ACM 13th EuroSys (2013): 25-30. http://www.scopus.com/inward/record.url?eid=2-s2.0-84879510525&partnerID=MN8TOARS.
  9. Beernaert, L.; Matos, M.; Vilaça, R.; Oliveira, R.. "Automatic elasticity in OpenStack". Proceedings of the Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management, SDMCMM 2012 (2012): http://www.scopus.com/inward/record.url?eid=2-s2.0-84871568937&partnerID=MN8TOARS.
    10.1145/2405186.2405188
  10. Matos, M.; Schiavoni, V.; Felber, P.; Oliveira, R.; Riviere, E.. "BRISA: Combining efficiency and reliability in epidemic data dissemination". Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium, IPDPS 2012 (2012): 983-994. http://www.scopus.com/inward/record.url?eid=2-s2.0-84866844175&partnerID=MN8TOARS.
    10.1109/IPDPS.2012.92
  11. Maia, F.; Matos, M.; Rivière, E.; Oliveira, R.. "Slead: Low-memory, steady distributed systems slicing". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7272 LNCS (2012): 1-15. http://www.scopus.com/inward/record.url?eid=2-s2.0-84862735561&partnerID=MN8TOARS.
    10.1007/978-3-642-30823-9_1
  12. Matos, M.; Vilaça, R.; Pereira, J.; Oliveira, R.. "An epidemic approach to dependable key-value substrates". Proceedings of the International Conference on Dependable Systems and Networks (2011): 105-110. http://www.scopus.com/inward/record.url?eid=2-s2.0-80052168239&partnerID=MN8TOARS.
    10.1109/DSNW.2011.5958794
  13. Maia, F.; Matos, M.; Pereira, J.; Oliveira, R.. "Worldwide consensus". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6723 LNCS (2011): 257-269. http://www.scopus.com/inward/record.url?eid=2-s2.0-79959935090&partnerID=MN8TOARS.
    10.1007/978-3-642-21387-8_21
  14. Matos, M.; Sousa, A.; Pereira, J.; Oliveira, R.. "CLON: Overlay network for clouds". Proceedings of the 3rd Workshop on Dependable Distributed Data Management, WDDM'09 (2009): 14-17. http://www.scopus.com/inward/record.url?eid=2-s2.0-70349112969&partnerID=MN8TOARS.
    10.1145/1518691.1518696
  15. Matos, M.; Sousa, A.; Pereira, J.; Oliveira, R.; Deliot, E.; Murray, P.. "CLON: Overlay networks and gossip protocols for cloud environments". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5870 LNCS PART 1 (2009): 549-566. http://www.scopus.com/inward/record.url?eid=2-s2.0-78650707556&partnerID=MN8TOARS.
    10.1007/978-3-642-05148-7_41
  16. Matos, M.; Correia Jr., A.; Pereira, J.; Oliveira, R.. "Serpentine: Adaptive middleware for complex heterogeneous distributed systems". Proceedings of the ACM Symposium on Applied Computing (2008): 2219-2223. http://www.scopus.com/inward/record.url?eid=2-s2.0-56749164047&partnerID=MN8TOARS.
    10.1145/1363686.1364214
Capítulo de livro
  1. Miguel Matos. "Kollaps/Thunderstorm: Reproducible Evaluation of Distributed Systems". In Tutorial Paper, 121-128. Springer International Publishing, 2020.
    10.1007/978-3-030-50323-9_8
  2. Matos, Miguel. "Similarity Aware Shuffling for the Distributed Execution of SQL Window Functions". 3-18. Springer International Publishing, 2017.
    10.1007/978-3-319-59665-5_1
  3. Matos, Miguel. "Implementing a Linear Algebra Approach to Data Processing". 215-222. Springer International Publishing, 2017.
    10.1007/978-3-319-60074-1_9
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2024/01/01 - Atual Programming paradigms in emerging persistent memory systems
Orientador
2022/01/01 - Atual Transaction Parallelization and Schedulling
Orientador
2022/01/01 - Atual Towards Reliable Distributed Systems
Orientador
2021/02/01 - Atual Reliability in Persistent Memory Systems
Orientador
 PhD Program: Computer Science and Engineering (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/01/01 - 2023/03/25 Scalable and Resilient Byzantine Fault Tolerant Consensus
Coorientador
 PhD Program: Computer Science and Engineering (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
Distinções

Prémio

2012 Best Paper Award - "BRISA: Combining Efficiency and Reliability in Epidemic Data Dissemination"
2011 Best Paper Award - "Worldwide Consensus"