???global.info.a_carregar???
NOVA-LINCS Group: Computer Systems. Research Topics: Parallel Programming; Concurrency; Transactional Systems; Testing; Debugging. Google Scholar:https://scholar.google.com/citations?user=8aN-HtMAAAAJ. Dr. João Lourenço currently serves as Co-Director of UNINOVA (Institute for Development of New Technologies) and as Associate Professor at the Computer Science Department at NOVA School of Science and Technology (NOVA University Lisbon). He is also a founding members of the NOVA Laboratory for Computer Science and Informatics (NOVA LINCS) and holds a position as Adjunct Professor in Faculty of Science at the Ontario Tech (formerly UOIT). Dr. Lourenço earned his BSc, MSc and PhD degrees from NOVA University Lisbon, in 1991, 1995, and 2004 respectively and (co-)advised 40+ MSc students and 4 PhD students. His main research interests include in-memory data management for parallel and large-scale computing systems, high-performance databases, and the verification and validation (testing and debugging) of concurrent programs, and edge/fog computing. He has authored or co-authored more than 70 peer-reviewed international publications including conference and workshop papers, journal papers, and book chapters, and received two Best Paper Awards at Euro-Par 2012 and HVC 2012. Participates and/or participated as Co-Principal Investigator (Co-PI) in 1 project, Invited Scientist Fellow in 1 project, Principal investigator in 2 projects and Researcher in 11 projects. Dr. Lourenço actively participates in academic and scientific committees, and is member of several advisory boards and steering committees for various international conferences and research networks. His scientific contributions have garnered recognition, He was a visiting researcher in prominent research institutions, including the IBM Research Laboratory in Haifa, Israel, in 2011; the University of São Paulo (São Carlos), Brazil, in 2014; and the University of Brno, Czech Republic, in 2015, 2018, 2021 and 2023. In addition to his scholarly work, Dr. Lourenço is known for creating the widely utilised LaTeX thesis template “NOVAthesis” (http://joaomlourenco.github.io/novathesis/). Selected Publications: - A. Matos Pedro, T. Silva, T. Sequeira, J.M. Lourenço, J. Costa Seco, and C. Ferreira (2024). “Monitoring of spatio-temporal properties with nonlinear SAT solvers”. Int J Softw Tools Technol Transfer. DOI:10.1007/s10009-024-00740-7. - J.A. Silva, F. Cerqueira, H. Paulino, J.M. Lourenço, J. Leitão, and N. Preguiça (2021). “It’s About Thyme: on the Design and Implementation of a Time-aware Reactive Storage System for Pervasive Edge Computing Environments”. In: Future Generation Computer Systems 118, pp. 14-36. issn: 0167-739X. DOI:10.1016/j.future.2020.12.008. - C. Sánchez, G. Schneider, W. Ahrendt, E. Bartocci, D. Bianculli, C. Colombo, Y. Falcone, A. Francalanza, S. Krstic, J.M. Lourenço, D. Nickovic, G.J. Pace, J. Rufino, J. Signoles, D. Traytel, and A. Weiss (2019). “A survey of challenges for runtime verification from advanced application domains (beyond software)”. In: Formal Methods in System Design. ISSN: 1572-8102. DOI:10.1007/ s10703-019-00337-w. - J.M. Lourenço, J. Fiedor, B. Krena, T. Vojnar (2018). Discovering Concurrency Errors. In: Bartocci, E., Falcone, Y. (eds) Lectures on Runtime Verification. Lecture Notes in Computer Science, vol 10457. Springer, Cham. DOI:10.1007/978-3-319-75632-5_2. - R.J. Dias, C. Ferreira, J. Fiedor, J.M. Lourenço, A. Smrcka, D.G. Sousa, and T. Vojnar (2017). “Verifying Concurrent Programs Using Contracts”. In: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). pp. 196-206. DOI:10.1109/ICST.2017.25.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
João Manuel dos Santos Lourenço

Nomes de citação

  • Lourenço, João
  • João M. Lourenço

Identificadores de autor

Ciência ID
4612-E653-CE62
ORCID iD
0000-0002-8495-6442
Google Scholar ID
8aN-HtMAAAAJ
Researcher Id
A-7024-2010
Scopus Author Id
56592218300

Endereços de correio eletrónico

  • joao.lourenco@fct.unl.pt (Profissional)
  • joao.lourenco@uninova.pt (Profissional)

Telefones

Telefone
  • 212948536 Ext.: 10740 (Profissional)

Moradas

  • Dep. Informática, NOVA FCT, Campus de Caparica, 2829-516, CAPARICA, Almada, Portugal (Profissional)
  • UNINOVA, Campus de Caprica, 2829-516, Caparica, Almada, Portugal (Profissional)

Websites

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
Português (Idioma materno)
Inglês Utilizador proficiente (C2) Utilizador proficiente (C1) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C1)
Francês Utilizador independente (B1) Utilizador independente (B2) Utilizador elementar (A2) Utilizador independente (B2) Utilizador independente (B1)
Espanhol; Castelhano Utilizador elementar (A1) Utilizador independente (B2) Utilizador elementar (A1) Utilizador independente (B2) Utilizador independente (B1)
Formação
Grau Classificação
2021/01/25 - 2021/01/27
Concluído
 Effective Communication Skills (Outros)
Universidade Nova de Lisboa, Portugal
2020/03 - 2020/03
Concluído
 Theatrical Techniques Applied to Teaching (Outros)
Universidade Nova de Lisboa, Portugal
2020/01 - 2020/02
Concluído
 Sciencepreneur (NOVA Doctoral School's course) (Outros)
Universidade Nova de Lisboa, Portugal
2016/10 - 2016/10
Concluído
 Developing Supervisory Skills Course (Outros)
Universidade Nova de Lisboa, Portugal
2014/05 - 2014/05
Concluído
 7th School on Hot Topics in Distributed Computing (Outros)
Inria Centre de Recherche Rennes Bretagne Atlantique, França
2011/07 - 2011/07
Concluído
 GPU Programming for Scientific Applications (Outros)
The University of Texas at Austin Department of Electrical and Computer Engineering, Estados Unidos
2004/11/29
Concluído
 Doutoramento em Informática (PhD in Computer Science) (Doutoramento)
Especialização em Especialidade: Informática (Specialisatin: Computer Science)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
"A Debugging Engine for Parallel and Distributed Programs" (TESE/DISSERTAÇÃO)
 Approved by unanimity
2000/06 - 2000/06
Concluído
 Leadership and Human Resource Management (Outros)
Universidade Nova de Lisboa, Portugal
1998/06 - 1998/06
Concluído
 University Didactics (Outros)
Universidade Nova de Lisboa, Portugal
1995/02
Concluído
 Mestrado em Engenharia Informática (MSc in Computer Science and Engineering) (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
"Mecanismos de Suporte à Execução Concorrente de Programas em Lógica" (TESE/DISSERTAÇÃO)
 Approved by unanimity
1991/07
Concluído
 Licenciatura em Engenharia Informática (Licenciate in Computer Science and Engineering) (Licenciatura)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
 15/20 points
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2015/01 - Atual Investigador (Investigação) Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
2004 - 2014 Investigador (Investigação) Centro de Informática e Tecnologias da Informação, Portugal
Universidade Nova de Lisboa, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2020/09 - Atual Professor Associado (Docente Universitário) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2004/11 - 2020/09 Professor Auxiliar (Docente Universitário) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
1992/03 - 2004/11 Assistente (Docente Universitário) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento 		Empregador
2023/01/01 - Atual Director de Unidade Orgânica UNINOVA Instituto de Desenvolvimento de Novas Tecnologias, Portugal
Universidade Nova de Lisboa, Portugal
2019/09/01 - Atual Adjunct Professor Faculty of Science at the Ontario Tech (formerly UOIT), Canadá
Faculty of Science at the Ontario Tech (formerly UOIT), Canadá
Projetos

Bolsa

Designação Financiadores
2018/10 - 2021/09 NG-STORAGE: New Generation of Data Storage and Management Systems
PTDC/CCI-INF/32038/2017
Investigador
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

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
2018/09 - 2021/08 DEDUCE: Distributed Data-Centric Concurrency Control
PTDC/CCI-COM/32166/2017
Investigador
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

Associação para a Inovação e Desenvolvimento da FCT, Portugal

Instituto de Telecomunicações, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2018/07 - 2021/06 HiPSTr: High-Performance Serializable Transactions
PTDC/CCI-COM/32456/2017
LISBOA-01-0145-FEDER-032456
Investigador responsável
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Associação para a Inovação e Desenvolvimento da FCT, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2018/07 - 2021/06 SAMOA: Secure and Scalable Platform for Massive-scale Mobile Applications
PTDC/CCI-INF/32662/2017
Investigador
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

Associação para a Inovação e Desenvolvimento da FCT, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2014/03 - 2018/02 Hyrax - Crowd-Sourcing Mobile Devices to Develop Edge Clouds
FCT CMUP-ERI/FIA/0048/2013
CMUP-ERI/FIA/0048/2013
Investigador
Universidade do Porto Faculdade de Ciências, Portugal

Instituto de Engenharia de Sistemas e Computadores, Portugal

Instituto de Telecomunicações, Portugal

Associação para a Inovação e Desenvolvimento da FCT, Portugal

Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2013/09 - 2016/12 SyncFree - Large-Scale Computation without Synchronisation
609551
Investigador
Associação para a Inovação e Desenvolvimento da FCT, Portugal

Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
European Union
Concluído
2013/07 - 2015/12 SwiftComp - Fast and Efficient Incremental Computation for Cloud Computing Environments
Provided by PTCRIS: 127221
PTDC/EEI-SCR/1837/2012
Investigador
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Associação para a Inovação e Desenvolvimento da FCT, Portugal

Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2013/08 - 2015/07 TestPar - Parallel Testing of Concurrent Applications
13/01818-7
Bolseiro de Cientista Convidado
Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação, Brasil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluído
2011/03 - 2014/08 Synergy-VM: A Blueprint for the Next Generation Execution Environments
Provided by PTCRIS: 113613
PTDC/EIA-EIA/113613/2009
Investigador responsável
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

Associação para a Inovação e Desenvolvimento da FCT, Portugal

Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2010/03 - 2013/08 RepComp - Replicated Components for Improved Performance or Reliability in Multicore Systems
Provided by PTCRIS: 108963
PTDC/EIA-EIA/108963/2008
Investigador
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2008/01 - 2011/12 Byzantium: Eficient Byzantine fault-tolerant database replication
Provided by PTCRIS: 74325
PTDC/EIA/74325/2006
Investigador
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

Associação para a Inovação e Desenvolvimento da FCT, Portugal

Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2008/09 - 2010/06 VIRTU - Virtualization and Management of Application Appliances
PTDC/EIA- EIA/108963/2008
Co-Investigador Responsável (Co-IR)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Associação para a Inovação e Desenvolvimento da FCT, Portugal

Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
1994 - 1997 SEPP - Software Engineering for Parallel Processing
CIPA-C193-0251
Investigador
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Centro de Informática e Tecnologias da Informação, Portugal
European Union
Concluído
1994 - 1996 HPCTI - High Performance Computing Tools for Industry
CP-93-5383
Investigador
European Union
Concluído

Projeto

Designação Financiadores
2019/01/01 - 2019/12/31 NOVA Laboratory for Computer Science and Informatics
UID/CEC/04516/2019
Universidade Nova de Lisboa Associação para a Inovação e Desenvolvimento da FCT, Portugal

Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2011/01/01 - 2013/12/31 Strategic Project - UI 527 - 2011-2012
PEst-OE/EEI/UI0527/2011
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. André J. Costa; Preguiça, Nuno; João M. Lourenço. "FLeeC: a Fast Lock-Free Cache". Trabalho apresentado em INForum - Portuguse Conference on Computer Science (INForum 2023), Porto, 2023.
    Publicado
  2. Costa, André; Nuno Manuel Ribeiro Preguiça; João M. Lourenço. "FLeeC: a Fast Lock-Free Application Cache". Trabalho apresentado em INForum, Porto, 2023.
    Publicado
  3. António Coelho; João M. Lourenço; Ravara, António. "Automatic Detection and Resolution of Deadlocks in Go Programs". Trabalho apresentado em INForum - Portuguse Conference on Computer Science (INForum 2022), Guarda, 2022.
    Publicado
  4. Thales Parreira; Tiago M. Vale; Ricaro J. Dias; João M. Lourenço. "Empowering a Relational Database with LSD: Lazy State Determination". Trabalho apresentado em INForum - Portuguse Conference on Computer Science (INForum 2022), Guarda, 2022.
    Publicado
  5. Hugo Pereira; Diogo G. Sousa; Jeremy Bradbury; João M. Lourenço. "Automatic Generation of Contracts for Concurrent Java Programs". Trabalho apresentado em INForum - Portuguse Conference on Computer Science (INForum 2022), Guarda, 2022.
    Publicado
  6. Filipe de Luna; Jeremy Bradbury; João M. Lourenço. "OSCAR - A Java Noise Injection Framework". Trabalho apresentado em INForum - Portuguse Conference on Computer Science (INForum 2022), Guarda, 2022.
    Publicado
  7. João Antão; Barreto, João; João M. Lourenço. "A Study of Latency-Aware Data-Placement in Heterogeneous (PMEM) Memory Systems". Trabalho apresentado em INForum - Portuguse Conference on Computer Science (INForum 2022), Guarda, 2022.
    Publicado
  8. Tomás Silva; André Matos Pedro; COSTA SECO, JOÃO; João M. Lourenço. "Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers". Trabalho apresentado em INForum - Portuguse Conference on Computer Science (INForum 2021), Lisboa, 2021.
    Publicado
  9. António Teófilo; João M. Lourenço; Hervé Paulino. "RedMesh: A wifi-direct network formation algorithm for large-scale scenarios". Trabalho apresentado em International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2020), 2020.
    Publicado • 10.1145/3448891.3448937
  10. João A. Silva; Hervé Paulino; João M. Lourenço; João Leitão; Nuno Preguica. "Time-aware reactive storage in wireless edge environments". Trabalho apresentado em International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2019), 2019.
    Publicado • 10.1145/3360774.3360828
  11. Patrícia Monteiro; João M. Lourenço; Ravara, António. "Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória". Trabalho apresentado em INForum - Portuguse Conference on Computer Science (INForum 2018), Coimbra, 2018.
    Publicado
  12. João M. Lourenço. "Verifying real-world software with contracts for concurrency". Trabalho apresentado em International Symposium on Leveraging Applications of Formal Methods, 2018.
    Publicado • 10.1007/978-3-030-03427-6_9
  13. Filipe Cerqueira; João M. Lourenço; Hervé Paulino; João Silva. "Towards a persistent publish/subscribe system for networks of mobile devices". Trabalho apresentado em Workshop on Middleware for Edge Clouds and Cloudlets (MECC 2017), 2017.
    Publicado • 10.1145/3152360.3152362
  14. António Teófilo; Diogo Remédios; João M. Lourenço; Hervé Paulino. "GOCRGO and GOGO: Two minimal Communication Topologies for WiFi-Direct Multi-group Networking". Trabalho apresentado em International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous 2017), 2017.
    Publicado • 10.1145/3144457.3144481
  15. Filipe Cerqueira; João Silva; João M. Lourenço; Paulino, Hervé. "Sistema Publicador/Subscritor com Persistência de Dados para Redes de Dispositivos Móveis". Trabalho apresentado em INForum - Portuguse Conference on Computer Science (INForum 2017), 2017.
    Publicado
  16. Ricardo J. Dias; Carla Ferreira; Jan Fiedor; João M. Lourenço; Ales Smrcka; Diogo G. Sousa; Tomas Vojnar. "Verifying Concurrent Programs Using Contracts". Trabalho apresentado em International Conference on Software Testing, Verification and Validation (ICST 2017), 2017.
    Publicado • 10.1109/ICST.2017.25
  17. António Teófilo; Diogo Remédios; Hervé Paulino; João M. Lourenço. "Comunicação Móvel Inter-Grupo Baseada em TCP sobre Wi-Fi Direct". Trabalho apresentado em INForum - Portuguse Conference on Computer Science (INForum 2016), 2016.
    Publicado
  18. Silva, J.A.; Monteiro, R.; Paulino, H.; João M. Lourenço. "Ephemeral data storage for networks of hand-held devices". Trabalho apresentado em IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 2016.
    Publicado • 10.1109/TrustCom.2016.0182
  19. Silva, J.A.; Leitão, J.; Preguiça, N.; João M. Lourenço; Paulino, H.. "Towards the opportunistic combination of mobile ad-hoc networks with infrastructure access". Trabalho apresentado em Workshop on Middleware for Edge Clouds & Cloudlets, 2016.
    Publicado • 10.1145/3017116.3022873
  20. Orosa, L.; João M. Lourenço. "A Hardware Approach to Detect, Expose and Tolerate High Level Data Races". Trabalho apresentado em Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016), 2016.
    Publicado • 10.1109/PDP.2016.57
  21. André Alves; Fernando Birra; João M. Lourenço. "Como separar o trigo do joio? Ou: Como selecionar a melhor fotografia de um conjunto de fotografias semelhantes". Trabalho apresentado em INForum - Portuguse Conference on Computer Science (INForum 2015), Covilhã, 2015.
    Publicado
  22. Tiago M. Vale; Dias, Ricardo J.; João M. Lourenço. "Execução concorrente e determinista de transações". Trabalho apresentado em INForum - Portuguse Conference on Computer Science (INForum 2015), Covilhã, 2015.
    Publicado
  23. Ricardo Monteiro; João A Silva; João M. Lourenço; Paulino, Hervé. "Armazenamento Distribuído para Redes de Dispositivos Móveis". Trabalho apresentado em INForum - Portuguse Conference on Computer Science (INForum 2015), Covilhã, 2015.
    Publicado
  24. Silva, J.A.; João M. Lourenço; Paulino, Hervé. "Boosting locality in multi-version partial data replication". Trabalho apresentado em ACM Symposium on Applied Computing, 2015.
    Publicado • 10.1145/2695664.2695851
  25. Fiedor, Jan; Letko, Zdenek; João M. Lourenço; Vojnar, Tomás. "Dynamic Validation of Contracts in Concurrent Code". Trabalho apresentado em International Conference on Computer Aided Systems Theory (EUROCAST 15), Las Palmas, 2015.
    Publicado • 10.1007/978-3-319-27340-2_69
  26. João A. Silva; Tiago M. Vale; Ricardo J. Dias; Paulino, Hervé; João M. Lourenço. "Supporting Multiple Data Replication Models in Distributed Transactional Memory". Trabalho apresentado em International Conference on Distributed Computing and Networking, Goa, 2015.
    Publicado • 10.1145/2684464.2684481
  27. Monteiro, R.; Silva, J.; João M. Lourenço; Paulino, Hervé. "Decentralized storage for networks of hand-held devices". Trabalho apresentado em International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, 2015.
    Publicado • 10.4108/icst.mobiquitous.2015.260263
  28. TEÓFILO, ANTÓNIO; Remédios, D.; Paulino, Hervé; João M. Lourenço. "Group-to-group bidirectional Wi-Fi direct communication with two relay nodes". Trabalho apresentado em International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, 2015.
    Publicado • 10.4108/icst.mobiquitous.2015.260272
  29. Prado, R.R.; Souza, P.S.L.; Dourado, G.G.M.; Souza, S.R.S.; Estrella, J.C.; Bruschi, S.M.; João M. Lourenço. "Extracting static and dynamic structural information from Java concurrent programs for coverage testing". Trabalho apresentado em Latin American Computing Conference, 2015.
    Publicado • 10.1109/CLEI.2015.7359975
  30. Remédios, D.; TEÓFILO, ANTÓNIO; Paulino, Hervé; João M. Lourenço. "Mobile device-to-device distributed computing using data sets". Trabalho apresentado em International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, 2015.
    Publicado • 10.4108/icst.mobiquitous.2015.260273
  31. João A. Silva; Paulino, Hervé; João M. Lourenço. "Crowd-sourcing Mobile Devices to Provide Storage in Edge-Clouds". Trabalho apresentado em Doctoral Symposium of the International Conference on Distributed Computing and Networking, 2015.
    Publicado
  32. Fiedor, Jan; Letko, Zdenek; João M. Lourenço. "On Monitoring C/C++ Transactional Memory Programs". Trabalho apresentado em Mathematical and Engineering Methods in Computer Science, Las Palmas, 2014.
    Publicado • 10.1007/978-3-319-14896-0_7
  33. João M. Lourenço; Paulino, Hervé. "Um Mecanismo de Caching para o Protocolo SCORe". Trabalho apresentado em INForum - Portuguse Conference on Computer Science (INForum 2014), Porto, 2014.
    Publicado
  34. João M. Lourenço; Paulino, Hervé. "Supporting Partial Data Replication in Distributed Transactional Memory". Trabalho apresentado em Joint Euro-TM/MEDIAN Workshop on Dependable Multicore and Transactional Memory Systems, Vienna, 2014.
    Publicado
  35. Orosa, L.; João M. Lourenço. "Hardware Approach for Detecting, Exposing and Tolerating High Level Atomicity Violations". Trabalho apresentado em Joint Euro-TM/MEDIAN Workshop on Dependable Multicore and Transactional Memory Systems, Vienna, 2014.
    Publicado
  36. Diogo G. Sousa; Carla Ferreira; João M. Lourenço. "Prevenção de Violações de Atomicidade usando Contractos". Trabalho apresentado em INForum - Portuguse Conference on Computer Science (INForum 2013), Évora, 2013.
    Publicado
  37. Helder R. L. Martins; João Soares; João M. Lourenço; Preguiça, Nuno. "Replicação Multi-nível de Bases de Dados em Memória". Trabalho apresentado em INForum - Portuguse Conference on Computer Science (INForum 2013), Évora, 2013.
    Publicado
  38. Soares, J.; João M. Lourenço; Preguiça, Nuno. "MacroDB: Scaling database engines on multicores". Trabalho apresentado em Euro-Par 2013 Parallel Processing, 2013.
    Publicado • 10.1007/978-3-642-40047-6_61
  39. João A. Silva; Vale, Tiago M.; João M. Lourenço; Paulino, Hervé. "Replicação Parcial com Memória Transacional Distribuída". Trabalho apresentado em INForum - Portuguse Conference on Computer Science (INForum 2013), 2013.
    Publicado
  40. Vale, T.M.; Dias, R.J.; João M. Lourenço. "On the relevance of total-order broadcast implementations in replicated software transactional memories". Trabalho apresentado em Multicore Software Engineering, Performance, and Tools (MUSEPAT 2013), 2013.
    Publicado • 10.1007/978-3-642-39955-8_5
  41. João Soares; João M. Lourenço; Preguiça, Nuno. "Software Component Replication for Improved Fault-Tolerance: Can Multicore Processors Make It Work?". Trabalho apresentado em European Workshop on Dependable Computing, 2013.
    Publicado • 10.1007/978-3-642-38789-0_15
  42. Dias, Ricardo J.; Vasco Pessanha; João M. Lourenço. "Precise Detection of Atomicity Violations". Trabalho apresentado em Haifa Verification Conference, Haifa, 2013.
    Publicado • 10.1007/978-3-642-39611-3_8
  43. Dias, R.J.; Vale, T.M.; João M. Lourenço. "Efficient support for in-place metadata in transactional memory". Trabalho apresentado em Euro-Par 2012 Parallel Processing, Rhodes, 2012.
    Publicado • 10.1007/978-3-642-32820-6_59
  44. Diogo G. Sousa; João M. Lourenço; Farchi, Eitan; Itai Segall. "Aplicação do Fecho de Programas na Deteção de Anomalias de Concorrência". Trabalho apresentado em INForum - Portuguse Conference on Computer Science (INForum 2012), Lisboa, 2012.
    Publicado
  45. Tiago M. Vale; Dias, Ricardo J.; João M. Lourenço. "Uma Infraestrutura para Suporte de Memória Transacional Distribuída". Trabalho apresentado em INForum - Portuguse Conference on Computer Science (INForum 2012), 2012.
    Publicado
  46. Dias, R.J.; Distefano, D.; COSTA SECO, JOÃO; João M. Lourenço. "Verification of snapshot isolation in transactional memory java programs". Trabalho apresentado em European Conference on Object-Oriented Programming, 2012.
    Publicado • 10.1007/978-3-642-31057-7-28
  47. Farchi, Eitan; Segall, I.; João M. Lourenço; Sousa, Diogo G.. "Using program closures to make an application programming interface (API) implementation thread safe". Trabalho apresentado em Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, 2012.
    Publicado • 10.1145/04000802.2336810
  48. João Eduardo Luís; João M. Lourenço; Paulo Orlando Reis Afonso Lopes. "Suporte Transaccional para o Sistema de Ficheiros Btrfs". Trabalho apresentado em INForum - Portuguse Conference on Computer Science (INForum 2011), Coimbra, 2011.
    Publicado
  49. Luís Picciochi Oliveira; João M. Lourenço. "Aceleração de Computações Científicas com Processadores Heterogéneos". Trabalho apresentado em INForum - Portuguse Conference on Computer Science (INForum 2011), Coimbra, 2011.
    Publicado
  50. Dias, Ricardo J.; João M. Lourenço; Preguiça, Nuno. "Efficient and Correct Transactional Memory Programs Combining Snapshot Isolation and Static Analysis". Trabalho apresentado em USENIX Conference on Hot Topics in Parallelism, Berkley, 2011.
    Publicado
  51. Pessanha, Vasco; Dias, R.J.; João M. Lourenço; Farchi, E.; Sousa, D.. "Practical verification of high-level dataraces in transactional memory programs". Trabalho apresentado em Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, 2011.
    Publicado • 10.1145/2002962.2002968
  52. Dias, Ricardo J.; João M. Lourenço; COSTA SECO, JOÃO. "Snapshot Isolation Anomalies Detection in Software Transactional Memory". Trabalho apresentado em INForum - Portuguse Conference on Computer Science (INForum 2010), Braga, 2010.
    Publicado
  53. João M. Lourenço; Bruno Teixeira; Sousa, Diogo G.. "A Static Approach for Detecting Concurrency Anomalies in Transactional Memory". Trabalho apresentado em INForum - Portuguse Conference on Computer Science (INForum 2010), Braga, 2010.
    Publicado
  54. João M. Lourenço. "Understanding Transactional Memory (Extended Abstract)". Trabalho apresentado em Haifa Verification Conference, Haifa, 2010.
    Publicado • 10.1007/978-3-642-19583-9_1
  55. Hollander, Y.; Hu, A.; João M. Lourenço; Morad, R.. "Special session on debugging". Trabalho apresentado em Haifa Verification Conference, Haifa, 2010.
    Publicado • 10.1007/978-3-642-19583-9_7
  56. Teixeira, B.; João M. Lourenço; Farchi, E.; Dias, R.; Sousa, D.. "Detection of Transactional Memory anomalies using static analysis". Trabalho apresentado em Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, 2010.
    Publicado • 10.1145/1866210.1866213
  57. Duro, N.; Santos, R.; João M. Lourenço; Paulino, H.; Martins, J.. "Open virtualization framework for testing Ground Systems". Trabalho apresentado em Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, 2010.
    Publicado • 10.1145/1866210.1866217
  58. Paulino, Hervé; Martins, J.A.; João M. Lourenço; Duro, N.. "SmART: An application reconfiguration framework". Trabalho apresentado em Complex Systems Design & Management, 2010.
    Publicado • 10.1007/978-3-642-15654-0_5
  59. Dias, R.J.; João M. Lourenço. "Unifying memory and database transactions". Trabalho apresentado em Euro-Par 2013 Parallel Processing, Delft, 2009.
    Publicado • 10.1007/978-3-642-03869-3_35
  60. João M. Lourenço; Dias, R.; Luís, J.; Rebelo, M.; Pessanha, V.. "Understanding the behavior of transactional memory applications". Trabalho apresentado em Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, 2009.
    Publicado • 10.1145/1639622.1639625
  61. Preguiça, Nuno; Rodrigo Rodrigues; Cristóvão Honorato; João M. Lourenço. "Byzantium: Byzantine-fault-tolerant database replication providing snapshot isolation". Trabalho apresentado em HotDep'08: Proceedings of the Fourth conference on Hot topics in system dependability, San Diego, 2008.
    Publicado • https://dl.acm.org/doi/10.5555/1855556.1855565
  62. Gonçalo Cunha; João M. Lourenço; Ricardo J. Dias. "Consistent State Software Transactional Memory". Trabalho apresentado em Jornadas de Engenharia de Electrónica e Telecomunicações e de Computadores, Lisboa, 2008.
    Publicado
  63. João M. Lourenço; Cunha, G.. "Testing patterns for software transactional memory engines". Trabalho apresentado em Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, 2007.
    Publicado • 10.1145/1273647.1273655
  64. João M. Lourenço; Cunha, J.C.. "Fiddle: A flexible distributed debugging architecture". Trabalho apresentado em International Conference on Computational Science, 2001.
    Publicado • 10.1007/3-540-45718-6_87
  65. Jose C. Cunha; Pedro Medeiros; Vitor Duarte; João M. Lourenço; M. C. Gomes. "An experience in building a parallel and distributed problem-solving environment". Trabalho apresentado em Parallel and Distributed Processing Techniques and Applications (PDPTA), 1999.
    Publicado
  66. Jose C. Cunha; Pedro Abílio Duarte de Medeiros; João M. Lourenço; Vitor Duarte; João Vieira; Bruno Moscão; Daniel Pereira ; Rui Vaz. "The DOTPAR project: Towards a framework supporting domain oriented tools for parallel and distributed processing". Trabalho apresentado em International Conference on High-Performance Computing and Networking, 1998.
    Publicado • 10.1007/BFb0037241
  67. Cunha, J.C.; João M. Lourenço; Vieira, J.; Moscão, B.; Pereira, D.. "A framework to support parallel and distributed debugging". Trabalho apresentado em International Conference on High-Performance Computing and Networking, 1998.
    Publicado • 10.1007/BFb0037198
  68. João M. Lourenço; Cunha, Jose C.. "The PDBG process-level Debugger for parallel and distributed programs". Trabalho apresentado em SIGMETRICS symposium on Parallel and distributed tools, 1998.
    10.1145/281035.281056
  69. João M. Lourenço; Cunha, José C.. "Replaying Distributed Applications with RPVM". Trabalho apresentado em Austrian-Hungarian Workshop on Distributed and Parallel Systems (DAPSYS), Vienna, 1998.
    Publicado
  70. João M. Lourenço; Cunha, José C.. "A Thread-Level Distributed Debugger". Trabalho apresentado em International Conference on Vector and Parallel Processing (VECPAR), Porto, 1998.
    Publicado
  71. João M. Lourenço; Cunha, Jose C.; Krawczyk, Henryk; Kuzora, Piotr; M. Neyman; B. Wiszniewski. "An integrated testing and debugging environment for parallel and distributed programs". Trabalho apresentado em EUROMICRO Conference: New Frontiers of Information Technology, Budapest, 1997.
    Publicado • 10.1109/EURMIC.1997.617289
  72. Cunha, José C.; João M. Lourenço; Tiago Antão. "A Distributed Debugging Tool for a Parallel Software Engineering Environment". Trabalho apresentado em European Parallel Tools Meeting (EPTM), Paris, 1996.
    Publicado
  73. Cunha, José C.; João M. Lourenço; Tiago Antão. "A Debugging Engine for a Parallel and Distributed Environment". Trabalho apresentado em Austrian-Hungarian Workshop on Distributed and Parallel Systems (DAPSYS), 1996.
    Publicado
Artigo em revista
  1. Matos Pedro, André; Silva, Tomás; Sequeira, Tiago; João M. Lourenço; COSTA SECO, JOÃO; Ferreira, Carla. "Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers". International Journal on Software Tools for Technology Transfer (2024):
    Acesso aberto • Publicado • 10.1007/s10009-024-00740-7
  2. João A. Silva; Filipe Cerqueira; Hervé Paulino; João M. Lourenço; João Leitão; Nuno Preguiça. "It's about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environments". Future Generation Computer Systems 118 (2021): 14-36.
    Publicado • 10.1016/j.future.2020.12.008
  3. Sánchez, C.; Schneider, G.; Ahrendt, W.; Bartocci, E.; Bianculli, D.; Colombo, C.; Falcone, Y.; et al. "A survey of challenges for runtime verification from advanced application domains (beyond software)". Formal Methods in System Design 54 3 (2019): 279-335.
    Publicado • 10.1007/s10703-019-00337-w
  4. Sánchez, C.; Schneider, G.; Ahrendt, W.; Bartocci, E.; Bianculli, D.; Colombo, C.; Falcone, Y.; et al. "Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software) (Formal Methods in System Design, (2019), 54, 3, (279-335), 10.1007/s10703-019-00337-w)". Formal Methods in System Design 55 1 (2019): 72-72.
    Publicado • 10.1007/s10703-019-00343-y
  5. Vale, T.M.; Silva, J.A.; Dias, R.J.; João M. Lourenço. "Pot: Deterministic transactional execution". ACM Transactions on Architecture and Code Optimization 13 4 (2016): 1-24.
    Publicado • 10.1145/3017993
  6. Dourado, G.G.M.; Souza, P.S.L.; Prado, R.R.; Batista, R.N.; Souza, S.R.S.; Estrella, J.C.; Bruschi, S.M.; João M. Lourenço. "A suite of Java message-passing benchmarks to support the validation of testing models, criteria and tools". Procedia Computer Science 8 C (2016): 2226-2230.
    Publicado • 10.1016/j.procs.2016.05.387
  7. Dias, Ricardo J.; Vale, Tiago M.; João M. Lourenço. "Efficient support for in-place metadata in Java software transactional memory". Concurrency and Computation: Practice and Experience 25 17 (2013): 2394-2411.
    Publicado • 10.1002/cpe.3098
  8. João M. Lourenço; Sousa, D.; Teixeira, B.; Dias, R.. "Detecting concurrency anomalies in transactional memory programs". Computer Science and Information Systems 8 2 (2011): 533-548.
    Publicado • 10.2298/CSIS110110007L
  9. Dias, R.; João M. Lourenço; Cunha, G.. "Developing libraries using software transactional memory". Computer Science and Information Systems 5 2 (2008): 103-117.
    Publicado • 10.2298/CSIS0802103D
  10. Duarte, Vitor Alves; João M. Lourenço; Cunha, José C.. "Supporting On-Line Dis- tributed Monitoring and Debugging". Parallel and Distributed Computing Practices, Special Issue on Monitoring Systems and Tool Interoperability 4 3 (2001): 261-274.
    Publicado
  11. Cunha, J.C.; João M. Lourenço; Antão, T.R.. "An experiment in tool integration: The DDBG parallel and distributed debugger". Journal of Systems Architecture 45 11 (1999): 897-907.
    10.1016/S1383-7621(98)00024-1
  12. Cunha, J.C.; João M. Lourenço; Duarte, V.. "Using DDBG to support testing and high-level debugging interfaces". Computers and Artificial Intelligence 17 5 (1998): 429-439.
    Publicado
  13. Cunha, J.C.; João M. Lourenço. "An integrated course on parallel and distributed processing". SIGCSE Bulletin 30 1 (1998): 217-221.
    Publicado • 10.1145/274790.274300
  14. Kacsuk, P.; Cunha, J.C.; Dózsa, G.; João M. Lourenço; Fadgyas, T.; Antão, T.. "A graphical development and debugging environment for parallel programs". Parallel Computing 22 13 (1997): 1747-1770.
    Publicado • 10.1016/S0167-8191(96)00075-0
  15. Kwiatkowski, J.; Andruszkiewicz, M.; Luque, E.; Margalef, T.; Cunha, J.; João M. Lourenço; Krawczyk, H.; Szejko, S.. "Teaching parallel processing: development of curriculum and software tools". SIGCSE Bulletin 28 Special Is (1996): 159-161.
    Publicado • 10.1145/237477.237633
Capítulo de livro
  1. João M. Lourenço; Jan Fiedor; Bohuslav Krena; Vojnar, Tomás. "Discovering concurrency errors". In Lectures on Runtime Verification, editado por E. Bartocci; Y. Falcone, 34-60. Springer, 2018.
    Publicado • 10.1007/978-3-319-75632-5_2
  2. Dias, Ricardo J.; Vale, Tiago M.; João M. Lourenço. "Framework support for the efficient implementation of multi-version algorithms". In Transactional Memory, Foundations, Algorithms, Tools, and Applications, 166-191. Springer International Publishing, 2015.
    Publicado • 10.1007/978-3-319-14720-8_8
  3. Duarte, Vitor Alves; João M. Lourenço; Cunha, Jose C.. "Supporting on-line distributed monitoring and debugging". In On-Line Monitoring Systems and Computer Tool Interoperability, 43-59. Estados Unidos: Nova Science Publishers, Inc., 2004.
    Publicado • 10.5555/1024677.1024681
  4. Cunha, José C.; João M. Lourenço; Duarte, Vitor Alves. "The DDBG Distributed Debugger". In Parallel program development for cluster computing: methodology, tools and integrated environments, 279-290. Estados Unidos: Nova Science Publishers, Inc., 2001.
    Publicado • 10.5555/379741.379773
  5. Cunha, José C.; João M. Lourenço; Duarte, Vitor Alves. "Debugging of Parallel and Distributed Programs". In Parallel program development for cluster computing: methodology, tools and integrated environments, 97-129. Estados Unidos: Nova Science Publishers, Inc., 2001.
    Publicado • 10.5555/379741.379761
Edição de livro
  1. Ana Paula Afonso; João M. Lourenço. INForum 2019 - Atas do 11º Simpósio de Informática (Proceedings of the 11th Portuguese Conference on Computer Science). Monte de Caparica, Portugal: NOVA.FCT Editorial. 2019.
    Publicado • Editor
  2. Lourenço, João; Farchi, Eitan. Multicore Software Engineering, Performance, and Tools. Springer Berlin Heidelberg. 2013.
    Publicado • 10.1007/978-3-642-39955-8 • Editor
  3. João M. Lourenço; Kerstin Eder; Onn Shehory. Hardware and Software: Verification and Testing. Springer Berlin Heidelberg. 2013.
    Publicado • 10.1007/978-3-642-34188-5 • Editor
  4. João M. Lourenço; Eitan Farchi. Proceedings of the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD '11). ACM. 2011.
    Publicado • 10.1145/2002962 • Editor
  5. João M. Lourenço. PADTAD 2010: Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. ACM. 2010.
    Publicado • 10.1145/1866210 • Editor
  6. João M. Lourenço; Jose C. Cunha; William M. Fleischman; Viera Krnanová Proulx. Proceedings of the 10Th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education. ACM - Association for Computing Machinery. 2005.
    Publicado • 10.1145/1067445 • Editor
Edição de número de revista
  1. Farchi, Eitan; Hierons, Robert M.; João M. Lourenço. "Special Issue on Testing, Analysis and Debugging of Concurrent Programs". Software Testing, Verification, and Reliability 25 3 (2015):
    Publicado • 10.1002/stvr.1577 • Editor
Poster em conferência
  1. Tiago M. Vale; Ricardo J. Dias; João A. Silva; João M. Lourenço. "Deterministic Multithreading Using Preordered Transactions". Trabalho apresentado em European Conference on Computer Systems (EuroSys), 2015.
Prefácio / Posfácio
  1. Dikaiakos, M.; Rana, O.; Ur, S.; João M. Lourenço. "Topic 1: Support tools and environments". Prefácio para Euro-Par 2008 Parallel Processing. Springer Berlin Heidelberg. 2008.
    Publicado • 10.1007/978-3-540-85451-7_1
  2. Cunha, J.; Fleischman, W.; Proulx, V.; João M. Lourenço. "Welcome to ITiCSE 2005". Prefácio para Proceedings of the 10Th Annual SIGCSE Conference on Innova- tion and Technology in Computer Science Education. Estados Unidos: ACM. 2005.
    Publicado • 10.1145/1067445

Outros

Outra produção
  1. Time-Aware Publish/Subscribe for Networks of Mobile Devices. 2017. Silva, João; Hervé Paulino; João M. Lourenço; João Leitão; Nuno Preguiça. https://arxiv.org/abs/1801.00297.
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2022/09 - 2023/12/18 Devault: a Decentralised Solution for Confidential Media Storage An User Centred Approach
Orientador de Gonçalo Gentil Pires Traça
 Mestrado em Engenharia Informática (Mestrado)
2022/09 - 2023/12/15 A Study of Data Placement and Processor Cache Prefetching in PMEM-Enabled Systems
Orientador de João Pedro Gomes Antão
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022/09 - 2023/11/03 FLeeC: a Fast and Lock-Free Applicational Cache
Orientador de André João César Costa
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021/01 - 2022/12/22 OSCAR: A Noise Injection Framework for Testing Concurrent Software
Orientador de Filipe Robalo de Luna
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021/09 - 2022/12/20 Improving Key-Value Database Scalability with Lazy State Determination
Orientador de David Miguel Vaz Carpinteiro
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021/02 - 2022/12/15 Empowering a Relational Database with LSD: Lazy State Determination
Orientador de Thales Vinícius Alves Parreira
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021/09 - 2022/12/02 Lean Data Engineering Systems: a set of Principles to Process Data Efficiently
Orientador de Duarte Miguel da Silveira
 Mestrado em Análise e Engenharia de Big Data (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021/07 - 2022/12 Automatic Detection and Resolution of Deadlocks in GO Programs
Coorientador de Jorge Gabriel Grave Coelho
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019/09 - 2022/12 Improving Key-Value Database Scalability with LSD
Orientador de David Miguel Vaz Carpinteiro
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021/09 - 2022/11 Monitoring Road Traffic Rules with Spatio-temporal Properties
Coorientador de Tomás Jorge Jardim Fernandes Rodrigues da Silva
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/09 - 2022/10 Telecom Churn Prediction: An Approach Towards Big Data
Orientador de António Fonseca Coelho
 Mestrado em Análise e Engenharia de Big Data (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/09/20 - 2022/06 Controlo de Concorrência Centrado nos Dados
Coorientador de Hugo Gil Azinheira Marques Pinto
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/09 - 2022/06 Armazenamento Reativo e Persistente para Ambientes Mobile Edge Computing
Coorientador de Francisco Luis da Fonte Nunes
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/09 - 2021/12 Managing Population and Workload Imbalance in Structured Overlays
Orientador de Ricardo Miguel Gonçalves Leitão
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/09 - 2021/11 Conceção e Desenvolvimento de uma Aplicação iOS para Eliminação Assistida de Fotografias Semelhantes
Orientador de Gonçalo António de Almeida Feliciano
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/09 - 2021/10 Lazy State Determination for SQL Databases
Orientador de Eduardo Bezerra Subtil
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/09 - 2021/10 Web-based Application for Assisted Elimination of Duplicate Photographs
Orientador de Tomás Emanuel Taborda Mendes da Silva
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013/10/01 - 2021/07/19 Data Storage and Dissemination in Pervasive Edge Computing Environments
Coorientador de João André Almeida e Silva
 Programa de Doutoramento em Informática (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/02 - 2021/03 Runtime Tracing of Low-Code Applications: A Case Study for the OutSystems Platform
Orientador de Pedro Henrique Jones Deodato
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019/09 - 2020/12 Energy Optimization of OpenCV Algorithms for Android
Coorientador de Afonso Mak Gramocha da Costa Silva
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019/09 - 2020/06 Automatic Fault Localization in Multithreaded Programs
Coorientador de Luisa Fernanda Rojas Garcia
 Master of Science in Computer Science (Mestrado)
University of Ontario Institute of Technology, Canadá
2018/09 - 2020/05 Evaluation and deployment of a private cloud framework at DI-FCT-NOVA
Orientador de Pedro Miguel Guerreiro Ribeiro
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015/10 - 2020/02 WiFi-Direct InterNetworking
Coorientador de António Gelásio Frazão Isidro Teófilo
 Programa de Doutoramento em Informática (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018/09 - 2019/11 A Computing and Storage Server Infrastructure for a Mobile Application
Orientador de Fábio Miguel Martins Mano
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018/09 - 2019/11 Automated testing for provisioning systems of complex cloud products
Orientador de David Jorge Garcia Mendes
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017/09 - 2019/03 Conceção e Desenvolvimento de uma Aplicação Android para Eliminação As- sistida de Fotografias Repetidas
Orientador de Mara Filipa Alexandre Felismino
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017/09 - 2019/03 Uma Análise Comparativa de Ferramentas de Análise Estática para deteção de Erros de Memória
Coorientador de Patrícia Soraia Veríssimo Monteiro
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012 - 2019 Executing Requests Concurrently in State Machine Replication
Orientador de Tiago Marques do Vale
 Programa de Doutoramento em Informática (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015/02 - 2016/07 Suporte Aplicacional de um Workflow para Selecção Assistida de Fotografias
Orientador de Carlos Manuel Teixeira Machado
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014/09 - 2015/12 Best Photo Selection
Orientador de André Pires Alves
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014/09 - 2015/11 Distributed Storage in a Cloud of Mobile Devices
Coorientador de Ricardo Afonso da Cruz Monteiro
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2015 Validation of Concurrent Programs
Orientador de Zdenek Letko
 PosDoc (Outra)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2015 Hardware Support to Detect Atomicity Violations
Orientador de Lois Orosa
 Pos-Doc (Outra)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012/09 - 2013/11 Monitoring of Transactional Memory Programs
Orientador de João Miguel Castanheira Martins
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012/09 - 2013/11 Um estudo de performance de uma ferramenta de Object/Relational Mapping
Orientador de Joana Isabel da Costa Roque
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012/09 - 2013/11 Distributed Replicated Macro-Components
Orientador de Helder Ricardo Laximi Martins
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012/09 - 2013/11 Preventing Atomicity Violations with Contracts
Orientador de Diogo Miguel Gaspar de Sousa
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012/09 - 2013/10/30 Partial Replication in Distributed Software Transactional Memory
Coorientador de João André Almeida e Silva
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008 - 2013 Maintaining the Correctness of Transactional Memory Programs
Orientador de Ricardo Jorge Freire Dias
 Programa de Doutoramento em Informática (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2011/09 - 2012/11 A Modular Distributed Transactional Memory Framework
Orientador de Tiago Marques do Vale
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2009/09 - 2010/10 Verificação Prática de Anomalias em Programas de Memória Transaccional
Orientador de Vasco Jorge Pessanha
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2009/09 - 2010/10 TxBtrfs - A Transactional Snapshot-based File System
Orientador de João Eduardo Luís
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2009/09 - 2010/10 tlCell: A Software Transactional Memory for the Cell Broadband Engine Architecture
Orientador de André Filipe da Rocha Lopes
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2009/02 - 2010/03 Static Detection of Anomalies in Transactional Memory Programs
Orientador de Bruno Cavaca Teixeira
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008/09 - 2010/03 A Framework for Scientific Computing with GPUs
Orientador de Luís Miguel Picciochi de Oliveira
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008/09 - 2009/12 Speculative Execution by using Software Transactional Memory
Orientador de Emanuel Amaral Couto
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008/09 - 2009/09 Sistema de Ficheiros Transaccional sobre FUSE
Orientador de Nuno Lopes Luís
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2007/09 - 2008/12 SmART: An Application Reconfiguration Framework
Orientador de João André Martins
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2007/09 - 2008/11 Parallel Run-Time for CO-OPN
Orientador de João Tanganho de Sousa
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2006/09 - 2007/12 Transactional File Systems
Orientador de Artur Miguel Adriano Martins
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2006/09 - 2007/11 Cooperative Memory and Database Transactions
Orientador de Ricardo Jorge Freire Dias
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2005/09 - 2006/12 Consistent State Software Transactional Memory
Orientador de Gonçalo Vasco Trincão Bento da Cunha
 Mestrado em Engenharia Informática (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Júri de grau académico

Tema
Tipo de participação 		Nome do candidato (Tipo de grau)
Instituição / Organização
2022/12 Efficient Implementation of Stream Transformations
Arguente principal
 Malte Schmitz (Doutoramento)
Universität zu Lübeck, Alemanha
2022/09 Transactional Memory Systems for Heterogeneous Computing and Memory Architectures
Arguente principal
 Daniel Castro (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/01 Improving the Performance of Long-running Memory Transactions
Arguente principal
 Ricardo Filipe (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/01 Augmenting Transactional Memory with the Future Abstraction
Arguente principal
 Jingna Zeng (Doutoramento)
KTH Royal Institute of Technology Centre for Autonomous Systems, Suécia

Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/11 Augmenting Transactional Memory with the Future Abstraction
Arguente principal
 David Gureya (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/09 Application of Genetic Algorithms and Data Mining in Noise-based Testing of Concurrent Software
Arguente principal
 Hana Pluhácková (Doutoramento)
Brno University of Technology - Faculty of Information Technology, República Checa
2019/12 Interactive Runtime Verification
Arguente principal
 Raphaël Jakse (Doutoramento)
University of Grenoble Alpes, França
2019/09 Characterizing and Enforcing Consistency of Online Services
Arguente principal
 Filipe Freitas (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09 Une démarche agile de modernisation et de migration des applications patrimoines vers des applications natives cloud (Júri de Reconhecimento de Nível de Doutoramento da Doutora)
Vogal
 Khadija Sabiri (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016/11 Transactional Memory for Heterogeneous CPU-GPU Systems
Arguente
 João Soares (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016/05 Algorithms for Enhancing the Performance Robustness of Transactional Memory Systems
Arguente principal
 Nuno Diegues (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2015/11 Gray Box Performance Modeling of In-Memory Distributed Transactional Platforms
Arguente principal
 Diego Didona (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2015/09 New Hardware Support Transactional Memory and Parallel Debugging in Multicore Processors
Arguente principal
 Lois Orosa (Doutoramento)
Universidade de Santiago de Compostela, Espanha
2015/05 Exploring the Parallelism of Conflict-Intensive Applications
Arguente principal
 Hugo Rito (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2014/12 A Generic and Distributed Dependable Software Transactional Memory
Arguente principal
 Nuno Miguel Rei Carvalho (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2014/05 A Data Storage Service for Mobile Edge Environments
Arguente principal
 Filipe Freitas (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2014/05 Optimizing Memory Transactions for Large-Scale Programs
Arguente principal
 Fernando Carvalho (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2012/09 Analysis and Testing of Concurrent Programs
Arguente
 Zdenek Letko (Doutoramento)
Brno University of Technology - Faculty of Information Technology, República Checa

Arbitragem científica em conferência

Nome da conferência Local da conferência
2024 - Atual 15th International Conference on Parallel Processing & Applied Mathematics
2017/12 - Atual MECC — Workshop on Middleware for Edge Clouds & Cloudlets
2013 - Atual PPAM — International Conference on Parallel Processing and Applied Mathematics
2012/01 - Atual SLATE’20 — Symposium on Languages, Applications and Technologies
2009/09 - Atual INForum — Simpósio de Informática (track on Distributed and Large-Scale Computing Systems)
2021/08 - 2021/08 Euro-Par 2021: European Conference on Parallel and Distributed Computing (Local Chair Topic 6)
2020/03 - 2020/03 FMEC’20 — 5th International Conference on Fog and Mobile Edge Computing
2019/07 - 2019/07 ICEA - 19th International Conference in Engineering Applications
2016/06 - 2018/09 VECPAR — International Meeting on High-Performance Computing for Computational Science
2018 - 2018 RUME - Runtime Verification and Monitoring Technologies for Embedded Systems Workshop
2017/03 - 2017/03 RADIANCE’17 — International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms
2016/09 - 2016/09 RV’16 — International Conference on Runtime Verification
2006/09 - 2016/09 HVC — Haifa Verification Conference
2013/08 - 2016/08 MUSEPAT — International Conference on Multicore Software Engineering, Per- formance and Tools
2012 - 2016 International Conference on Advances in System Testing and Validation Lifecycle
2006/06 - 2012/07 PADTAD — International Workshop on Parallel and Distributed Systems: Testing, Anal- ysis and Debugging

Comissão de avaliação

Descrição da atividade
Tipo de assessoria 		Instituição / Organização Entidade financiadora
2023/04 - 2023/09 Member and co-coordinator of the Evaluation Panel for the PhD Grant Applications from National Foundation for Science and Technology.
Coordenador
 Fundação para a Ciência e a Tecnologia, Portugal Fundação para a Ciência e a Tecnologia
2021 - 2021 Member of the Panel of Evaluators of the Faculty of Information Technology, Brno University of Technology, within the QS Global Academic Survey
Avaliador
 Brno University of Technology - Faculty of Information Technology, República Checa Brno University of Technology - Faculty of Information Technology
2018/08 - 2018/08 Evaluation of research project applications.
Avaliador
 FNR Luxembourg - ONNIVA, Luxemburgo

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2023/09 - Atual High-Performance Computing Engenharia Informática (Mestrado integrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2023/09 - Atual Introductory Programming for Science and Engineering (EBM) Engenharia Biomédica (Licenciatura) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2023/09 - Atual Introductory Programming for Science and Engineering (MAGR) Matemática Aplicada à Gestão do Risco (Licenciatura) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - Atual Computer Systems and Networks Informática (Doutoramento) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - Atual Scientific Text Processing with LaTeX (Doutoramento) Universidade Nova de Lisboa, Portugal
2024/03 - 2024/07 Informatics for Science and Engineering Licenciatura em Engenharia de Materiais & Licenciatura em Engenharia de Micro e Nanotecnologias (Licenciatura) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019/09 - 2022/07 Big Data Processing Systems Master is Big Data Processing Systems (Mestrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013/09 - 2022/07 Concurrency and Parallelism Ciência e Engenharia Informática (Licenciatura) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018/03 - 2018/03 Monitoring Concurrency Errors - In the Quest for Deadlocks and Atomicity Violations (Doctor of Philosophy) Inria Centre de Recherche Grenoble Rhone-Alpes, França
2014 - 2017 Transactional Systems Informática (Doutoramento) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016/09 - 2016/09 Monitoring concurrency errors: deadlocks, atomicity violations, and data races (Doctor of Philosophy) Inria Centre de Recherche Grenoble Rhone-Alpes, França
2005 - 2013 Operating Systems Engenharia Informática (Mestrado integrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2006 - 2009 Introduction to Computer Systems and Networks Engenharia Informática (Licenciatura) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2004 - 2007 Advanced Topics in Parallel and Distributed Computing — lectures Informática (Doutoramento) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
1997/08 - 1997/08 TEMPUS Project S_JEP 07989-94 Summer Course (Master) Universitat Autònoma de Barcelona, Espanha
1996/08 - 1996/08 TEMPUS Project S_JEP 07989-94 Summer Course (Master) Universitat Autònoma de Barcelona, Espanha
1996/08 - 1996/08 TEMPUS Project S_JEP 07989-94 Summer Course (Master) Universitat Autònoma de Barcelona, Espanha

Membro de comissão

Descrição da atividade
Tipo de participação 		Instituição / Organização
2023/01/01 - Atual Member of of Executive Board of UNINOVA.
Membro
 UNINOVA Instituto de Desenvolvimento de Novas Tecnologias, Portugal
2023/01 - Atual Member of the Administration Board of UNINOVA.
Membro
 UNINOVA Instituto de Desenvolvimento de Novas Tecnologias, Portugal
2019/09 - Atual Member of the Department Council of the Computer Science Department (Departamento de Informática) of NOVA School of Science and Technology — NOVA University Lisbon.
Membro
 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - Atual INForum Steering Committee
Membro
 INForum – Simpósio de Informática, Portugal
2015 - Atual Member of the Scientific Committee of the PhD in Computer Science.
Membro
 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008/08 - Atual Euro-Par Advisory Board
Membro
 Euro-Par: European Conference on Parallel and Distributed Computing, Portugal
2018 - 2019 Co-coordinator of ExpoFCT, the School¿s Open Day (2018 with Teresa Romão, 2019 with João Leitão) at the Computer Science Department (Departamento de Informática) of NOVA School of Science and Technology - NOVA University Lisbon, Portugal.
Coordenador
 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2016 MUSEPAT Steering Committee
Membro
 MUSEPAT — International Conference on International Conference on Multicore Software Engineering, Performance, Applications and Tools, Portugal
2012/04 - 2014/06 Member of the Department Council of the Computer Science Department (Departamento de Informática) of NOVA School of Science and Technology — NOVA University Lisbon.
Membro
 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2010 - 2012 PADTAD Steering Committee
Membro
 PADTAD — International Workshop on Parallel and Distributed Systems: Testing, Analysis and Debugging, Portugal
2009/09 - 2011/09 Member of the Executive Board of the Computer Science Department (Departamento de Informática) of NOVA School of Science and Technology — NOVA University Lisbon.
Membro
 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008/04 - 2009/09 Member of the Scientific Committee of the BSc in Computer Science of the Computer Science Department (Departamento de Informática) of NOVA School of Science and Technology — NOVA University Lisbon
Membro
 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008/04 - 2009/09 Department’s Erasmus Coordinator.
Coordenador
 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2007 - 2009 Co-coordinator of ExpoFCT, the School¿s Open Day (with João Costa Seco) at the Computer Science Department (Departamento de Informática) of NOVA School of Science and Technology - NOVA University Lisbon.
Coordenador
 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008/02 - 2008/12 General Assembly of NOVA School of Science and Technology - NOVA University Lisbon.
Membro
1998/02 - 2002/09 General Assembly of NOVA University Lisbon.
Membro
 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
Distinções

Prémio

2012 Best Paper Award --- R.J. Dias; V. Pessanha; J.M. Lourenço. "Precise Detection of Atomicity Violations". Haifa Verification Conference, Haifa, 2013. DOI: 10.1007/978-3-642-39611-3_8
Haifa Verification Conference, Israel
2012 Distinguished (Best) Paper Award --- R.J. Dias, T.M. Vale, J.M. Lourenço. "Efficient support for in-place metadata in transactional memory". Euro-Par 2012 Parallel Processing, Rhodes, 2012. DOI: 10.1007/978-3-642-32820-6_59
Euro-Par: European Conference on Parallel and Distributed Computing, Portugal

Título

2019 Adjunct Professor
Faculty of Science at the Ontario Tech (formerly UOIT), Canadá