Hervé Paulino

MSc

On data-centric synchronization

• André Correia

• Rodrigo Fontinha

• João Santos

On GPU computing

• Tiago Sequeira

On distributed/edge computing

• Pedro Almeida

• Pedro Miguel Salgado

• Paulo Matos

• Duarte Gabriel

• Jaime Saramago

• Vicente dos Santos

• João Tomás

• 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.

2024

• David Neves

• David Moreira

• Xavier Pacheco

• Filipe Pregal

• Jorge Ferreira. 

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..

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

First semester 2023/24

• 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 2023/24

• Atividade de Desenvolvimento Curricular - vertente estágio

• Concorrência e Paralelismo

Tuesdays from 14:00 to 15:00 (Room 2/16-II)

Fridays from 10:30 to 11:00 (Room 2/16-II)

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.