???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.
Read full resume ↓
Identification

Personal identification

Full name
Miguel Ângelo Marques de Matos

Citation names

  • Matos, Miguel

Author identifiers

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

Knowledge fields

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics

Languages

Language Speaking Reading Writing Listening Peer-review
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Portuguese (Mother tongue)
Education
Degree Classification
2013
Concluded
 MAP-i Doctoral Programme in Computer Science (Doutoramento)
Universidade do Minho, Portugal
"Epidemic Algorithms for Large Scale Data Dissemination" (THESIS/DISSERTATION)
 Aprovado por unanimidade
2009
Concluded
 Mestrado em Engenharia Informática (Mestrado)
Universidade do Minho Escola de Engenharia, Portugal
"Network-Aware Epidemic Broadcast" (THESIS/DISSERTATION)
 19
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2016/12/22 - Current Assistant Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal

Others

Category
Host institution 		Employer
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
Projects

Grant

Designation Funders
2008 - 2008 P-SON: Probabilistically-Structured Overlay Networks
info:eu-repo/grantAgreement/FCT/Orçamento de Funcionamento/POSC/60941/PT
Scientific Initiation Fellow

Contract

Designation Funders
2018/06/01 - Current Angainor:
angainor
Principal investigator
Ongoing
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
Ongoing
2022/01/17 - 2025/01/16 Ainur: Evaluation of crash-consistency guarantees in multi-threaded PM applications
PTDC/CCI-COM/4485/2021
Principal investigator
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
Ongoing
2020/10/01 - 2021/09/30 Automating Crash-Consistency Testing for Persistent Memory
UTA-EXPL/CA/0080/2019
Principal investigator
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
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
Concluded
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
Concluded
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
Concluded

Other

Designation Funders
2019 - 2021/12 QualiChain - Decentralised Qualifications' Verification and Management for Learner Empowerment, Education Reengineering and Public Sector Transformation
822404
Researcher
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
Researcher
Concluded
2013 - 2016/09 CoherentPaaS: A Coherent and Rich PaaS with a Common Programming Model
611068
Researcher
2011 - 2014 Stratus: A Layered Approach to Data Management in the Cloud
info:eu-repo/grantAgreement/FCT/5876-PPCDTI/115570/PT
Researcher
2010 - 2013 CumuloNimbo – High Scalable Transactional Multi-Tier Platform as a Service
FP7-257993
Researcher
2008 - 2008 GORDA: Open Replication of Databases
004758
Scientific Initiation Fellow
Outputs

Publications

Book chapter
  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
Conference paper
  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". Paper presented in 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". Paper presented in In Proceedings of the 28th ACM Symposium on Operating Systems Principles (SOSP)., 2021.
    Accepted • 10.1145/3477132.3483584
  4. Issa, Shady; Viegas, Miguel; Raminhas, Pedro; Machado, Nuno; Matos, Miguel; Romano, Paolo. "Exploiting Symbolic Execution to Accelerate Deterministic Databases". Paper presented in International Conference on Distributed Computing Systems, 2020.
    Accepted
  5. Miguel Amaral; Pardal, Miguel; Matos, Miguel; Hugues Mercier. "FaultSee: Reproducible Fault Injection in Distributed Systems". Paper presented in 16th European Dependable Computing Conference (EDCC), Munique, 2020.
    Published
  6. Gouveia, Paulo; Neves, João; Segarra, Carlos; Liechti, Luca; Issa, Shady; Schiavoni, Valerio; Matos, Miguel. "Kollaps: decentralized and dynamic topology emulation". Paper presented in Fifteenth European Conference on Computer Systems, 2020.
    Published • 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
Journal article
  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.
    Published
  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
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2024/01/01 - Current Programming paradigms in emerging persistent memory systems
Supervisor
2022/01/01 - Current Transaction Parallelization and Schedulling
Supervisor
2022/01/01 - Current Towards Reliable Distributed Systems
Supervisor
2021/02/01 - Current Reliability in Persistent Memory Systems
Supervisor
 PhD Program: Computer Science and Engineering (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/01/01 - 2023/03/25 Scalable and Resilient Byzantine Fault Tolerant Consensus
Co-supervisor
 PhD Program: Computer Science and Engineering (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
Distinctions

Award

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