Hervé Paulino
Associate Professor at the Department of Computer Science of the NOVA School of Science and Technology | FCT NOVA from the NOVA University Lisbon
Integrated member of the NOVA Laboratory for Computer Science and Informatics (NOVA LINCS) research centre.
Research
Publications (DBLP)
Research Indexes (click to visit)
Google Scholar: VFJ3-DYAAAAJ
ORCID: 0000-0001-7958-9740
Researcher ID: A-7016-2010
Scopus: 16234327700
CienciaVitae: E41D-A447-90EB
Students
Ongoing
MSc
On data-centric synchronization
André Correia
Rodrigo Fontinha
João Santos
On parallel computing
Tiago Sequeira
Francisco Braço-Forte
Rafael Pereira
On distributed/edge computing
Duarte Gabriel
Vicente dos Santos
João Tomás
PhD concluded
João André Silva. Data Storage and Dissemination in Pervasive Edge Computing Environments. Co-supervised by Prof. João Lourenço.
António Teófilo. WiFi-Direct InterNetworking. Co-supervised by Prof. João Lourenço.
MSc Concluded
2024
Jaime Saramago
Pedro Miguel Salgado
Paulo Matos. Fault-Tolerant Publish-Subscribe System With Multiple Delivery Guarantees.
Pedro Almeida. Data Storage in a Multilevel Mesh Network Setting (using Hierarchical Organisation and Conflict-Free Replicated Data Types). Main supervisor: António Teófilo. Co-supervised by João Lourenço.
Filipe Pregal. Face-based Photo Indexing in Edge Computing Environments.
David Neves. GPU Accelerated Dynamic Graph Processing.
Xavier Pacheco. Paprika: A Popularity, Affinity and Capacity-Aware Replica Placement Algorithm.
David Moreira. Integrating IoT Devices in EdgeGarden.
Jorge Ferreira. Static Analysis for Data-race Detection in Java. Co-supervised by António Ravara
2023
Ruben Alexandre Correia Vaz. Identifying Operation Commutativity in the Context of Replicated Systems.
José Duarte Almeida. Dynamic Content-based Indexing in Mobile Edge Networks. Main supervisor: Nuno Marques
Pedro Salgado. Safe and sound lock generation with data-centric concurrency control. Main supervisor: António Ravara. Co-supervised by Mario Pereira.
Luís Chula, Disseminação de metadados com diferentes garantias de ordenação.
2022
Hugo Lopes. Privacy and Secure Communications in Mobile Edge Computing.
Rafael Custódio. Implementation of the Low-Cost Work Stealing Algorithm for parallel computations
Francisco Cardoso. Extending, improving, and optimizing Marrow.
Pedro Valente. A CUDA backend for Marrow and its Optimisation via Machine Learning
Francisco Nunes. Armazenamento Reativo e Persistente para Ambientes Mobile Edge Computing
Hugo Pinto. Controlo de Concorrência Centrado nos Dados (Combinação de locks com memória transacional)
Ricardo Martinho. Grafos Dinâmicos em GPUs
2021
Cláudio Pereira. Dynamic Content-based Indexing in Mobile edge Networks. Co-supervised by Nuno Marques
Francisco António. Escalonamento inteligente de computações em ambientes híbridos CPU/GPU.
Ricardo Leitão. Managing Population and Workload Imbalance in Structured Overlays. Main supervisor: João Silva
Ricardo Pinheiro. Análise Semi-Automática da Parametrização do Modelo de Mapas Auto-Organizados Ubíquos com Recurso a Paralelismo. Main supervisor: Nuno Marques
2020
Gonçalo Lopes. GPU-Accelerated Approximate K- Nearest Neighbors over Unbound Datasets
Salúquia Marreiros. A Framework for Turn-Based Local Multiplayer Games
João Dias. Adaptive Replica Selection in Mobile Edge Networks
Luís Rocha. Ginger: A Transactional Middleware with Data and Operation Centric Mixed Consistency.
Nuno Coelho. Real-Time Distributed Data Aggregation in Edge Systems.
2019
André Fragoso. Deducing Operation Commutativity from Replicated Data Declaration.
António Barreto. Conflict-Free Replicated Data Types in Dynamic Environments
José Pedro Afonso. Key-Value Storage for handling data in mobile devices
Ricardo Ribeiro. Protein docking GPU acceleration. Co-supervised by Ludwig Krippahl.
Daniel Ferreira. Execução paralela de métodos em Scala. Main supervisor: Artur Miguel Dias.
2018
José Azevedo, Image Stream Similarity Search in GPU Clusters. Co-supervised by João Magalhães.
Pedro Vieira. A Persistent Publish/Subscribe System for Mobile Edge Computing.
João Borrego, Mapas Auto-Organizados Ubíquos em Unidades de Processamento Gráfico. Co-supervised by Nuno Marques.
Diogo Ribeiro, Middleware para controlo cooperativo a partir de uma rede de dispositivos móveis.
Guilherme Santos, Monitorização Autonómica de Contentores Docker e a sua Aplicação a Serviços da Saúde. Collaboration with companies Altran S.A. and Serviços Partilhados do Ministério da Saúde (SPMS).
Paulo Ferrão, Processamento de fluxos de dados em arquitecturas híbridas CPU/Intel Xeon Phi.
2017
Filipe Cerqueira. Um Sistema Publicador/Subscritor com Persistência de Dados para Redes de Dispositivos Móveis.
Pedro Sanches. Distributed Computing in a Cloud of Mobile Phones.
2016
Guilherme Rito, Scheduling Computations.
Frederico Marques, High-Level Programming of Many Core Architectures.
José Rodrigo Carvalho, Extração de Segmentos de Vídeo em Cluster de CPUs-GPUs. Co-supervised by João Magalhães.
2015
Daniel Magro. Cache-conscious Splitting of MapReduce Tasks and its Application to Stencil Computations.
Ricardo Monteiro, Distributed Storage in a Cloud of Mobile Devices. Co-supervised by João Lourenço.
2014
Helder Marques. Towards an algorithmic skeleton framework for programming the Intel Xeon Phi processor
Paulo Dias. Definição e execução de computações dinâmicas numa linguagem de programação orientada-a-serviços.
Fábio Soldado. Heterogeneous computing with an algorithmic skeleton framework.
Pedro Martins. Evaluation and optimization of a session-based middleware for data management. Main supervisor: Maria Cecília Gomes.
Jaquilino Silva. A distributed platform for the volunteer execution of workflows on a local area network. Co-supervised by Francisco Azevedo. Collaboration with Albatroz Engineering, S.A.
Nuno Delgado. A system’s approach to cache hierarchy-aware decomposition of data-parallel computations.
2013
Daniel Parreira. Data-centric concurrency control on the java programming language
João André e Silva. Partial replication in distributed software transactional memory. Co-supervised by João Lourenço.
Fernando Alexandre. Multi-GPU support on the marrow algorithmic skeleton framework
João Domingos. On the cloud deployment of a session abstraction for service/data aggregation. Main supervisor: Maria Cecília Gomes.
2012
Ricardo Marques. Algorithmic skeleton framework for the orchestration of GPU computations.
Filipe Araújo. Reconfiguração dinâmica estruturada de workflows de serviços web. Main supervisor: Maria Cecília Gomes.
João Saramago. Um middleware para computação paralela em clusters de multicores.
Eduardo Marques. Single operation multiple data - paralelismo de dados ao nível da sub-rotina.
Adérito Baptista. Dynamic adaptation of interaction models for stateful web services. Main supervisor: Maria Cecília Gomes.
2011
Diogo André Mourão. Um middleware independente da plataforma para computação paralela
2010
Gilberto Camacho. Service-oriented mobility of java code in web services-based architectures.
Danilo Manmohanlal. A middleware for service oriented computing in dynamic environments
2009
João André Martins. SmART: an application reconfiguration framework. Co-supervised by João Lourenço. Collaboration with company Evolve Space Solutions.
João Ruivo Santos. Um Middleware para Acesso e Gestão de Redes de Sensores em Ambientes Web.
Paulo Cancela. Orchestration of heterogeneous middleware services and its application to a command and control platform. Collaboration with company Critical Software S.A..
BSc Concluded (incomplete)
2023
Iago Paulo. Group Communication in the Context of a Data Sharing System for Mobile Edge Computing (and applied to local multiplayer games).
2021
David Neves. Sincronização de Threads no Modelo RC3.
Márcia Matias . Coleções do Java com Concorrência Centrada nos Dados.
2019
João Pereira. Combinando Locks com Memória Transacional em Controlo de Concorrência Centrado nos Dados. Co-supervised by João Lourenço
2018
Miguel Marques. Geração de locks a partir de anotações de concorrência sobre dados
Salúquia Marreiros. Distributed Snake
2017
Mariana Aires. Lock Inference for the RC3 Model.
Rúben Barreiro. DiCE: Distributed Collaborative Computing at the Edge.
2016
Diogo Rodrigues. A Graphical Interface for Photo Sharing on a Network of Smartphones
Miguel Fialho. From operations on C++ vectors to algorithms for GPUs
Miguel Loureiro. Identifying and Fixing Errors in a Data-Centric Concurrency Model
2015
Everton Nascimento. Efficient Mappings of OpenCL Computations on GPUs
2014
António Matias. Comparison of a transparent cache friendly approach against cache oblivious algorithms
Filipe Silva. Adapting a benchmark for a distributed transactional memory framework
Guilherme Rito. Scheduling Parallel Computations by Spreading and Stealing
Ricardo Pinho. Controlo ao nível utilizador do escalonamento de threads
2013
Ana Teresa Pereira. Identificação de cenários de Deadlock na linguagem Java
Diogo Cardoso. Separação das preocupações de concorrência e funcionalidade na linguagem Java
Filipa Ferreira. Suporte Android para o middleware Elina
Frederico Marques. Processamento de Strings em GPUs
João Vitorino. Programação de GPUs com uma biblioteca de padrões algorítmicos
Miguel Teixeira. Processamento de Anotações Java para Programação Paralela
2011
Daniel Parreira. Flexible MapReduce.
João Silva. Flexible MapReduce.
Nuno Delgado. On the Separation of the Concurrency and Functionality Concerns in Java
2009
António Coelho. Refinamento e Optimização de uma Biblioteca de Comunicação para o Processador Cell BE
Teaching
Classes
2024/25
First Semester
Atividade de Desenvolvimento Curricular - vertente estágio
Informática para Ciências e Engenharias/Informática para Ciência e Tecnologia
Sistemas e Redes de Computadores (Doctoral Program)
Second semester
Atividade de Desenvolvimento Curricular - vertente estágio
2023/24
First Semester
Atividade de Desenvolvimento Curricular - vertente estágio
Informática para Ciências e Engenharias/Informática para Ciência e Tecnologia
Sistemas e Redes de Computadores (Doctoral Program)
Second semester
Atividade de Desenvolvimento Curricular - vertente estágio
Office Hours
Tuesdays from 14:00 to 15:00 (Room 2/16-II)
Fridays from 10:30 to 11:00 (Room 2/16-II)
Bio
PhD in Computer Science from the Universidade Nova de Lisboa in 2006
MSc in Computer Science from the Faculdade de Ciências of the Universidade do Porto in 1998.
BSc in Computer Science from the Faculdade de Ciências of the Universidade do Porto in 1996.