???global.info.a_carregar???
NOVA LINCS Group: Computer Systems. Research Topics: Replicated Systems, Edge Computing, Data-Centric Synchronization, GPU Computing. Google Scholar: https://scholar.google.com/citations?user=VFJ3-DYAAAAJ&hl=en Hervé Paulino, PhD, is an Associate Professor at the Computer Science Department of the NOVA University of Lisbon, and a member of the NOVA Laboratory for Computer Science and Informatics (NOVA LINCS) research center. He received his PhD in Computer Science from the NOVA University of Lisbon in 2006, in the area of mobile agent computing. His research interests have been on the areas of concurrent, parallel and distributed computing, namely on the correct programming and efficient execution of programs, both on shared memory architectures, such as the laptops and mobile phones that we use everyday, as on replicated distributed systems, such as the ones that support Facebook or Amazon's online store. He is also doing research on the emergent topic of edge computing, a paradigm that takes advantage of the resources available at the network edge (such as on recent WiFi access points and, eventually, on 5G cellular towers) to efficiently communicate information among nearby devices, as an alternative to distant centralized Cloud services. These two topics of distributed concurrency control and edge computing have been explored in the framework of the DeDuCe research project, led by Hervé Paulino and financed by the Portuguese Science and Technology Foundation. The project spawn many publications, including a best paper award at SAC 2022. Another current research interest of his is the efficient high-level programming of accelerators, such as the Graphics Processing Units (GPUs) found in most computing devices, including the aforementioned laptops and mobile phones. This research direction received a hardware grant from the NVIDIA corporation. Hervé has authored or co-authored more than 70 publications in journals, conferences or workshops, including journals Future Generation Computer Systems, Journal of Scheduling and Journal of Computer and System Sciences, and top-venues conferences such as OOPSLA, SPAA and Euro-Par. He has also supervised 1 Post-doc, 2 PhD students and supervised (or co-supervised) 59 Master students and more than 26 undergraduate students. Currently he is supervising (or co-supervising) 13 Master students. Selected Publications: - António Barreto, Hervé Paulino, João A. Silva, Nuno M. Preguiça: PS-CRDTs: CRDTs in highly volatile environments. Future Gener. Comput. Syst. 141: 755-767 (2023) - Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, António Ravara: AtomiS: Data-Centric Synchronization Made Practical. Proc. ACM Program. Lang. 7(OOPSLA2): 116-145 (2023) - Rafael Custódio, Hervé Paulino, Guilherme Rito: Efficient Synchronization-Light Work Stealing. ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2023) - Guilherme Rito, Hervé Paulino: Scheduling computations with provably low synchronization overheads. J. Sched. 25(1): 107-124 (2022) - João A. Silva, Filipe Cerqueira, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça: It's about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environments. Future Gener. Comput. Syst. 118: 14-36 (2021)
Read full resume ↓
Identification

Personal identification

Full name
Hervé Miguel Cordeiro Paulino

Citation names

  • Paulino, Hervé

Author identifiers

Ciência ID
E41D-A447-90EB
ORCID iD
0000-0001-7958-9740
Google Scholar ID
VFJ3-DYAAAAJ
Researcher Id
A-7016-2010
Scopus Author Id
16234327700

Websites

Languages

Language Speaking Reading Writing Listening Peer-review
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
French Advanced (C1) Advanced (C1) Intermediate (B1) Advanced (C1)
Portuguese (Mother tongue)
Education
Degree Classification
2006
Concluded
 PhD on Computer Science (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
"An Infrastructure for Mobile Service-Oriented Computing Encoded on a Process Calculus" (THESIS/DISSERTATION)
1998
Concluded
 Master on Computer Science (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
"Desenho e Implementação do pSystem para Arquitecturas de Memória Distribuída" (THESIS/DISSERTATION)
1996
Concluded
 Computer Science (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
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
2007/01 - 2014/12 Researcher (Research) CITI – Centre for Informatics and Information Technologies, Portugal
2007/01 - 2014/12 Invited Auxiliary Researcher (Research) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
CRACS – Center for Research in Advanced Computing Systems, Portugal
1998/09/01 - 1999/09/15 Research Assistant (Research) Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2020/09 - Current Associate Professor (University Teacher) Universidade Nova de Lisboa Departamento de Informática, Portugal
2006/12/15 - 2020/09 Assistant Professor (University Teacher) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
1999/09/15 - 2006/12/15 Assistant (University Teacher) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Others

Category
Host institution 		Employer
1997/09/01 - 1998/09/01 Scholarship holder Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Projects

Grant

Designation Funders
2003/09 - 2006/08 An Infrastructure for Mobile Service-Oriented Computing Encoded on a Process Calculus
0
PhD Student Fellow
Educational Development Programs for Portugal (PRODEP III), Portugal
Concluded
1997/09/01 - 1999/08/31 BRAGG - Monitoring of Structures Based on Fiber Optic Bragg Sensors.
PRAXIS XXI/BIC/12252/96
Master Student Fellow
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded

Contract

Designation Funders
2018/09/01 - 2022/08/31 DeDuCe - Distributed Data-Centric Concurrency Control
PTDC/CCI-COM/32166/2017
Principal investigator
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

Instituto de Telecomunicações Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2018/05/01 - 2022/04/30 HiPSTr - High-Performance Serializable Transactions
LISBOA-01-0145-FEDER-032456
PTDC/CCI-COM/- 32456/2017
LISBOA-01-0145-FEDER-032456
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
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
2014/04 - 2018/04 Hyrax: Crowd-Sourcing Mobile Devices to Develop Edge Clouds
grant.Provided by PTCRIS: 135826
Co-Principal Investigator (Co-PI)
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Instituto de Telecomunicações, Portugal

Carnegie Mellon University Portugal Office, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2011/03 - 2014/08 MACAW: Macroprogramming for Wireless Sensor Networks
grant.Provided by PTCRIS: 115730
Researcher
LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Center for Informatics and Information Technology - CITI, Portugal

CRACS – Center for Research in Advanced Computing Systems, 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
2008/01 - 2011/04 CALLAS (Calculi and Languages for Sensor Networks)
grant.Provided by PTCRIS: 71462
Researcher
LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal

CRACS – Center for Research in Advanced Computing Systems, Portugal

Center for Informatics and Information Technology - CITI, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2008/09 - 2010/06 VIRTU - Virtualization and Management of Application Appliances
ADI-50
Co-Principal Investigator (Co-PI)
Center for Informatics and Information Technology - CITI, Portugal

European Space Agency, France

HP Labs, United States

Evolve Space Solutions, Portugal
Agência Nacional de Inovação SA
Concluded
2003 - 2005/05 MIKADO - Mobile Calculi Based on Domains
IST-2001-32222
PhD Student Fellow
Inria Centre de Recherche Grenoble Rhone-Alpes, France

France Telecom Recherche et Développement, France

John Smith's University of Sussex, United Kingdom

Università degli Studi di Firenze, Italy

Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
Concluded
1998/09 - 1999/09 MIMO - Models and Infra-Structure for Mobile Computation
PRAXIS/2/2.1/TIT/1577/95
Master Student Fellow
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
Outputs

Publications

Book chapter
  1. Yoshida, Nobuko; Vasconcelos, Vasco; Paulino, Hervé; Honda, Kohei. "Session-Based Compilation Framework for Multicore Programming". In Formal Methods for Components and Objects, 226-246. Springer Berlin Heidelberg, 2009.
    Published • 10.1007/978-3-642-04167-9_12
  2. Paulino, Hervé. "Abstract machine for service-oriented mobility". In Process Algebra for Parallel and Distributed Processing, 199-234. Chapman and Hall/CRC, 2008.
    Published
  3. Bettini, Lorenzo; De Nicola, Rocco; Falassi, Daniele; Lacoste, Marc; Lopes, Luís; Oliveira, Licínio; Paulino, Hervé; Vasconcelos, Vasco T.. "A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi". In Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers, 179-207. Springer Berlin Heidelberg, 2005.
    Published • 10.1007/978-3-540-31794-4_10
Conference paper
  1. Marco Giunti; Hervé Paulino; António Ravara. "Anticipation of Method Execution in Mixed Consistency Systems". Paper presented in ACM/SIGAPP Symposium on Applied Computing (SAC 2023), 2023.
    Published • 10.1145/3555776.3577725
  2. David Neves; Hervé Paulino. "Condition-based synchronization in data-centric concurrency control". Paper presented in ACM/SIGAPP Symposium on Applied Computing (SAC 2022), 2022.
    Published • 10.1145/3477314.3507120
  3. Nuno Coelho; Diogo Ribeiro; Hervé Paulino. "Sage: A Multiuser Cooperative Controller for Mobile Edge Systems". Paper presented in EAI International Conference Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2022), 2022.
    Published • 10.1007/978-3-031-34776-4_17
  4. João Dias; João A. Silva; Hervé Paulino. "Adaptive Replica Selection in Mobile Edge Environments". Paper presented in EAI International Conference Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2021), 2021.
    Published • 10.1007/978-3-030-94822-1_14
  5. 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 EAI International Conference Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2020), 2020.
    Published • 10.1145/3448891.3448937
  6. João A. Silva; Pedro Vieira; Paulino, Hervé. "Data Storage and Sharing for Mobile Devices in Multi-region Edge Networks". Paper presented in IEEE International Symposium on "A World of Wireless, Mobile and Multimedia Networks (WoWMoM 2020), 2020.
    Published • 10.1109/WoWMoM49955.2020.00021
  7. Guilherme Santos; Hervé Paulino; Tomé Vardasca. "QoE-aware auto-scaling of heterogeneous containerized services (and its application to health services)". Paper presented in The ACM/SIGAPP Symposium on Applied Computing (SAC 2020), 2020.
    Published • 10.1145/3341105.3373915
  8. Pedro Sanches; João A. Silva; António Teófilo; Hervé Paulino. "Data-Centric Distributed Computing on Networks of Mobile Devices". Paper presented in International European Conference on Parallel and Distributed Computing (Euro-Par 2020), 2020.
    Published • 10.1007/978-3-030-57675-2_19
  9. 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 EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous 2019), 2019.
    Published • 10.1145/3360774.3360828
  10. Paulo Ferrão; Hélder Marques; Hervé Paulino. "Stream Processing on Hybrid CPU/Intel® Xeon Phi Systems". Paper presented in International European Conference on Parallel and Distributed Computing (Euro-Par 2028), 2018.
    Published • 10.1007/978-3-319-96983-1_56
  11. António Teófilo; Diogo Remédios; João M. Lourenço; Paulino, Hervé. "GOCRGO and GOGO: Two minimal Communication Topologies for WiFi-Direct Multi-group Networking". Paper presented in EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous 2017), 2017.
    Published • 10.4108/eai.7-11-2017.2273780
  12. 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 2017 - Simpósio de Informática (Portuguese National Informatics Conference), Aveiro, 2017.
    Published
  13. Pedro Sanches; António Teófilo; Filipe Cerqueira; João Silva; Paulino, Hervé. Corresponding author: Paulino, Hervé. "Computação Distribuída em Redes Formadas por Dispositivos Móveis". Paper presented in INForum 2017 - Simpósio de Informática (Portuguese National Informatics Conference), Aveiro, 2017.
    Published
  14. Cerqueira, F.; Silva, J.A.; Lourenço, J.M.; Paulino, H.. "Towards a persistent publish/subscribe system for networks of mobile devices". Paper presented in 2nd Workshop on Middleware for Edge Clouds & Cloudlets (MECC@Middleware 2017), 2017.
    Published • 10.1145/3152360.3152362
  15. António Teófilo; Diogo Remédios; Paulino, Hervé; João M. Lourenço. "Comunicação Móvel Inter-Grupo Baseada em TCP sobre Wi-Fi Direct". Paper presented in INForum 2016 - Simpósio de Informática (Portuguese National Computing Conference), Lisbon, 2016.
    Published
  16. Silva, J.A.; Leitão, J.; Preguiça, N.; Lourenço, J.M.; Paulino, H.. "Towards the opportunistic combination of mobile ad-hoc networks with infrastructure access". Paper presented in 1st Workshop on Middleware for Edge Clouds & Cloudlets (MECC@Middleware 2016), 2016.
    Published • 10.1145/3017116.3022873
  17. Paulino, H.; Parreira, D.; Delgado, N.; Ravara, A.; Matos, A.. "From Atomic variables to data-centric concurrency control". Paper presented in ACM/SIGAPP Symposium on Applied Computing (SAC 2016), 2016.
    Published • 10.1145/2851613.2851734
  18. Magro, D.; Paulino, H.. "In-cache MapReduce: Leverage tiling to boost temporal locality-sensitive MapReduce computations". Paper presented in IEEE International Conference on Cluster Computing (CLUSTER 2016), 2016.
    Published • 10.1109/CLUSTER.2016.33
  19. Silva, J.A.; Monteiro, R.; Paulino, H.; Lourenço, J.M.. "Ephemeral data storage for networks of hand-held devices". Paper presented in IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2016), 2016.
    Published • 10.1109/TrustCom.2016.0182
  20. 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 2015 - 7º Simpósio de Informática (Portuguese National Informatics Conference), Covilhã, 2015.
    Published
  21. Ricardo Monteiro; João Silva; João Lourenço; Paulino, Hervé. "Decentralized Storage for Networks of Hand-held Devices". Paper presented in EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous 2015), 2015.
    Published • 10.4108/eai.22-7-2015.2260263
  22. António Teófilo; Diogo Remédios; Hervé Paulino; João Lourenço. "Group-to-Group Bidirectional Wi-Fi Direct Communication with Two Relay Nodes". Paper presented in EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous 2015), 2015.
    Published • 10.4108/eai.22-7-2015.2260272
  23. Silva, João A.; Lourenço, João M.; Paulino, Hervé. "Boosting locality in multi-version partial data replication". Paper presented in ACM/SIGAPP Symposium on Applied Computing (SAC 2015), 2015.
    Published • 10.1145/2695664.2695851
  24. 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 (ICDCN 2015), 2015.
    Published • 10.1145/2684464.2684481
  25. Diogo Remédios; António Teófilo; Paulino, Hervé; João Lourenço. "Mobile device-to-device distributed computing using data sets". Paper presented in EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous 2015), 2015.
    Published • 10.4108/icst.mobiquitous.2015.260273
  26. 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
  27. 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
  28. Fernando Alexandre; Ricardo Marques; Hervé Paulino. "On the support of task-parallel algorithmic skeletons for multi-GPU computing". Paper presented in ACM/SIGAPP Symposium on Applied Computing (SAC 2014), 2014.
    Published • 10.1145/2554850.2555018
  29. Soldado, F.; Alexandre, F.; Paulino, Hervé. "Towards the transparent execution of compound openCL computations in multi-CPU/multi-GPU environments". Paper presented in International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms (HeteroPar@Euro-Par 2014), 2014.
    Published • 10.1007/978-3-319-14325-5_16
  30. João M. Lourenço; Paulino, Hervé; João Silva. "Um Mecanismo de Caching para o Protocolo SCORe". Paper presented in INForum 2014 - Simpósio de Informática (Portuguese National Informatics Conference), Porto, 2014.
    Published
  31. João Silva; João M. Lourenço; Hervé Paulino. "Replicação Parcial com Memória Transacional Distribuída". Paper presented in INForum 2014 - Atas do 6º Simpósio de Informática (Portuguese National Informatics Conference), Évora, 2013.
    Published
  32. Nuno Delgado; Paulino, Hervé. "Uma Abordagem Sistema para o Paralelismo Hierárquico em Arquitecturas Multi-core". Paper presented in INForum 2013 - Simpósio de Informática (Portuguese National Informatics Conference), Évora, 2013.
  33. Daniel Parreira; Paulino, Hervé. "Uma Abordagem Alto Nível ao Controlo de Concorrência Componível Centrado nos Dados". Paper presented in INForum 2013 - Atas do 5º Simpósio de Informática (Portuguese National Informatics Conference), Évora, 2013.
    Published
  34. Fernando Alexandre; Ricardo Marques; Paulino, Hervé. "Esqueletos Algorítmicos para Paralelismo de Tarefas em Sistemas Multi-GPU". Paper presented in INForum 2013 - Simpósio de Informática (Portuguese National Informatics Conference), Évora, 2013.
    Published
  35. Marques, R.; Paulino, Hervé; Alexandre, F.; Medeiros, P.D.. "Algorithmic skeleton framework for the orchestration of GPU computations". Paper presented in International European Conference on Parallel and Distributed Computing (Euro-Par 2013), 2013.
    Published • 10.1007/978-3-642-40047-6_86
  36. Nuno Delgado; Paulino, Hervé. "Sobre um Mecanismo de Controlo de Concorrência baseado em Grupos de Recursos". Paper presented in INForum 2012 - Simpósio de Informática (Portuguese National Informatics Conference), Caparica, 2012.
    Published
  37. Ricardo Marques; Hervé Paulino; Pedro Medeiros. "Desenho e Implementação de uma Biblioteca de Padrões Algorítmicos para GPGPU". Paper presented in INForum 2012 - Simpósio de Informática (Portuguese National Informatics Conference), Caparica, 2012.
    Published
  38. Gomes, M.C.; Paulino, Hervé; Baptista, A.; Araújo, F.. "Dynamic interaction models for web enabled wireless sensor networks". Paper presented in IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2012), 2012.
    Published • 10.1109/ISPA.2012.120
  39. Saramago, J.; Mourao, D.; Paulino, H.. "Towards an adaptable middleware for parallel computing in heterogeneous environments". Paper presented in The 2012 International Workshop on Power and QoS Aware Computing (PQoSCom@CLUSTER 2012), 2012.
    Published • 10.1109/ClusterW.2012.36
  40. Marques, Eduardo; Paulino, Herve. "Single Operation Multiple Data - Data Parallelism at Subroutine Level". Paper presented in IEEE International Conference on High Performance Computing and Communication (HPCC 2012), 2012.
    Published • 10.1109/hpcc.2012.42
  41. Paulino, H.; Camacho, G.. "Enhancing service-oriented computing with software mobility". Paper presented in International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP 2012), 2012.
    Published • 10.1007/978-3-642-33078-0_35
  42. Baptista, A.; Gomes, M.C.; Paulino, H.. "Session-based dynamic interaction models for stateful web services". Paper presented in International Conference on Exploring Services Science (IESS 2012), 2012.
    Published • 10.1007/978-3-642-28227-0-3
  43. Filipe Araújo; Maria Cecília Farias Lorga Gomes; Paulino, Hervé. "Reconfiguração Dinâmica Estruturada de Workflows de Serviços Web". Paper presented in INForum 2012 - Simpósio de Informática (Portuguese National Informatics Conference), Caparica, 2012.
    Published
  44. Adérito Baptista; Maria Cecília Farias Lorga Gomes; Hervé Paulino. "Reconfiguração Dinâmica de Modelos de Interação para Redes de Sensores". Paper presented in INFORUM 2011 - Simpósio de Informática (Portuguese National Informatics Conference), Coimbra, 2011.
    Published
  45. Paulino, H.; Santos, J.R.. "A middleware framework for the web integration of sensor networks". Paper presented in International ICST Conference on Sensor Systems and Software (S-Cube 2010), 2010.
    Published • 10.1007/978-3-642-23583-2_6
  46. Paulino, Hervé; Martins, J.A.; Lourenço, J.; Duro, N.. "SmART: An application reconfiguration framework". Paper presented in International Conference on Complex System Design & Management (CSDM 2010), 2010.
    Published • 10.1007/978-3-642-15654-0_5
  47. Paulino, H.; Cancela, P.; Franco, T.. "A platform-centric framework for the web exposure and orchestration of distributed objects". Paper presented in International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2010), 2010.
    Published • 10.1109/PDCAT.2010.85
  48. Duro, N.; Santos, R.; Lourenço, J.; Paulino, H.; Martins, J.. "Open virtualization framework for testing Ground Systems". Paper presented in Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2010), 2010.
    Published • 10.1145/1866210.1866217
  49. Paulino, H.. "On the definition of service abstractions for parallel computing". Paper presented in 8th International Conference Parallel Processing and Applied Mathematics (PPAM 2009), 2009.
    Published • 10.1007/978-3-642-14403-5_9
  50. Paulino, Hervé; Cancela, P.; Franco, T.. "Orchestration of middleware services". Paper presented in International Symposium Distributed Objects, Middleware, and Applications (DOA 2009), 2009.
    Published • 10.1007/978-3-642-05290-3_1
  51. Paulino, H.; Tavares, C.. "SeDeUse: A model for service-oriented computing in dynamic environments". Paper presented in Second International Conference on Mobile Wireless Middleware, Operating Systems, and Applications (Mobilware 2009), 2009.
    Published • 10.1007/978-3-642-01802-2_12
  52. Paulino, H.. "SuMo: A framework for prototyping distributed and mobile software". Paper presented in International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP 2008), 2008.
    Published • 10.1007/978-3-540-69501-1_29
  53. Paulino, H.. "Reliable communication in the presence of agent mobility". Paper presented in 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007.
    Published • 10.1109/ISCC.2007.4381559
  54. Paulino, Hervé. "Mobile Service Development and Deployment with Remotely Launched Service-Oriented Mobile Agents". Paper presented in International Conference on Mobile Data Management (MDM 2007), 2007.
    Published • 10.1109/mdm.2007.88
  55. Paulino, Hervé; Lopes, Luís. "A service-oriented language for programming mobile agents". Paper presented in Fifth international joint conference on Autonomous agents and multiagent systems (AAMAS), 2006.
    Published • 10.1145/1160633.1160870
  56. Paulino, H.; Lopes, L.. "A mobile agent service-oriented scripting language encoded on a process calculus". Paper presented in 7th Joint Modular Languages Conference on Modular Programming Languages (JMLC 2006), 2006.
    Published
  57. Paulino, H.; Lopes, L.; Silva, F.. "Mob: A scripting language for mobile agents based on a process calculus". Paper presented in International Conference on Web Engineering (ICWE 2003), 2003.
    Published
  58. Paulino, H.; Marques, P.; Lopes, L.; Vasconcelos, V.; Silva, F.. "A multi-threaded asynchronous language". Paper presented in 7th International Conference on Parallel Computing Technologies (PaCT 2003), 2003.
    Published • 10.1007/978-3-540-45145-7_29
  59. Silva, F.; Paulino, H.; Lopes, L.. "Di_pSystem: A parallel programming system for distributed memory architectures". Paper presented in Recent Advances in Parallel Virtual Machine and Message Passing Interface (Euro PVM/MPI 1999), 1999.
    Published • 10.1007/3-540-48158-3_65
Conference poster
  1. Pedro Medeiros; Hervé Paulino; Hélder Marques. "Plataforma Multi-Backend para a Programação do Processador Xeon Phi". Paper presented in INForum 2014 - Simpósio de Informática (Portuguese National Informatics Conference), 2014.
Edited book
  1. Rolando Martins; Hervé Paulino; Luís Veiga. MECC'19: Proceedings of the 4th Workshop on Middleware for Edge Clouds & Cloudlets. ACM - Association for Computing Machinery. 2019.
    Published • 10.1145/3366614 • Editor
  2. Rolando Martins; Paulino, Hervé; Luís Veiga. MECC'18: Proceedings of the 3rd Workshop on Middleware for Edge Clouds & Cloudlets. Association for Computing Machinery, Inc. 2018.
    Published • 10.1145/3286685 • Editor
  3. Rolando Martins; Hervé Paulino; Luís Veiga. MECC '17: Proceedings of the 2nd Workshop on Middleware for Edge Clouds & Cloudlets. Association for Computing Machinery, Inc. 2017.
    Published • 10.1145/3152360 • Editor
  4. Hervé Paulino; Rolando Martins. MECC '16: Proceedings of the 1st Workshop on Middleware for Edge Clouds & Cloudlets. Association for Computing Machinery, Inc. 2016.
    Published • 10.1145/3017116 • Editor
  5. Paulino, Hervé; Francisco Martins; Luís Lopes. Sensor Systems and Software - Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers. Springer Berlin Heidelberg. 2012.
    Published • 10.1007/978-3-642-32778-0 • Editor
Journal article
  1. Paulino, Hervé; Almeida Matos, Ana; Cederquist, Jan; Giunti, Marco; Matos, João; Ravara, António. "AtomiS: Data-Centric Synchronization Made Practical". Proceedings of the ACM on Programming Languages 7 OOPSLA2 (2023): 116-145. http://dx.doi.org/10.1145/3622801.
    Published • 10.1145/3622801
  2. António Barreto; Hervé Paulino; João A. Silva; Nuno Preguiça. "PS-CRDTs: CRDTs in highly volatile environments". Future Generation Computer Systems (2023): https://doi.org/10.1016/j.future.2022.12.013.
    Published • 10.1016/j.future.2022.12.013
  3. Guilherme Rito; Hervé Paulino. "Scheduling computations with provably low synchronization overheads". Journal of Scheduling 25 1 (2022): 107-124. https://doi.org/10.1007/s10951-021-00706-6.
    Published • 10.1007/s10951-021-00706-6
  4. 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. https://doi.org/10.1016/j.future.2020.12.008.
    Published • 10.1016/j.future.2020.12.008
  5. Hervé Paulino; Nuno Delgado. "Cache-conscious run-time decomposition of data parallel computations". The Journal of Supercomputing (2017): https://doi.org/10.1007%2Fs11227-016-1721-z.
    Published • 10.1007/s11227-016-1721-z
  6. Soldado, Fábio; Alexandre, Fernando; Paulino, Hervé. Corresponding author: Paulino, Hervé. "Execution of compound multi-kernel OpenCL computations in multi-CPU/multi-GPU environments". Concurrency and Computation: Practice and Experience 28 3 (2015): 768-787. http://dx.doi.org/10.1002/cpe.3612.
    Published • 10.1002/cpe.3612
  7. Paulino, Hervé; Marques, Eduardo. Corresponding author: Paulino, Hervé. "Heterogeneous programming with Single Operation Multiple Data". Journal of Computer and System Sciences 81 1 (2015): 16-37. http://dx.doi.org/10.1016/j.jcss.2014.06.021.
    Published • 10.1016/j.jcss.2014.06.021
  8. Maria Cecília Farias Lorga Gomes; Hervé Paulino; Adérito Baptista; Filipe Araújo. "Accessing wireless sensor networks via dynamically reconfigurable interaction models". International Journal of Interactive Multimedia and Artificial Intelligence 1 7 (2012): 52-61. https://novaresearch.unl.pt/en/publications/0150e075-a7ae-4f0a-a3e4-f5f400e105a2.
    Published • 10.9781/ijimai.2012.176
  9. Paulino, H.; Lopes, L.. "A programming language for service-oriented computing with mobile agents". Software - Practice and Experience 38 7 (2008): 705-734. http://www.scopus.com/inward/record.url?eid=2-s2.0-43949111325&partnerID=MN8TOARS.
    Published • 10.1002/spe.842
  10. Figueira, Á.R.; Paulino, H.; Lopes, L.; Silva, F.. "Distributed typed concurrent objects: A programming language for distributed computations with mobile resources". Journal of Universal Computer Science 9 8 (2003): 745-760. http://www.scopus.com/inward/record.url?eid=2-s2.0-23844496715&partnerID=MN8TOARS.
    Published • 10.3217/jucs-009-08-0745
Online resource
  1. Giunti, Marco; Paulino, Hervé; Ravara, António; Almeida Matos, Ana; Jan Cederquist; João Matos. AtomiS-Coq : soundness of inference of atomicities. 2022. Artifact #61 has been accepted by the ECOOP 2022 Artifact Evaluation program committee.
    https://zenodo.org/record/6382015
Report
  1. Giunti, Marco; Paulino, Hervé; Ravara, António. 2023. Anticipation of Method Execution in Mixed Consistency Systems - Technical Report. https://arxiv.org/abs/2212.14651.
  2. Guilherme Rito; Hervé Paulino. 2018. Scheduling computations with provably low synchronization overheads. https://arxiv.org/abs/1810.10615.
    10.48550/arXiv.1810.10615
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2017 Hyrax Project – Crowd-Sourcing Mobile Devices to Develop Edge Clouds "Encontro Ciência 2017" conference (http://www. encontrociencia.pt/2017/programa/detalhesprograma/?dia=5).
Fundação para a Ciência e Tecnologia (Lisbon, Portugal)

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2023 - 2023 Dynamic Content-based Indexing in Mobile Edge Networks
Co-supervisor of José Duarte Farinha de Almeida
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2023 - 2023 Disseminação de metadados com diferentes garantias de ordenação
Supervisor of Luís Pedro Martins Chula
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2023 - 2023 Portable Diagnose IOT Device with Two Reaction Chambers
Co-supervisor of Francisco Emídio Ribeiro
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2023 - 2023 Identifying Operation Commutativity in the Context of Replicated Systems
Supervisor of Rúben Alexandre Correia Vaz
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2022 Grafos Dinâmicos em GPUs
Supervisor of Ricardo Jorge Rebelo Pereira Henriques Martinho
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2022 Controlo de Concorrência Centrado nos Dados - Combinação de Locks com Memória Transacional
Co-supervisor of Hugo Gil Azinheira Marques Pinto
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2022 Armazenamento Reativo e Persisitente para Ambientes Mobile Edge Computing
Supervisor of Francisco Luís da Fonte Nunes
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2022 A Cuda Backend for Marrow and its Optimisation Via Machine Learning
Supervisor of Pedro de Almeida Amaral Ramos Valente
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2022 Extending, improving, and optimizing Marrow
Supervisor of Francisco José Sampaio de Freitas Cardoso
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2022 Privacy and Secure Communications in Mobile Edge Computing
Supervisor of Hugo Alexandre Alves Afonso Lopes
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2022 Implementação do algoritmo Low-Cost Work Stealing para computações paralelas
Supervisor of Rafael Guerreiro Custódio
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013/12/01 - 2021/05/01 Data Storage and Dissemination in Pervasive Edge Computing Environments
Co-supervisor of João André Almeida e Silva
 Informática (PhD)
Universidade Nova de Lisboa, Portugal
2021 - 2021 Adaptive Replica Selection in Mobile Edge Networks
Supervisor of João Pedro Monteiro Morgado Dias
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2021 A Framework for Turn-Based Local Multiplayer Games
Supervisor of Salúquia Cristina Dias Norte Marreiros
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2021 Escalonamento inteligente de computações em ambientes híbridos CPU/GPU
Supervisor of Francisco Manuel Évora António
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2021 Dynamic Content-based Indexing in Mobile Edge Networks
Supervisor of Cláudio Nuno Rodrigues Pereira
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2021 Ginger: A Transactional Middleware with Data and Operation Centric Mixed Consistency
Supervisor of Luís Miguel Dias Rocha
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2021 GPU-Accelerated Approximate K- Nearest Neighbors over Unbound Datasets
Supervisor of Gonçalo Pedro Santos Lopes
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2020 Real-Time Distributed Data Aggregation in Edge Systems
Supervisor of Nuno Gonçalo Sales Barreto das Neves Coelho
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014/10/01 - 2019/08/01 WiFi-Direct Internetworking
Supervisor of António Gelásio Frazão Isidro Teófilo
 Informática (PhD)
Universidade Nova de Lisboa, Portugal
2017 - 2017 Um Sistema Publicador/Subscritor com Persistência de Dados para Redes de Dispositivos Móveis
Supervisor of Filipe Alexandre Bandeira Cerqueira
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2017 Distributed Computing in a Cloud of Mobile Phones
Supervisor of Pedro Miguel Castanheira Sanches
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2014 Heterogeneous Computing with an Algorithmic Skeleton Framework
Supervisor of Fábio Miguel Cardoso Soldado
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2014 Towards an Algorithmic Skeleton Framework for Programming the Intel ® Xeon PhiTM Processor
Supervisor of Hélder de Almeida Marques
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2014 A distributed platform for the volunteer execution of workflows on a local area network
Supervisor of Jaquilino Lopes Silva
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2014 A System´s Approach to Cache Hierachy-Aware Decomposition of Data-Parallel Computations
Supervisor of Nuno Miguel de Brito Delgado
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2014 Definição e Execução de Computações Dinâmicas numa Linguagem de Programação Orientada-a-Serviços
Supervisor of Paulo Renato Branco Dias
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2013 Data-Centric Concurrency Control on the Java Programming Language
Supervisor of Daniel Luís Landeiroto Parreira
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2013 Multi-GPU Support on the Morrow Algorithmic Skeleton Framework
Supervisor of Fernando Jorge Marques Alexandre
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2013 Partial Replication in Distributed Software Transactional Memory
Co-supervisor of João André Almeida e Silva
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2011 - 2012 Algorithmic Skeleton Framework for the Orchestration of GPU Computations
Supervisor of Ricardo Marques
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2011 - 2012 Reconfiguração Dinâmica Estruturada de Workflows de Serviços Web
Co-supervisor of Filipe Araújo
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2011 - 2012 Um Middleware para Programação Paralela em Clusters of Multi-cores
Supervisor of João Saramago
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2011 - 2012 Single Operation Multiple Data - Paralelismo de Dado ao Nível da Subrotina
Supervisor of Eduardo Marques
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2011 - 2012 Dynamic Adaptation of Interaction Models for Stateful Web Services
Co-supervisor of Adérito Baptista
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2010 - 2011 Um Middleware Independente da Plataforma para Computação Paralela
Supervisor of Diogo André Mourão
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2009 - 2010 Service-oriented Mobility of Java Code in Web Services-based Architectures
Supervisor of Gilberto Camacho
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2009 - 2010 A Middleware for Service-oriented Computing in Dynamic Environments
Supervisor of Danilo Manmohanlal
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008 - 2009 SmART An Application Reconfiguration Framework
Co-supervisor of João André Martins
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008 - 2009 Um Middleware para Acesso e Gestão de Redes de Sensores em Ambientes Web
Supervisor of João Ruivo Santos
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008 - 2009 Orchestration of Heterogeneous Middleware Services and Its Application to a Command and Control Platform
Supervisor of Paulo Cancela
 Engenharia Informática (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2018 - 2020 Chair of the Track "Mobile and Ubiquitous Computing" of the main Portuguese conference on computer science INForum - Simpósio de Informática (Portuguese National Informatics Conference) (2019 - 2020)
Conference (Co-organisor)
 INForum - Simpósio de Informática, Portugal
2016 - 2019 Co-chair of the Workshop on Middleware for Edge Clouds & Cloudlets (MECC), collocated with conference ACM/IFIP/USENIX Middleware (2016 - 2019)
Workshop (Co-organisor)
 Association for Computing Machinery, United States
2014 - 2014 Local chair of International European Conference on Parallel and Distributed Computing (Euro-par 2014) (2014)
Conference (Co-organisor)
 Universidade do Porto Faculdade de Ciências, Portugal
2012 - 2012 Third International ICST Conference on Sensor Systems and Software (S-CUBE 2012) (2012 - 2012)
Conference (Member of the Organising Committee)
 Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Belgium
2012 - 2012 Track on "Internet of Things" of the main Portuguese conference on computer science INForum - Simpósio de Informática the main Portuguese conference on Computer Science). (2012 - 2012)
Conference (Member of the Organising Committee)
 INForum - Simpósio de Informática, Portugal

Event participation

Activity description
Type of event 		Event name
Institution / Organization
2017 - 2017 Participation on a panel about "Edge computing" at the "CMU|Portugal Symposium 2017" conference
Symposium
 CMU|Portugal Symposium 2017
Fundação para a Ciência e a Tecnologia, Portugal

Committee member

Activity description
Role 		Institution / Organization
2016 - 2020 Track on Operating Systems of ACM SAC
Member
 Association for Computing Machinery, United States
2019 - 2019 3rd International Conference in Engineering Applications (ICEA 2019)
Member
 IEEE, United States
2013 - 2017 Track on "Large-scale Distributed and Parallel Computing" of INForum - Simpósio de Informática (Portuguese National Informatics Conference)
Member
 INForum - Simpósio de Informática, Portugal
2016 - 2016 International Meeting on High Performance Computing for Computational Science (VECPAR 2016)
Member
2013 - 2013 IEEE Symposium on Computers & Informatics
Member
 IEEE, United States
2012 - 2012 Agents in Health Care Workshop (AgentsCare 2012)
Member
2010 - 2011 Track on "Internet of Things" of INForum - Simpósio de Informática (Portuguese National Informatics Conference)
Member
 INForum - Simpósio de Informática, Portugal

Evaluation committee

Activity description
Role 		Institution / Organization Funding entity
2016 - 2017 Member of PhD and postdoc evaluation panel
Evaluator
 Fundação para a Ciência e a Tecnologia, Portugal Fundação para a Ciência e a Tecnologia
2016 - 2016 Assessment of the scientific outcomes of a FCT project
Specialist
 Fundação para a Ciência e a Tecnologia, Portugal Fundação para a Ciência e a Tecnologia
Distinctions

Award

2022 Best Paper award at SAC 2022 for paper: David Neves; Hervé Paulino. "Condition-based synchronization in data-centric concurrency control". Paper presented in ACM/SIGAPP Symposium on Applied Computing (SAC 2022), 2022. DOI: 10.1145/3477314.3507120
Association for Computing Machinery, United States

Other distinction

2019 Grant of a Graphics Processing Unit by NVIDIA Corporation to support research on high-level GPU programming and real-time stream processing,
NVIDIA Corp, United States