???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
João Pedro Faria Mendonça Barreto

Nomes de citação

  • Barreto, João

Identificadores de autor

Ciência ID
F81A-0D2A-B5C0
ORCID iD
0000-0002-0726-2025

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Francês Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1)
Português Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Formação
Grau Classificação
2009
Concluído
 Doutoramento em Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Optimistic Replication in Weakly Connected and Resource-Constrained Environments" (TESE/DISSERTAÇÃO)
 Aprovado por unanimidade
2004
Concluído
 Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Haddock-FS: A Distributed File System for Mobile Ad-hoc Networks" (TESE/DISSERTAÇÃO)
 Aprovado
2002
Concluído
 Licenciatura em Engenharia Informática e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"A Distributed File System for Mobile Devices running Windows CE" (TESE/DISSERTAÇÃO)
 17
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2009/03/01 - Atual Professor Auxiliar (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
2007/09/01 - 2009/02/28 Assistente (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
Projetos

Projeto

Designação Financiadores
2018/10/01 - Atual European joint Effort toward a Highly Productive Programming Environment for Heterogeneous Exascale Computing (EPEEC)
info:eu-repo/grantAgreement/EC/H2020/801051/EU
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 European Commission
Em curso
2008/01/01 - Atual Byzantium: Eficient Byzantine fault-tolerant database replication
info:eu-repo/grantAgreement/FCT/3599-PPCDT/74325/PT
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 European Commission
Concluído
2015/06/01 - 2017 TRACE - Opening the cycling and walking tracking potential
635266
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 EU Framework Programme for Research and Innovation Spreading Excellence and Widening Participation
Concluído
2012/01/01 - 2014/12/30 specSTM: Software Transactional Memoty with Thread-Level Speculation Support
info:eu-repo/grantAgreement/FCT/3599-PPCDT/122785/PT
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 European Commission
Concluído
2010/06/01 - 2013/08 Cloud-TM: A Novel Programming Paradigm for Cloud Computing
info:eu-repo/grantAgreement/EC/FP7/257784/EU
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 European Commission
Concluído
Produções

Publicações

Artigo em conferência
  1. Daniel Castro; Baldassin, Alexandro; Barreto, João; Romano, Paolo. Autor correspondente: Daniel Castro. "SPHT: Scalable Persistent Hardware Transactions". Trabalho apresentado em 19th USENIX Conference on File and Storage Technologies, FAST 2021, 2021.
    Publicado
  2. Barreto, João. "Bandwidth-Aware Page Placement in NUMA". 2020.
    10.1109/IPDPS47924.2020.00063
  3. Barreto, João. "Impact of Geo-Distribution and Mining Pools on Blockchains: A Study of Ethereum". 2020.
    10.1109/DSN48063.2020.00041
  4. Barreto, João. "Stretching the capacity of hardware transactional memory in IBM POWER architectures". 2019.
    10.1145/3293883.3295714
  5. Barreto, João. "Bicycle Mode Activity Detection with Bluetooth Low Energy Beacons". 2019.
    10.1109/NCA.2019.8935030
  6. Barreto, João. "Online Tuning of Parallelism Degree in Parallel Nesting Transactional Memory". 2018.
    10.1109/ipdps.2018.00057
  7. Barreto, João. "Hardware Transactional Memory Meets Memory Persistency". 2018.
    10.1109/IPDPS.2018.00046
  8. Barreto, João. "Design and implementation of bandwidth-aware memory placement and migration policies for heterogeneous memory systems". 2017.
    10.1145/3079079.3079092
  9. Barreto, João. "RUBIC: Online Parallelism Tuning for Co-located Transactional Memory Applications". 2016.
    https://doi.org/10.1145/2935764.2935770
  10. Barreto, João. "The Future (s) of Transactional Memory". 2016.
    10.1109/ICPP.2016.57
  11. Barreto, João. "Brief announcement: Fair adaptive parallelism for concurrent transactional memory applications". 2015.
    https://doi.org/10.1145/2755573.2755609
  12. Barreto, João. "FRAME: Fair resource allocation in multi-process environments". 2015.
    https://doi.org/10.1109/ICPADS.2015.81
  13. Barreto, João. "Leveraging Web prefetching systems with data deduplication". 2013.
    10.1109/NCA.2013.47
  14. Barreto, João. "TurboSockets: Democratizing Distributed Deduplication". 2013.
    https://doi.org/10.1109/TrustCom.2013.154
  15. Barreto, João. "Unifying thread-level speculation and transactional memory". 2012.
    10.1007/978-3-642-35170-9_10
  16. Barreto, João. "Efficient distributed subtyping tests". 2007.
    10.1145/1266894.1266937
Artigo em revista
  1. Baldassin, Alexandro; Barreto, João; Castro, Daniel; Romano, Paolo. "Persistent Memory: A Survey of Programming Support and Implementations". ACM Computing Surveys 54 7 (2022): 1-37. http://dx.doi.org/10.1145/3465402.
    Aceite para publicação • 10.1145/3465402
  2. Barreto, João. "Hardware Transactional Memory meets memory persistency". Journal of Parallel and Distributed Computing (2019): http://dx.doi.org/10.1016/j.jpdc.2019.03.009.
    10.1016/j.jpdc.2019.03.009
  3. Barreto, João. "Cloud-TM: An Elastic, Self-Tuning Transactional". Data Intensive Storage Services for Cloud Environments (2013): 192-192.
    10.4018/978-1-4666-6539-2.ch035
  4. Barreto, J.; Veiga, L.; Ferreira, P.. "Hash challenges: Stretching the limits of compare-by-hash in distributed data deduplication". Information Processing Letters 112 10 (2012): 380-385. http://www.scopus.com/inward/record.url?eid=2-s2.0-84857486926&partnerID=MN8TOARS.
    10.1016/j.ipl.2012.01.012
  5. Barreto, J.; Dragojevic, A.; Ferreira, P.; Filipe, R.; Guerraoui, R.. "Unifying thread-level speculation and transactional memory". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7662 LNCS (2012): 187-207. http://www.scopus.com/inward/record.url?eid=2-s2.0-84869790116&partnerID=MN8TOARS.
    10.1007/978-3-642-35170-9_10
  6. Barreto, João. "User-Centric Vehicular Ad-Hoc Networks and Roadside Units for Public Transports Systems". Roadside Networks for Vehicular Communications: Architectures, Applications, and Test Fields: Architectures, Applications, and Test Fields (2012): 191-191.
    10.4018/978-1-4666-2223-4.ch010
  7. Filipe, R.; Barreto, J.. "End-to-end data deduplication for the mobile Web". Proceedings - 2011 IEEE International Symposium on Network Computing and Applications, NCA 2011 (2011): 334-337. http://www.scopus.com/inward/record.url?eid=2-s2.0-80055008122&partnerID=MN8TOARS.
    10.1109/NCA.2011.60
  8. Ribeiro, J.; Barreto, J.; Ferreira, P.. "MultiRep - Asynchronous multi-device consistency". Proceedings of the 3rd International Workshop on Middleware for Pervasive Mobile and Embedded Computing, M-MPAC 2011 - Co-located with ACM/IFIP/USENIX International Middleware Conference (2011): http://www.scopus.com/inward/record.url?eid=2-s2.0-84856679748&partnerID=MN8TOARS.
    10.1145/2090316.2090323
  9. Pereira, F.; Barreto, J.. "easy-City: A route search system for public transport users". Proceedings of the 3rd International Workshop on Middleware for Pervasive Mobile and Embedded Computing, M-MPAC 2011 - Co-located with ACM/IFIP/USENIX International Middleware Conference (2011): http://www.scopus.com/inward/record.url?eid=2-s2.0-84856640049&partnerID=MN8TOARS.
    10.1145/2090316.2090324
  10. Barreto, J.; Dragojevic, A.; Ferreira, P.; Guerraoui, R.; Kapalka, M.. "Leveraging parallel nesting in transactional memory". Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP (2010): 91-100. http://www.scopus.com/inward/record.url?eid=2-s2.0-77749268087&partnerID=MN8TOARS.
    10.1145/1693453.1693466
  11. Barreto, J.; Ferreira, P.. "Meaningful metrics for evaluating eventual consistency". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6272 LNCS PART 2 (2010): 503-515. http://www.scopus.com/inward/record.url?eid=2-s2.0-78249276169&partnerID=MN8TOARS.
    10.1007/978-3-642-15291-7_47
  12. Barreto, J.; Garcia, J.; Veiga, L.; Ferreira, P.. "Data-aware connectivity in mobile replicated systems". MobiDE 2009 - Proceedings of the 8th ACM International Workshop on Data Engineering for Wireless and Mobile Access in Conjunction with ACM SIGMOD / PODS 2009 (2009): 9-16. http://www.scopus.com/inward/record.url?eid=2-s2.0-70449717502&partnerID=MN8TOARS.
    10.1145/1594139.1594147
  13. Barreto, J.; Ferreira, P.. "Efficient locally trackable deduplication in replicated systems". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5896 LNCS (2009): 103-122. http://www.scopus.com/inward/record.url?eid=2-s2.0-70549103339&partnerID=MN8TOARS.
    10.1007/978-3-642-10445-9_6
  14. Barreto, J.; Ferreira, P.. "The obscure nature of epidemic quorum systems". HotMobile 2008: 9th Workshop on Mobile Computing Systems and Applications (2008): 69-73. http://www.scopus.com/inward/record.url?eid=2-s2.0-59249098585&partnerID=MN8TOARS.
    10.1145/1411759.1411778
  15. Sutra, P.; Barreto, J.; Shapiro, M.. "Decentralised commitment for optimistic semantic replication". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4803 LNCS PART 1 (2007): 318-335. http://www.scopus.com/inward/record.url?eid=2-s2.0-38349060125&partnerID=MN8TOARS.
    10.1007/978-3-540-76848-7_21
  16. Barreto, J.; Ferreira, P.; Shapiro, M.. "Exploiting our computational surroundings for better mobile collaboration". Proceedings - IEEE International Conference on Mobile Data Management (2007): 110-117. http://www.scopus.com/inward/record.url?eid=2-s2.0-48649084886&partnerID=MN8TOARS.
    10.1109/MDM.2007.24
  17. Barreto, J.; Ferreira, P.. "Version vector weighted voting protocol: Efficient and fault-tolerant commitment for weakly connected replicas". Concurrency Computation Practice and Experience 19 17 (2007): 2271-2283. http://www.scopus.com/inward/record.url?eid=2-s2.0-35948975792&partnerID=MN8TOARS.
    10.1002/cpe.1168
  18. Barreto, J.; Ferreira, P.. "An efficient and fault-tolerant update commitment protocol for weakly connected replicas". Lecture Notes in Computer Science 3648 (2005): 1059-1068. http://www.scopus.com/inward/record.url?eid=2-s2.0-27144560036&partnerID=MN8TOARS.
    10.1007/11549468_116
  19. Barreto, J.; Ferreira, P.. "Efficient file storage using content-based indexing". Proceedings of the 20th ACM Symposium on Operating Systems Principles, SOSP 2005 (2005): http://www.scopus.com/inward/record.url?eid=2-s2.0-84885577446&partnerID=MN8TOARS.
    10.1145/1095810.1118597
Capítulo de livro
  1. Barreto, João. "Nested parallelism in transactional memory". 192-209. Springer, Cham, 2015.
    https://doi.org/10.1007/978-3-319-14720-8_9
  2. Barreto, João. "Data replication support for collaboration in mobile and ubiquitous computing environments". 1132-1154. IGI Global, 2011.
    10.4018/978-1-60960-042-6.ch069
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2017/01/01 - Atual Improved correctness and scalability for blockchains
Orientador
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016/10/01 - Atual Bandwidth-aware page placement in asymmetric NUMA systems
Orientador
Universidade de Lisboa Instituto Superior Técnico, Portugal
2011/01/01 - 2020/03/31 Efficient support for large transactions in transactional memory systems
Orientador
 Doutoramento em Eng Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/15 - 2019/10/10 Go-Together - A novel trajectory-based journey sharing platform for collective event
Orientador
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal

INForum – Simpósio de Informática, Portugal
2018/09/01 - 2019/10/10 Improve Dissemination in the Ethereum network
Coorientador
 Ciências de Engenharia - Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09 - 2019/10/01 Behavior characterization in cryptocurrency networks
Coorientador
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/15 - 2019/10/01 CoopMap: Democratizing Community Maps using Crowdsourcing
Orientador
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/15 - 2019/10/01 Capturing Unattended Demand In Bike-Sharing Systems
Orientador
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/10 - 2019/10/01 Etherspace: Practical Proof-of-Space for Blockchains
Coorientador
 Ciências de Engenharia - Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/01/15 - 2019/10/01 Plasma Simulation Using Modern High-level HPC Programming Platforms
Coorientador
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal

INForum – Simpósio de Informática, Portugal
2018/09/15 - 2019/10 BOPL: Lista Persistente Otimizada para Batchs
Orientador
 Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2013/01/01 - 2019/04/12 Fair and Efficient Parallelism Tuning in Multi-programmed Environments
Orientador
 Doutoramento em Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2019/09/15 - 2020/03/01 Sistemas Operativos Licenciatura em Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/02/15 - 2019/07/31 Sistema Distribuídos Ciências de Engenharia - Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/15 - 2019/03/10 Sistemas Operativos Licenciatura em Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/02/15 - 2018/07/31 Sistemas Distribuídos Ciências de Engenharia - Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal
2017/09/15 - 2018/03/10 Sistemas Operativos Eng Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico, Portugal

Membro de comissão

Descrição da atividade
Tipo de participação 		Instituição / Organização
2019/09/10 - Atual Member of the Program Committee of Computing for Sustainability (CfS) track INForum – Simpósio de Informática, Portugal
2015/09/10 - Atual Member of the Program Committee of Parallel, Distributed and Large-Scale (CPDLA) track
Membro
 INForum – Simpósio de Informática, Portugal
2011/09/01 - 2018/09/10 Member of the Program Committee of the Mobile and Ubiquous Computing (CMU) track
Membro
 INForum – Simpósio de Informática, Portugal
Distinções

Prémio

2012 Prémio para melhor artigo da conferência (ACM/IFIP/USENIX 13th International Middleware Conference)

Outra distinção

2018 Best paper award finalist (IEEE International Parallel & Distributed Processing Symposium (IPDPS))
IEEE, Estados Unidos
2018 Excellence in Teaching Award - Lectures of Distributed Systems course
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018 Excellence in Teaching Award - Lectures of Operating Systems course
Universidade de Lisboa Instituto Superior Técnico, Portugal
2012 Distinção por resultados pedagógicos excelentes no 1º semestre de 2012/13
2010 Distinção por resultados pedagógicos excelentes no 2º semestre de 2009/10