???global.info.a_carregar???
Paulo Sérgio Almeida is an Assistant Professor at University of Minho, and a senior researcher at HASLab / INESC TEC. He obtained a MSc degree from University of Porto in 1994 and a PhD degree in Computer Science from Imperial College London in 1998. His research activities have been in the area of distributed systems. Some main contributions have been in causality tracking mechanisms, eventually consistent databases, and fault-tolerant distributed aggregation algorithms. Other subjects have been bloom filters and distributed algorithms in graphs. For some years the main focus of research has been on CRDTs (Conflict-free Replicated Data Types), with some results being the development of both pure operation-based and delta-state based CRDTs. He has published in conferences such as IEEE International Conference on Data Engineering (ICDE), IEEE International Conference on Distributed Computing Systems (ICDCS), International Symposium on Distributed Computing (DISC), and IEEE Symposium on Reliable Distributed Systems (SRDS). He has published in journals such as Distributed Computing (Springer), IEEE Transactions on Parallel and Distributed Systems, Journal of Parallel and Distributed Computing (Elsevier), and IEEE Communications Surveys & Tutorials. He has served as an external reviewer for journals such as IEEE Transactions on Computers, IEEE/ACM Transactions on Networking, Information Processing Letters, IEEE Transactions on Parallel and Distributed Systems, and Distributed Computing (Springer).
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Paulo Sérgio Soares de Almeida

Nomes de citação

  • Almeida, Paulo Sérgio

Identificadores de autor

Ciência ID
CF13-D998-93B0
ORCID iD
0000-0001-7000-0485
Google Scholar ID
MB7Z71QAAAAJ
Researcher Id
I-4138-2015
Scopus Author Id
8396496700

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Formação
Grau Classificação
2023/06/16
Concluído
 Agregação no ramo do conhecimento em Informática (Título de Agregado)
Especialização em Informática
Universidade do Minho, Portugal
1998/08
Concluído
 Doctor of Philosophy in Engineering (Doctor of Philosophy)
Imperial College London, Reino Unido
"Control of Object Sharing in Programming Languages" (TESE/DISSERTAÇÃO)
1994/07
Concluído
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
 Muito Bom
1990/07
Concluído
 Engenharia Electrotécnica e de Computadores (Licenciatura)
Universidade do Porto Faculdade de Engenharia, Portugal
 17
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2011 - Atual Professor Auxiliar (Docente Universitário) Universidade do Minho, Portugal
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
1998/10/20 - Atual Professor Auxiliar (Docente Universitário) Universidade do Minho, Portugal
1994/07/15 - 1998/10/19 Assistente (Docente Universitário) Universidade do Minho, Portugal
1990/11/02 - 1994/07/14 Assistente Estagiário (Docente Universitário) Universidade do Minho, Portugal
Projetos

Projeto

Designação Financiadores
2017/01/01 - 2019/12/31 LightKone: Lightweight computations on the edge
732505
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 European Commission
Concluído
2013/10/01 - 2016/12/31 SyncFree: Large-scale computation without synchronisation
609551
Investigador
European Commission
Concluído
2010/04 - 2012/09 CASTOR: Causality Tracking for Optimistic Replication in Dynamic Distributed Systems
Provided by PTCRIS: 104022
104022
Provided by PTCRIS: 59064
59064
Investigador
Fundação para a Ciência e a Tecnologia, I.P.
2005/03/01 - 2008/06/30 FEW - Files EveryWhere
POSC/EIA/59064/2004
Investigador
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

Universidade do Minho, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Ana Rodrigues; Ariel Shtul; Carlos Baquero; Paulo Sérgio Almeida. "Time-limited Bloom Filter". 2023.
    10.1145/3555776.3577791
  2. Weidner, M; Almeida, PS. "An Oblivious Observed-Reset Embeddable Replicated Counter". 2022.
    10.1145/3517209.3524084
  3. Kassam, Z; Almeida, PS; Shoker, A. "Exon: An Oblivious Exactly-Once Messaging Protocol". 2022.
    10.1109/icccn54977.2022.9868879
  4. Leijnse, A; Almeida, PS; Baquero, C. "Higher-order patterns in replicated data types". 2019.
    10.1145/3301419.3323971
  5. Enes, V; Almeida, PS; Baquero, C; Leitao, J. "Efficient Synchronization of State-based CRDTs". 2019.
    10.1109/icde.2019.00022
  6. Enes, V; Almeida, PS; Baquero, C. "The single-writer principle in crdt composition". 2017.
    10.1145/3166089.3168733
  7. Kassam, Z; Shoker, A; Almeida, PS; Baquero, C. "Aggregation Protocols in Light of Reliable Communication". 2017.
    10.1109/nca.2017.8171346
  8. Goncalves, R; Almeida, PS; Baquero, C; Fonte, V. "DottedDB: Anti-Entropy without Merkle Trees, Deletes without Tombstones". 2017.
    10.1109/srds.2017.28
  9. Younes, G; Almeida, PS; Baquero, C. "Compact Resettable Counters through Causal Stability". 2017.
    10.1145/3064889.3064892
  10. Enes, V; Baquero, C; Almeida, PS; Leitao, J. "Borrowing an Identity for a Distributed Counter". 2017.
    10.1145/3064889.3064894
  11. Shoker, A; Kassam, Z; Almeida, PS; Baquero, C. "Life Beyond Distributed Transactions on the Edge". 2016.
    10.1145/3017116.302274
  12. Enes, V; Baquero, C; Almeida, PS; Shoker, A. "Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition: Work in progress report". 2016.
    10.1145/2957319.2957374
  13. Younes, G; Shoker, A; Almeida, PS; Baquero, C. "Integration Challenges of Pure Operation-based CRDTs in Redis". 2016.
    10.1145/2957319.2957375
  14. Baquero, C; Almeida, PS; Lerche, C. "The problem with embedded CRDT counters and a solution". 2016.
    10.1145/2911151.2911159
  15. Gonçalves, R; Almeida, PS; Baquero, C; Fonte, V. "Concise Server-Wide Causality Management for Eventually Consistent Data Stores". 2015.
    10.1007/978-3-319-19129-4_6
  16. Shoker, A; Almeida, PS; Baquero, C. "Exactly-Once Quantity Transfer". 2015.
    10.1109/srdsw.2015.10
  17. Almeida, PS; Shoker, A; Baquero, C. "Efficient State-Based CRDTs by Delta-Mutation". 2015.
    10.1007/978-3-319-26850-7_5
  18. Baquero, C; Almeida, PS; Shoker, A. "Making operation-based CRDTs operation-based". 2014.
    10.1145/2596631.2596632
  19. Almeida, PS; Shoker, A; Baquero, C. "Efficient state-based CRDTs by decomposition". 2014.
    10.1145/2596631.259663
  20. Sergio Almeida, PS; Baquero, C; Goncalves, R; Preguica, N; Fonte, V. "Scalable and Accurate Causality Tracking for Eventually Consistent Stores". 2014.
    10.1007/978-3-662-43352-2_6
  21. Baquero, C; Almeida, PS; Shoker, A. "Making Operation-Based CRDTs Operation-Based". 2014.
    10.1007/978-3-662-43352-2_11
  22. Jesus, P; Baquero, C; Almeida, PS; Jesus, P.; Baquero, C.; Almeida, P.S.. "Fault-Tolerant Aggregation for Dynamic Networks". 2010.
    10.1109/srds.2010.13
  23. Almeida, PS; Baquero, C; Fonte, V. "Panasync: dependency tracking among file copies". 2000.
    10.1145/566726.566729
  24. Almeida, PS; Almeida, P.S.. "Type-checking balloon types". 1999.
    10.1016/s1571-0661(04)80064-1
  25. Almeida, PS. "Balloon Types: Controlling Sharing of State in Data Types". 1997.
    10.1007/BFb0053373
Artigo em revista
  1. Paulo Sérgio Almeida. "Approaches to Conflict-free Replicated Data Types". ACM Computing Surveys (2025): https://doi.org/10.1145/3695249.
    10.1145/3695249
  2. Rodrigues, A; Shtul, A; Baquero, C; Almeida, PS. "Time-limited Bloom Filter". CoRR (2023):
  3. Almeida, PS. "A Case for Partitioned Bloom Filters". IEEE TRANSACTIONS ON COMPUTERS (2023): https://www.authenticus.pt/P-00S-W30.
    10.1109/tc.2022.3218995
  4. Almeida, PS; Baquero, C. "Scalable eventually consistent counters over unreliable networks". DISTRIBUTED COMPUTING (2019):
    10.1007/s00446-017-0322-2
  5. Paulo Sérgio Almeida; Ali Shoker; Carlos Baquero. "Delta state replicated data types". Journal of Parallel and Distributed Computing 111 (2018): 162-173. https://doi.org/10.1016/j.jpdc.2017.08.003.
    10.1016/j.jpdc.2017.08.003
  6. Almeida, PS; Baquero, C; Farach Colton, M; Jesus, P; Mosteiro, MA; Almeida, P.S.; Baquero, C.; et al. "Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution". DISTRIBUTED COMPUTING 7109 LNCS (2017): 513-527. http://www.scopus.com/inward/record.url?eid=2-s2.0-84055212599&partnerID=MN8TOARS.
    10.1007/s00446-016-0288-5
  7. Baquero, C; Almeida, PS; Cunha, A; Ferreira, C. "COMPOSITION IN STATE-BASED REPLICATED DATA TYPES". BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE (2017):
  8. Jesus, P; Baquero, C; Almeida, PS. "Flow updating: Fault-tolerant aggregation for dynamic networks". JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING (2015):
    10.1016/j.jpdc.2015.02.003
  9. Jesus, P; Baquero, C; Almeida, PS. "A Survey of Distributed Data Aggregation Algorithms". IEEE COMMUNICATIONS SURVEYS AND TUTORIALS (2015):
    10.1109/comst.2014.2354398
  10. Preguiça, N.; Bauqero, C.; Almeida, P.S.; Fonte, V.; Gonçalves, R.. "Brief announcement: Efficient causality tracking in distributed storage systems with dotted version vectors". Proceedings of the Annual ACM Symposium on Principles of Distributed Computing (2012): 335-336. http://www.scopus.com/inward/record.url?eid=2-s2.0-84864999260&partnerID=MN8TOARS.
    10.1145/2332432.2332497
  11. Almeida, P.S.; Baquero, C.; Cunha, A.. "Fast distributed computation of distances in networks". Proceedings of the IEEE Conference on Decision and Control (2012): 5215-5220. http://www.scopus.com/inward/record.url?eid=2-s2.0-84874280419&partnerID=MN8TOARS.
    10.1109/CDC.2012.6426872
  12. Borges, M.; Jesus, P.; Baquero, C.; Almeida, P.S.. "Spectra: Robust estimation of distribution functions in networks". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7272 LNCS (2012): 96-103. http://www.scopus.com/inward/record.url?eid=2-s2.0-84862744611&partnerID=MN8TOARS.
    10.1007/978-3-642-30823-9_8
  13. Baquero, C; Almeida, PS; Menezes, R; Jesus, P; Baquero, C.; Almeida, P.S.; Menezes, R.; Jesus, P.. "Extrema Propagation: Fast Distributed Estimation of Sums and Network Sizes". IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS 23 4 (2012): 668-675. http://www.scopus.com/inward/record.url?eid=2-s2.0-84858071468&partnerID=MN8TOARS.
    10.1109/tpds.2011.209
  14. Baquero, C.; Almeida, P.S.; Menezes, R.. "Fast estimation of aggregates in unstructured networks". Proceedings of the 5th International Conference on Autonomic and Autonomous Systems, ICAS 2009 (2009): 88-93. http://www.scopus.com/inward/record.url?eid=2-s2.0-67650694645&partnerID=MN8TOARS.
    10.1109/ICAS.2009.31
  15. Jesus, P.; Baquero, C.; Almeida, P.S.. "Fault-tolerant aggregation by flow updating". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5523 LNCS (2009): 73-86. http://www.scopus.com/inward/record.url?eid=2-s2.0-68749103682&partnerID=MN8TOARS.
    10.1007/978-3-642-02164-0_6
  16. Cardoso, J.C.S.; Baquero, C.; Almeida, P.S.. "Probabilistic estimation of network size and diameter". Proceedings - 2009 4th Latin-American Symposium on Dependable Computing, LADC 2009 (2009): 33-40. http://www.scopus.com/inward/record.url?eid=2-s2.0-70350751589&partnerID=MN8TOARS.
    10.1109/LADC.2009.19
  17. Almeida, P.S.; Baquero, C.; Fonte, V.. "Interval tree clocks: A logical clock for dynamic systems". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5401 LNCS (2008): 259-274. http://www.scopus.com/inward/record.url?eid=2-s2.0-58849107804&partnerID=MN8TOARS.
    10.1007/978-3-540-92221-6_18
  18. Almeida, P.S.; Baquero, C.; Preguiça, N.; Hutchison, D.. "Scalable Bloom Filters". Information Processing Letters 101 6 (2007): 255-261. http://www.scopus.com/inward/record.url?eid=2-s2.0-33846186007&partnerID=MN8TOARS.
    10.1016/j.ipl.2006.10.007
  19. Almeida, P.S.; Baquero, C.; Fonte, V.. "Improving on version stamps". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4806 LNCS PART 2 (2007): 1025-1031. http://www.scopus.com/inward/record.url?eid=2-s2.0-38349026687&partnerID=MN8TOARS.
    10.1007/978-3-540-76890-6_29
  20. Almeida, J.B.; Almeida, P.S.; Baquero, C.. "Bounded version vectors". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3274 (2004): 102-116. http://www.scopus.com/inward/record.url?eid=2-s2.0-35048864528&partnerID=MN8TOARS.
    10.1007/978-3-540-30186-8_8
  21. Almeida, P.S.; Baquero, C.; Fonte, V.. "Version stamps - Decentralized version vectors". Proceedings - International Conference on Distributed Computing Systems (2002): 544-551. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036375245&partnerID=MN8TOARS.
    10.1109/ICDCS.2002.1022304
  22. Noble, J; Vitek, J; Lea, D; Almeida, PS. "Aliasing in object oriented systems". OBJECT-ORIENTED TECHNOLOGY (1999):
    10.1007/3-540-46589-8_8
Capítulo de livro
  1. Manuel Barros; Maria Ramos; Alexandre Gomes; Alcino Cunha; José Pereira; Paulo Sérgio Almeida. "An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises". 2023.
    10.1007/978-3-031-35355-0_1
Pré-impressão
  1. Almeida, PS. "A Framework for Consistency Models in Distributed Systems". 2024. https://www.authenticus.pt/P-017-YGQ.
  2. Almeida, PS; Shapiro, E. "The Blocklace: A Universal, Byzantine Fault-Tolerant, Conflict-free Replicated Data Type". 2024. https://www.authenticus.pt/P-010-42G.

Outros

Outra produção
  1. Age-Partitioned Bloom Filters. 2020. Shtul, A; Baquero, C; Almeida, PS.
  2. Pure Operation-Based Replicated Data Types. 2017. Baquero, C; Almeida, PS; Shoker, A.
  3. Dotted Version Vectors: Logical Clocks for Optimistic Replication. 2010. Preguiça, NunoM.; Baquero, Carlos; Almeida, PauloSergio; Fonte, Victor; Gonçalves, Ricardo.
  4. Dependability in Aggregation by Averaging. 2010. Jesus, Paulo; Baquero, Carlos; Almeida, PauloSergio.
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2016 - 2024 Beyond Distributed Transactions through Exactly-Once Exchanges
Coorientador de Ziad A. Kassam
 MAP Doctoral Program in Computer Science (Doutoramento)
Universidade do Minho, Portugal
2011 - 2018 Multi-Value Distributed Key-Value Stores
Coorientador de Ricardo Jorge Tomé Gonçalves
 MAP Doctoral Program in Computer Science (Doutoramento)
Universidade do Minho, Portugal
2007 - 2012 Robust Distributed Data Aggregation
Coorientador de Paulo César de Oliveira Jesus
 MAP Doctoral Program in Computer Science (Doutoramento)
Universidade do Minho, Portugal
2000 - 2009 Causality Tracking in Dynamic Distributed Systems
Coorientador de Victor Francisco Mendes de Freitas Gomes da Fonte
 Doutoramento em Informática (Doutoramento)
Universidade do Minho, Portugal
Distinções

Outra distinção

1990 Prémio Eng. António de Almeida
Fundação Engenheiro António de Almeida, Portugal