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

Personal identification

Full name
João Manuel dos Santos Lourenço

Citation names

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

Author identifiers

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

Email addresses

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

Telephones

Telephone
  • 212948536 Ext.: 10740 (Professional)

Addresses

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

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Proficiency (C2) Advanced (C1) Proficiency (C2) Proficiency (C2) Advanced (C1)
French Intermediate (B1) Upper intermediate (B2) Elementary (A2) Upper intermediate (B2) Intermediate (B1)
Spanish; Castilian Beginner (A1) Upper intermediate (B2) Beginner (A1) Upper intermediate (B2) Intermediate (B1)
Education
Degree Classification
2021/01/25 - 2021/01/27
Concluded
 Effective Communication Skills (Outros)
Universidade Nova de Lisboa, Portugal
2020/03 - 2020/03
Concluded
 Theatrical Techniques Applied to Teaching (Outros)
Universidade Nova de Lisboa, Portugal
2020/01 - 2020/02
Concluded
 Sciencepreneur (NOVA Doctoral School's course) (Outros)
Universidade Nova de Lisboa, Portugal
2016/10 - 2016/10
Concluded
 Developing Supervisory Skills Course (Outros)
Universidade Nova de Lisboa, Portugal
2014/05 - 2014/05
Concluded
 7th School on Hot Topics in Distributed Computing (Outros)
Inria Centre de Recherche Rennes Bretagne Atlantique, France
2011/07 - 2011/07
Concluded
 GPU Programming for Scientific Applications (Outros)
The University of Texas at Austin Department of Electrical and Computer Engineering, United States
2004/11/29
Concluded
 Doutoramento em Informática (PhD in Computer Science) (Doutoramento)
Major in 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" (THESIS/DISSERTATION)
 Approved by unanimity
2000/06 - 2000/06
Concluded
 Leadership and Human Resource Management (Outros)
Universidade Nova de Lisboa, Portugal
1998/06 - 1998/06
Concluded
 University Didactics (Outros)
Universidade Nova de Lisboa, Portugal
1995/02
Concluded
 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" (THESIS/DISSERTATION)
 Approved by unanimity
1991/07
Concluded
 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
Affiliation

Science

Category
Host institution 		Employer
2015/01 - Current Researcher (Research) 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 Researcher (Research) Centro de Informática e Tecnologias da Informação, Portugal
Universidade Nova de Lisboa, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2020/09 - Current Associate Professor (University Teacher) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2004/11 - 2020/09 Assistant Professor (University Teacher) 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 Assistant (University Teacher) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Positions / Appointments

Category
Host institution 		Employer
2023/01/01 - Current Organic Unit Director UNINOVA Instituto de Desenvolvimento de Novas Tecnologias, Portugal
Universidade Nova de Lisboa, Portugal
2019/09/01 - Current Adjunct Professor Faculty of Science at the Ontario Tech (formerly UOIT), Canada
Faculty of Science at the Ontario Tech (formerly UOIT), Canada
Projects

Grant

Designation Funders
2018/10 - 2021/09 NG-STORAGE: New Generation of Data Storage and Management Systems
PTDC/CCI-INF/32038/2017
Researcher
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
Concluded
2018/09 - 2021/08 DEDUCE: Distributed Data-Centric Concurrency Control
PTDC/CCI-COM/32166/2017
Researcher
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
Concluded
2018/07 - 2021/06 HiPSTr: High-Performance Serializable Transactions
PTDC/CCI-COM/32456/2017
LISBOA-01-0145-FEDER-032456
Principal investigator
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
Concluded
2018/07 - 2021/06 SAMOA: Secure and Scalable Platform for Massive-scale Mobile Applications
PTDC/CCI-INF/32662/2017
Researcher
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
Concluded
2014/03 - 2018/02 Hyrax - Crowd-Sourcing Mobile Devices to Develop Edge Clouds
FCT CMUP-ERI/FIA/0048/2013
CMUP-ERI/FIA/0048/2013
Researcher
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
Concluded
2013/09 - 2016/12 SyncFree - Large-Scale Computation without Synchronisation
609551
Researcher
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
Concluded
2013/07 - 2015/12 SwiftComp - Fast and Efficient Incremental Computation for Cloud Computing Environments
Provided by PTCRIS: 127221
PTDC/EEI-SCR/1837/2012
Researcher
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
Concluded
2013/08 - 2015/07 TestPar - Parallel Testing of Concurrent Applications
13/01818-7
Invited Scientist Fellow
Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação, Brazil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluded
2011/03 - 2014/08 Synergy-VM: A Blueprint for the Next Generation Execution Environments
Provided by PTCRIS: 113613
PTDC/EIA-EIA/113613/2009
Principal investigator
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
Concluded
2010/03 - 2013/08 RepComp - Replicated Components for Improved Performance or Reliability in Multicore Systems
Provided by PTCRIS: 108963
PTDC/EIA-EIA/108963/2008
Researcher
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
Concluded
2008/01 - 2011/12 Byzantium: Eficient Byzantine fault-tolerant database replication
Provided by PTCRIS: 74325
PTDC/EIA/74325/2006
Researcher
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
Concluded
2008/09 - 2010/06 VIRTU - Virtualization and Management of Application Appliances
PTDC/EIA- EIA/108963/2008
Co-Principal Investigator (Co-PI)
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
Concluded
1994 - 1997 SEPP - Software Engineering for Parallel Processing
CIPA-C193-0251
Researcher
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

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

Contract

Designation Funders
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
Concluded
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
Concluded
Outputs

Publications

Book chapter
  1. João M. Lourenço; Jan Fiedor; Bohuslav Krena; Vojnar, Tomás. "Discovering concurrency errors". In Lectures on Runtime Verification, edited by E. Bartocci; Y. Falcone, 34-60. Springer, 2018.
    Published • 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.
    Published • 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. United States: Nova Science Publishers, Inc., 2004.
    Published • 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. United States: Nova Science Publishers, Inc., 2001.
    Published • 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. United States: Nova Science Publishers, Inc., 2001.
    Published • 10.5555/379741.379761
Conference paper
  1. André J. Costa; Preguiça, Nuno; João M. Lourenço. "FLeeC: a Fast Lock-Free Cache". Paper presented in INForum - Portuguse Conference on Computer Science (INForum 2023), Porto, 2023.
    Published
  2. Costa, André; Nuno Manuel Ribeiro Preguiça; João M. Lourenço. "FLeeC: a Fast Lock-Free Application Cache". Paper presented in INForum, Porto, 2023.
    Published
  3. António Coelho; João M. Lourenço; Ravara, António. "Automatic Detection and Resolution of Deadlocks in Go Programs". Paper presented in INForum - Portuguse Conference on Computer Science (INForum 2022), Guarda, 2022.
    Published
  4. Thales Parreira; Tiago M. Vale; Ricaro J. Dias; João M. Lourenço. "Empowering a Relational Database with LSD: Lazy State Determination". Paper presented in INForum - Portuguse Conference on Computer Science (INForum 2022), Guarda, 2022.
    Published
  5. Hugo Pereira; Diogo G. Sousa; Jeremy Bradbury; João M. Lourenço. "Automatic Generation of Contracts for Concurrent Java Programs". Paper presented in INForum - Portuguse Conference on Computer Science (INForum 2022), Guarda, 2022.
    Published
  6. Filipe de Luna; Jeremy Bradbury; João M. Lourenço. "OSCAR - A Java Noise Injection Framework". Paper presented in INForum - Portuguse Conference on Computer Science (INForum 2022), Guarda, 2022.
    Published
  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". Paper presented in INForum - Portuguse Conference on Computer Science (INForum 2022), Guarda, 2022.
    Published
  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". Paper presented in INForum - Portuguse Conference on Computer Science (INForum 2021), Lisboa, 2021.
    Published
  9. António Teófilo; João M. Lourenço; Hervé Paulino. "RedMesh: A wifi-direct network formation algorithm for large-scale scenarios". Paper presented in International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2020), 2020.
    Published • 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". Paper presented in International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2019), 2019.
    Published • 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". Paper presented in INForum - Portuguse Conference on Computer Science (INForum 2018), Coimbra, 2018.
    Published
  12. João M. Lourenço. "Verifying real-world software with contracts for concurrency". Paper presented in International Symposium on Leveraging Applications of Formal Methods, 2018.
    Published • 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". Paper presented in Workshop on Middleware for Edge Clouds and Cloudlets (MECC 2017), 2017.
    Published • 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". Paper presented in International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous 2017), 2017.
    Published • 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". Paper presented in INForum - Portuguse Conference on Computer Science (INForum 2017), 2017.
    Published
  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". Paper presented in International Conference on Software Testing, Verification and Validation (ICST 2017), 2017.
    Published • 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". Paper presented in INForum - Portuguse Conference on Computer Science (INForum 2016), 2016.
    Published
  18. Silva, J.A.; Monteiro, R.; Paulino, H.; João M. Lourenço. "Ephemeral data storage for networks of hand-held devices". Paper presented in IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 2016.
    Published • 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". Paper presented in Workshop on Middleware for Edge Clouds & Cloudlets, 2016.
    Published • 10.1145/3017116.3022873
  20. Orosa, L.; João M. Lourenço. "A Hardware Approach to Detect, Expose and Tolerate High Level Data Races". Paper presented in Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016), 2016.
    Published • 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". Paper presented in INForum - Portuguse Conference on Computer Science (INForum 2015), Covilhã, 2015.
    Published
  22. Tiago M. Vale; Dias, Ricardo J.; João M. Lourenço. "Execução concorrente e determinista de transações". Paper presented in INForum - Portuguse Conference on Computer Science (INForum 2015), Covilhã, 2015.
    Published
  23. Ricardo Monteiro; João A Silva; João M. Lourenço; Paulino, Hervé. "Armazenamento Distribuído para Redes de Dispositivos Móveis". Paper presented in INForum - Portuguse Conference on Computer Science (INForum 2015), Covilhã, 2015.
    Published
  24. Silva, J.A.; João M. Lourenço; Paulino, Hervé. "Boosting locality in multi-version partial data replication". Paper presented in ACM Symposium on Applied Computing, 2015.
    Published • 10.1145/2695664.2695851
  25. Fiedor, Jan; Letko, Zdenek; João M. Lourenço; Vojnar, Tomás. "Dynamic Validation of Contracts in Concurrent Code". Paper presented in International Conference on Computer Aided Systems Theory (EUROCAST 15), Las Palmas, 2015.
    Published • 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". Paper presented in International Conference on Distributed Computing and Networking, Goa, 2015.
    Published • 10.1145/2684464.2684481
  27. Monteiro, R.; Silva, J.; João M. Lourenço; Paulino, Hervé. "Decentralized storage for networks of hand-held devices". Paper presented in International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, 2015.
    Published • 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". Paper presented in International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, 2015.
    Published • 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". Paper presented in Latin American Computing Conference, 2015.
    Published • 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". Paper presented in International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, 2015.
    Published • 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". Paper presented in Doctoral Symposium of the International Conference on Distributed Computing and Networking, 2015.
    Published
  32. Fiedor, Jan; Letko, Zdenek; João M. Lourenço. "On Monitoring C/C++ Transactional Memory Programs". Paper presented in Mathematical and Engineering Methods in Computer Science, Las Palmas, 2014.
    Published • 10.1007/978-3-319-14896-0_7
  33. João M. Lourenço; Paulino, Hervé. "Um Mecanismo de Caching para o Protocolo SCORe". Paper presented in INForum - Portuguse Conference on Computer Science (INForum 2014), Porto, 2014.
    Published
  34. João M. Lourenço; Paulino, Hervé. "Supporting Partial Data Replication in Distributed Transactional Memory". Paper presented in Joint Euro-TM/MEDIAN Workshop on Dependable Multicore and Transactional Memory Systems, Vienna, 2014.
    Published
  35. Orosa, L.; João M. Lourenço. "Hardware Approach for Detecting, Exposing and Tolerating High Level Atomicity Violations". Paper presented in Joint Euro-TM/MEDIAN Workshop on Dependable Multicore and Transactional Memory Systems, Vienna, 2014.
    Published
  36. Diogo G. Sousa; Carla Ferreira; João M. Lourenço. "Prevenção de Violações de Atomicidade usando Contractos". Paper presented in INForum - Portuguse Conference on Computer Science (INForum 2013), Évora, 2013.
    Published
  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". Paper presented in INForum - Portuguse Conference on Computer Science (INForum 2013), Évora, 2013.
    Published
  38. Soares, J.; João M. Lourenço; Preguiça, Nuno. "MacroDB: Scaling database engines on multicores". Paper presented in Euro-Par 2013 Parallel Processing, 2013.
    Published • 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". Paper presented in INForum - Portuguse Conference on Computer Science (INForum 2013), 2013.
    Published
  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". Paper presented in Multicore Software Engineering, Performance, and Tools (MUSEPAT 2013), 2013.
    Published • 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?". Paper presented in European Workshop on Dependable Computing, 2013.
    Published • 10.1007/978-3-642-38789-0_15
  42. Dias, Ricardo J.; Vasco Pessanha; João M. Lourenço. "Precise Detection of Atomicity Violations". Paper presented in Haifa Verification Conference, Haifa, 2013.
    Published • 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". Paper presented in Euro-Par 2012 Parallel Processing, Rhodes, 2012.
    Published • 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". Paper presented in INForum - Portuguse Conference on Computer Science (INForum 2012), Lisboa, 2012.
    Published
  45. Tiago M. Vale; Dias, Ricardo J.; João M. Lourenço. "Uma Infraestrutura para Suporte de Memória Transacional Distribuída". Paper presented in INForum - Portuguse Conference on Computer Science (INForum 2012), 2012.
    Published
  46. Dias, R.J.; Distefano, D.; COSTA SECO, JOÃO; João M. Lourenço. "Verification of snapshot isolation in transactional memory java programs". Paper presented in European Conference on Object-Oriented Programming, 2012.
    Published • 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". Paper presented in Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, 2012.
    Published • 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". Paper presented in INForum - Portuguse Conference on Computer Science (INForum 2011), Coimbra, 2011.
    Published
  49. Luís Picciochi Oliveira; João M. Lourenço. "Aceleração de Computações Científicas com Processadores Heterogéneos". Paper presented in INForum - Portuguse Conference on Computer Science (INForum 2011), Coimbra, 2011.
    Published
  50. Dias, Ricardo J.; João M. Lourenço; Preguiça, Nuno. "Efficient and Correct Transactional Memory Programs Combining Snapshot Isolation and Static Analysis". Paper presented in USENIX Conference on Hot Topics in Parallelism, Berkley, 2011.
    Published
  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". Paper presented in Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, 2011.
    Published • 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". Paper presented in INForum - Portuguse Conference on Computer Science (INForum 2010), Braga, 2010.
    Published
  53. João M. Lourenço; Bruno Teixeira; Sousa, Diogo G.. "A Static Approach for Detecting Concurrency Anomalies in Transactional Memory". Paper presented in INForum - Portuguse Conference on Computer Science (INForum 2010), Braga, 2010.
    Published
  54. João M. Lourenço. "Understanding Transactional Memory (Extended Abstract)". Paper presented in Haifa Verification Conference, Haifa, 2010.
    Published • 10.1007/978-3-642-19583-9_1
  55. Hollander, Y.; Hu, A.; João M. Lourenço; Morad, R.. "Special session on debugging". Paper presented in Haifa Verification Conference, Haifa, 2010.
    Published • 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". Paper presented in Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, 2010.
    Published • 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". Paper presented in Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, 2010.
    Published • 10.1145/1866210.1866217
  58. Paulino, Hervé; Martins, J.A.; João M. Lourenço; Duro, N.. "SmART: An application reconfiguration framework". Paper presented in Complex Systems Design & Management, 2010.
    Published • 10.1007/978-3-642-15654-0_5
  59. Dias, R.J.; João M. Lourenço. "Unifying memory and database transactions". Paper presented in Euro-Par 2013 Parallel Processing, Delft, 2009.
    Published • 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". Paper presented in Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, 2009.
    Published • 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". Paper presented in HotDep'08: Proceedings of the Fourth conference on Hot topics in system dependability, San Diego, 2008.
    Published • 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". Paper presented in Jornadas de Engenharia de Electrónica e Telecomunicações e de Computadores, Lisboa, 2008.
    Published
  63. João M. Lourenço; Cunha, G.. "Testing patterns for software transactional memory engines". Paper presented in Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, 2007.
    Published • 10.1145/1273647.1273655
  64. João M. Lourenço; Cunha, J.C.. "Fiddle: A flexible distributed debugging architecture". Paper presented in International Conference on Computational Science, 2001.
    Published • 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". Paper presented in Parallel and Distributed Processing Techniques and Applications (PDPTA), 1999.
    Published
  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". Paper presented in International Conference on High-Performance Computing and Networking, 1998.
    Published • 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". Paper presented in International Conference on High-Performance Computing and Networking, 1998.
    Published • 10.1007/BFb0037198
  68. João M. Lourenço; Cunha, Jose C.. "The PDBG process-level Debugger for parallel and distributed programs". Paper presented in 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". Paper presented in Austrian-Hungarian Workshop on Distributed and Parallel Systems (DAPSYS), Vienna, 1998.
    Published
  70. João M. Lourenço; Cunha, José C.. "A Thread-Level Distributed Debugger". Paper presented in International Conference on Vector and Parallel Processing (VECPAR), Porto, 1998.
    Published
  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". Paper presented in EUROMICRO Conference: New Frontiers of Information Technology, Budapest, 1997.
    Published • 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". Paper presented in European Parallel Tools Meeting (EPTM), Paris, 1996.
    Published
  73. Cunha, José C.; João M. Lourenço; Tiago Antão. "A Debugging Engine for a Parallel and Distributed Environment". Paper presented in Austrian-Hungarian Workshop on Distributed and Parallel Systems (DAPSYS), 1996.
    Published
Conference poster
  1. Tiago M. Vale; Ricardo J. Dias; João A. Silva; João M. Lourenço. "Deterministic Multithreading Using Preordered Transactions". Paper presented in European Conference on Computer Systems (EuroSys), 2015.
Edited book
  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.
    Published • Editor
  2. Lourenço, João; Farchi, Eitan. Multicore Software Engineering, Performance, and Tools. Springer Berlin Heidelberg. 2013.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 10.1145/1067445 • Editor
Journal article
  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):
    Open access • Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published
  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.
    Published
  13. Cunha, J.C.; João M. Lourenço. "An integrated course on parallel and distributed processing". SIGCSE Bulletin 30 1 (1998): 217-221.
    Published • 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.
    Published • 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.
    Published • 10.1145/237477.237633
Journal issue
  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):
    Published • 10.1002/stvr.1577 • Editor
Preface / Postscript
  1. Dikaiakos, M.; Rana, O.; Ur, S.; João M. Lourenço. "Topic 1: Support tools and environments". Preface to Euro-Par 2008 Parallel Processing. Springer Berlin Heidelberg. 2008.
    Published • 10.1007/978-3-540-85451-7_1
  2. Cunha, J.; Fleischman, W.; Proulx, V.; João M. Lourenço. "Welcome to ITiCSE 2005". Preface to Proceedings of the 10Th Annual SIGCSE Conference on Innova- tion and Technology in Computer Science Education. United States: ACM. 2005.
    Published • 10.1145/1067445

Other

Other output
  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.
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2022/09 - 2023/12/18 Devault: a Decentralised Solution for Confidential Media Storage An User Centred Approach
Supervisor of Gonçalo Gentil Pires Traça
 Mestrado em Engenharia Informática (Master)
2022/09 - 2023/12/15 A Study of Data Placement and Processor Cache Prefetching in PMEM-Enabled Systems
Supervisor of João Pedro Gomes Antão
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022/09 - 2023/11/03 FLeeC: a Fast and Lock-Free Applicational Cache
Supervisor of André João César Costa
 Mestrado em Engenharia Informática (Master)
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
Supervisor of Filipe Robalo de Luna
 Mestrado em Engenharia Informática (Master)
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
Supervisor of David Miguel Vaz Carpinteiro
 Mestrado em Engenharia Informática (Master)
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
Supervisor of Thales Vinícius Alves Parreira
 Mestrado em Engenharia Informática (Master)
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
Supervisor of Duarte Miguel da Silveira
 Mestrado em Análise e Engenharia de Big Data (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021/07 - 2022/12 Automatic Detection and Resolution of Deadlocks in GO Programs
Co-supervisor of Jorge Gabriel Grave Coelho
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019/09 - 2022/12 Improving Key-Value Database Scalability with LSD
Supervisor of David Miguel Vaz Carpinteiro
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021/09 - 2022/11 Monitoring Road Traffic Rules with Spatio-temporal Properties
Co-supervisor of Tomás Jorge Jardim Fernandes Rodrigues da Silva
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/09 - 2022/10 Telecom Churn Prediction: An Approach Towards Big Data
Supervisor of António Fonseca Coelho
 Mestrado em Análise e Engenharia de Big Data (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/09/20 - 2022/06 Controlo de Concorrência Centrado nos Dados
Co-supervisor of Hugo Gil Azinheira Marques Pinto
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/09 - 2022/06 Armazenamento Reativo e Persistente para Ambientes Mobile Edge Computing
Co-supervisor of Francisco Luis da Fonte Nunes
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/09 - 2021/12 Managing Population and Workload Imbalance in Structured Overlays
Supervisor of Ricardo Miguel Gonçalves Leitão
 Mestrado em Engenharia Informática (Master)
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
Supervisor of Gonçalo António de Almeida Feliciano
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/09 - 2021/10 Lazy State Determination for SQL Databases
Supervisor of Eduardo Bezerra Subtil
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/09 - 2021/10 Web-based Application for Assisted Elimination of Duplicate Photographs
Supervisor of Tomás Emanuel Taborda Mendes da Silva
 Mestrado em Engenharia Informática (Master)
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
Co-supervisor of João André Almeida e Silva
 Programa de Doutoramento em Informática (PhD)
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
Supervisor of Pedro Henrique Jones Deodato
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019/09 - 2020/12 Energy Optimization of OpenCV Algorithms for Android
Co-supervisor of Afonso Mak Gramocha da Costa Silva
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019/09 - 2020/06 Automatic Fault Localization in Multithreaded Programs
Co-supervisor of Luisa Fernanda Rojas Garcia
 Master of Science in Computer Science (Master)
University of Ontario Institute of Technology, Canada
2018/09 - 2020/05 Evaluation and deployment of a private cloud framework at DI-FCT-NOVA
Supervisor of Pedro Miguel Guerreiro Ribeiro
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015/10 - 2020/02 WiFi-Direct InterNetworking
Co-supervisor of António Gelásio Frazão Isidro Teófilo
 Programa de Doutoramento em Informática (PhD)
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
Supervisor of Fábio Miguel Martins Mano
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018/09 - 2019/11 Automated testing for provisioning systems of complex cloud products
Supervisor of David Jorge Garcia Mendes
 Mestrado em Engenharia Informática (Master)
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
Supervisor of Mara Filipa Alexandre Felismino
 Mestrado em Engenharia Informática (Master)
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
Co-supervisor of Patrícia Soraia Veríssimo Monteiro
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012 - 2019 Executing Requests Concurrently in State Machine Replication
Supervisor of Tiago Marques do Vale
 Programa de Doutoramento em Informática (PhD)
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
Supervisor of Carlos Manuel Teixeira Machado
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014/09 - 2015/12 Best Photo Selection
Supervisor of André Pires Alves
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014/09 - 2015/11 Distributed Storage in a Cloud of Mobile Devices
Co-supervisor of Ricardo Afonso da Cruz Monteiro
 Mestrado Integrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015 - 2015 Validation of Concurrent Programs
Supervisor of Zdenek Letko
 PosDoc (Other)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2015 Hardware Support to Detect Atomicity Violations
Supervisor of Lois Orosa
 Pos-Doc (Other)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012/09 - 2013/11 Monitoring of Transactional Memory Programs
Supervisor of João Miguel Castanheira Martins
 Mestrado em Engenharia Informática (Master)
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
Supervisor of Joana Isabel da Costa Roque
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012/09 - 2013/11 Distributed Replicated Macro-Components
Supervisor of Helder Ricardo Laximi Martins
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012/09 - 2013/11 Preventing Atomicity Violations with Contracts
Supervisor of Diogo Miguel Gaspar de Sousa
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012/09 - 2013/10/30 Partial Replication in Distributed Software Transactional Memory
Co-supervisor of João André Almeida e Silva
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008 - 2013 Maintaining the Correctness of Transactional Memory Programs
Supervisor of Ricardo Jorge Freire Dias
 Programa de Doutoramento em Informática (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2011/09 - 2012/11 A Modular Distributed Transactional Memory Framework
Supervisor of Tiago Marques do Vale
 Mestrado em Engenharia Informática (Master)
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
Supervisor of Vasco Jorge Pessanha
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2009/09 - 2010/10 TxBtrfs - A Transactional Snapshot-based File System
Supervisor of João Eduardo Luís
 Mestrado em Engenharia Informática (Master)
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
Supervisor of André Filipe da Rocha Lopes
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2009/02 - 2010/03 Static Detection of Anomalies in Transactional Memory Programs
Supervisor of Bruno Cavaca Teixeira
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008/09 - 2010/03 A Framework for Scientific Computing with GPUs
Supervisor of Luís Miguel Picciochi de Oliveira
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008/09 - 2009/12 Speculative Execution by using Software Transactional Memory
Supervisor of Emanuel Amaral Couto
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008/09 - 2009/09 Sistema de Ficheiros Transaccional sobre FUSE
Supervisor of Nuno Lopes Luís
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2007/09 - 2008/12 SmART: An Application Reconfiguration Framework
Supervisor of João André Martins
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2007/09 - 2008/11 Parallel Run-Time for CO-OPN
Supervisor of João Tanganho de Sousa
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2006/09 - 2007/12 Transactional File Systems
Supervisor of Artur Miguel Adriano Martins
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2006/09 - 2007/11 Cooperative Memory and Database Transactions
Supervisor of Ricardo Jorge Freire Dias
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2005/09 - 2006/12 Consistent State Software Transactional Memory
Supervisor of Gonçalo Vasco Trincão Bento da Cunha
 Mestrado em Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Jury of academic degree

Topic
Role 		Candidate name (Type of degree)
Institution / Organization
2022/12 Efficient Implementation of Stream Transformations
(Thesis) Main arguer
 Malte Schmitz (PhD)
Universität zu Lübeck, Germany
2022/09 Transactional Memory Systems for Heterogeneous Computing and Memory Architectures
(Thesis) Main arguer
 Daniel Castro (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/01 Improving the Performance of Long-running Memory Transactions
(Thesis) Main arguer
 Ricardo Filipe (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/01 Augmenting Transactional Memory with the Future Abstraction
(Thesis) Main arguer
 Jingna Zeng (PhD)
KTH Royal Institute of Technology Centre for Autonomous Systems, Sweden

Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/11 Augmenting Transactional Memory with the Future Abstraction
(Thesis) Main arguer
 David Gureya (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/09 Application of Genetic Algorithms and Data Mining in Noise-based Testing of Concurrent Software
(Thesis) Main arguer
 Hana Pluhácková (PhD)
Brno University of Technology - Faculty of Information Technology, Czech Republic
2019/12 Interactive Runtime Verification
(Thesis) Main arguer
 Raphaël Jakse (PhD)
University of Grenoble Alpes, France
2019/09 Characterizing and Enforcing Consistency of Online Services
(Thesis) Main arguer
 Filipe Freitas (PhD)
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)
Thesis Member
 Khadija Sabiri (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016/11 Transactional Memory for Heterogeneous CPU-GPU Systems
(Thesis) Arguer
 João Soares (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016/05 Algorithms for Enhancing the Performance Robustness of Transactional Memory Systems
(Thesis) Main arguer
 Nuno Diegues (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2015/11 Gray Box Performance Modeling of In-Memory Distributed Transactional Platforms
(Thesis) Main arguer
 Diego Didona (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2015/09 New Hardware Support Transactional Memory and Parallel Debugging in Multicore Processors
(Thesis) Main arguer
 Lois Orosa (PhD)
Universidade de Santiago de Compostela, Spain
2015/05 Exploring the Parallelism of Conflict-Intensive Applications
(Thesis) Main arguer
 Hugo Rito (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2014/12 A Generic and Distributed Dependable Software Transactional Memory
(Thesis) Main arguer
 Nuno Miguel Rei Carvalho (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2014/05 A Data Storage Service for Mobile Edge Environments
(Thesis) Main arguer
 Filipe Freitas (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2014/05 Optimizing Memory Transactions for Large-Scale Programs
(Thesis) Main arguer
 Fernando Carvalho (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2012/09 Analysis and Testing of Concurrent Programs
(Thesis) Arguer
 Zdenek Letko (PhD)
Brno University of Technology - Faculty of Information Technology, Czech Republic

Committee member

Activity description
Role 		Institution / Organization
2023/01/01 - Current Member of of Executive Board of UNINOVA.
Member
 UNINOVA Instituto de Desenvolvimento de Novas Tecnologias, Portugal
2023/01 - Current Member of the Administration Board of UNINOVA.
Member
 UNINOVA Instituto de Desenvolvimento de Novas Tecnologias, Portugal
2019/09 - Current Member of the Department Council of the Computer Science Department (Departamento de Informática) of NOVA School of Science and Technology — NOVA University Lisbon.
Member
 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2018 - Current INForum Steering Committee
Member
 INForum – Simpósio de Informática, Portugal
2015 - Current Member of the Scientific Committee of the PhD in Computer Science.
Member
 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008/08 - Current Euro-Par Advisory Board
Member
 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.
Coordinator
 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2016 MUSEPAT Steering Committee
Member
 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.
Member
 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2010 - 2012 PADTAD Steering Committee
Member
 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.
Member
 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
Member
 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008/04 - 2009/09 Department’s Erasmus Coordinator.
Coordinator
 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.
Coordinator
 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.
Member
1998/02 - 2002/09 General Assembly of NOVA University Lisbon.
Member
 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Conference scientific committee

Conference name Conference host
2024 - Current 15th International Conference on Parallel Processing & Applied Mathematics
2017/12 - Current MECC — Workshop on Middleware for Edge Clouds & Cloudlets
2013 - Current PPAM — International Conference on Parallel Processing and Applied Mathematics
2012/01 - Current SLATE’20 — Symposium on Languages, Applications and Technologies
2009/09 - Current 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

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2023/09 - Current High-Performance Computing Engenharia Informática (Mestrado integrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2023/09 - Current Introductory Programming for Science and Engineering (EBM) Engenharia Biomédica (Licenciatura) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2023/09 - Current 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 - Current Computer Systems and Networks Informática (Doutoramento) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016 - Current 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, France
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, France
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, Spain
1996/08 - 1996/08 TEMPUS Project S_JEP 07989-94 Summer Course (Master) Universitat Autònoma de Barcelona, Spain
1996/08 - 1996/08 TEMPUS Project S_JEP 07989-94 Summer Course (Master) Universitat Autònoma de Barcelona, Spain

Evaluation committee

Activity description
Role 		Institution / Organization Funding entity
2023/04 - 2023/09 Member and co-coordinator of the Evaluation Panel for the PhD Grant Applications from National Foundation for Science and Technology.
Coordinator
 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
Evaluator
 Brno University of Technology - Faculty of Information Technology, Czech Republic Brno University of Technology - Faculty of Information Technology
2018/08 - 2018/08 Evaluation of research project applications.
Evaluator
 FNR Luxembourg - ONNIVA, Luxembourg
Distinctions

Award

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

Title

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