???global.info.a_carregar???
Identification

Personal identification

Full name
João Pedro Faria Mendonça Barreto

Citation names

  • Barreto, João

Author identifiers

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

Languages

Language Speaking Reading Writing Listening Peer-review
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
French Intermediate (B1) Intermediate (B1) Intermediate (B1) Intermediate (B1)
Portuguese Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Education
Degree Classification
2009
Concluded
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" (THESIS/DISSERTATION)
Aprovado por unanimidade
2004
Concluded
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" (THESIS/DISSERTATION)
Aprovado
2002
Concluded
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" (THESIS/DISSERTATION)
17
Affiliation

Teaching in Higher Education

Category
Host institution
Employer
2009/03/01 - Current Assistant Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
2007/09/01 - 2009/02/28 Assistant (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
Projects

Contract

Designation Funders
2018/10/01 - Current European joint Effort toward a Highly Productive Programming Environment for Heterogeneous Exascale Computing (EPEEC)
Principal investigator
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
European Commission
Ongoing
2008/01/01 - Current Byzantium: Eficient Byzantine fault-tolerant database replication
Principal investigator
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
European Commission
Concluded
2015/06/01 - 2017 TRACE - Opening the cycling and walking tracking potential
Principal investigator
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
Concluded
2012/01/01 - 2014/12/30 specSTM: Software Transactional Memoty with Thread-Level Speculation Support
Principal investigator
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
European Commission
Concluded
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
Concluded
Outputs

Publications

Book chapter
  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
Conference paper
  1. Daniel Castro; Baldassin, Alexandro; Barreto, João; Romano, Paolo. Corresponding author: Daniel Castro. "SPHT: Scalable Persistent Hardware Transactions". Paper presented in 19th USENIX Conference on File and Storage Technologies, FAST 2021, 2021.
    Published
  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
Journal article
  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.
    Accepted • 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
Activities

Supervision

Thesis Title
Role
Degree Subject (Type)
Institution / Organization
2017/01/01 - Current Improved correctness and scalability for blockchains
Supervisor
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016/10/01 - Current Bandwidth-aware page placement in asymmetric NUMA systems
Supervisor
Universidade de Lisboa Instituto Superior Técnico, Portugal
2011/01/01 - 2020/03/31 Efficient support for large transactions in transactional memory systems
Supervisor
Doutoramento em Eng Informática e de Computadores (PhD)
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
Supervisor
Engenharia Informática e de Computadores (Master)
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
Co-supervisor
Ciências de Engenharia - Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09 - 2019/10/01 Behavior characterization in cryptocurrency networks
Co-supervisor
Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/15 - 2019/10/01 CoopMap: Democratizing Community Maps using Crowdsourcing
Supervisor
Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/15 - 2019/10/01 Capturing Unattended Demand In Bike-Sharing Systems
Supervisor
Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/10 - 2019/10/01 Etherspace: Practical Proof-of-Space for Blockchains
Co-supervisor
Ciências de Engenharia - Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/01/15 - 2019/10/01 Plasma Simulation Using Modern High-level HPC Programming Platforms
Co-supervisor
Engenharia Informática e de Computadores (Master)
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
Supervisor
Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2013/01/01 - 2019/04/12 Fair and Efficient Parallelism Tuning in Multi-programmed Environments
Supervisor
Doutoramento em Engenharia Informática e de Computadores (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal

Committee member

Activity description
Role
Institution / Organization
2019/09/10 - Current Member of the Program Committee of Computing for Sustainability (CfS) track INForum – Simpósio de Informática, Portugal
2015/09/10 - Current Member of the Program Committee of Parallel, Distributed and Large-Scale (CPDLA) track
Member
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
Member
INForum – Simpósio de Informática, Portugal

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
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
Distinctions

Award

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

Other distinction

2018 Best paper award finalist (IEEE International Parallel & Distributed Processing Symposium (IPDPS))
IEEE, United States
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