| |
|
|
|
| SOFT-PT [1] |
|
Session Chair: Mário Florido |
|
| |
A |
'Sharing the Stateful World'; Diogo Barros, Andreia Mordido, Vasco Vasconcelos and Bernardo Almeida |
0:20:00 |
| |
A |
'A Snitch in the Spring: Confidencialidade de Dados em Aplicações Web'; Gonçalo Condeço, Eduardo Geraldo and João Costa Seco |
0:20:00 |
| |
A |
'Verificação Auto-activa de Algoritmia de Grafos'; Daniel Castanho and Mário Pereira |
0:20:00 |
| |
A |
'Automatic Streaming for RISC-V via Source-to-Source Compilation'; Luís Henriques, João Bispo and Nuno Paulino |
0:20:00 |
| |
|
|
|
| SOFT-PT [2] |
|
Session Chair: Vasco Vasconcelos |
|
| |
A |
'Making Session Types Go'; João Geraldo and Bernardo Toninho |
0:20:00 |
| |
A |
'Automatic detection and resolution of deadlocks in Go programs'; Jorge Coelho, João M. Lourenço and António Ravara |
0:20:00 |
| |
A |
'Type-Safe Customization of Low-code Templates'; Constança Manteigas, Joana Parreira, João Costa Seco and Carla Ferreira |
0:20:00 |
| |
A |
'Verificação e Reforço de Invariantes Aplicacionais no Antidote SQL'; Dina Borrego, Carla Ferreira and Nuno Preguiça |
0:20:00 |
| |
|
|
|
| CPDLA [1] |
|
Session Chair: João Leitão |
|
| done |
A |
'Empowering a Relational Database with LSD: Lazy State Determination'; Thales Parreira, Tiago M. Vale, Ricardo Dias and João M. Lourenço |
0:20:00 |
| |
A |
'A Study of Latency-Aware Data-Placement Strategies for Heterogeneous (PMEM) Memory Systems'; João Antão, Joao Barreto and João M. Lourenço |
0:20:00 |
| |
A |
'FocusDB: Gestão de dados para aplicações móveis dependentes da localização'; Nuno Santos, Luis Silva, João Leitão and Nuno Preguiça |
0:20:00 |
| |
A |
'Estudo prático de um sistema descentralizado: IPFS'; Diogo Fona, Pedro Ákos Costa and João Leitão |
0:20:00 |
| |
|
|
|
| CPDLA [2] |
|
Session Chair: José d'Abruzzo Pereira |
|
| done |
A |
'Automatic Generation of Contracts for Concurrent Java Programs'; Hugo Gamaliel Pereira, Diogo Sousa, Jeremy Bradbury and João M. Lourenço |
0:20:00 |
| |
A |
'OSCAR - A Java Noise Injection Framework'; Filipe de Luna, Jeremy Bradbury and João M. Lourenço |
0:20:00 |
| |
A |
'Memory Reclamation for an Elastic Lock-Free Hash Trie Map Design Using Hazard Pointers'; João Pereira, Pedro Moreno and Ricardo Rocha |
0:20:00 |
| |
A |
'Compreender os compromissos entre algoritmos de coerência causal através de simulação'; António Duarte, Pedro Fouto, João Leitão and Nuno Preguiça |
0:20:00 |
| |
|
|
|
| CPDLA [3] |
|
Session Chair: Lúcio Ferrão |
|
| |
A |
'An Experimental Study of Elasticity in Kubernetes HPA for Microservice Applications'; João Ribeiro, José D'Abruzzo Pereira and Nuno Antunes |
0:20:00 |
| |
C |
'NDRank: A Parallel Search System for Weather Analogues'; David Martins, Miguel Ferreira and Joao Nuno Silva |
0:15:00 |
| |
C |
'Emulador de Redes para Validação Empírica de Algoritmos Distribuídos'; Diogo Almeida, Pedro Fouto, Pedro Costa and João Leitão |
0:15:00 |
| |
|
|
|
| CD [1] |
|
Session Chair: Sebastião Pais |
|
| done |
A |
'Suggesting Words using a Bayesian Network'; Pedro Santos, Nuno Datia, M.P.M. Pato and José Sobral |
0:20:00 |
| |
A |
'GANs for Automatic Generation of Data Plots'; João Caldeira and Cláudia Antunes |
0:20:00 |
| |
A |
'Aprendizagem Federada para Previsão do Próximo Nó em Fluxos de Ações'; Daniel Lopes, João Nadkarni, Filipe Assunção, Miguel Lopes and Luis Rodrigues |
0:20:00 |
| |
A |
'Explaining Cancer Detection on Microarray Data: a Machine Learning Approach'; Adara Nogueira, Artur Ferreira and Mario Figueiredo |
0:20:00 |
| |
|
|
|
| CD [2] |
|
Session Chair: Sebastião Pais |
|
| done |
A |
'A JavaScript library for interactive data visualization in phylogenetics'; Cátia Vaz, Ana Correia, Inês Sousa, Adriano Baptista, Francisco Filipe, Marta Ferreira and Alexandre P Francisco |
0:20:00 |
| |
A |
'Predicting blood donor return in Portugal: role of demographics'; João Castanheira, Andreia Sofia Teixeira, Sara C. Madeira and Pedro T. Monteiro |
0:20:00 |
| |
A |
'FLOWViZ: Framework for Phylogenetic Processing'; Miguel Luís and Cátia Vaz |
0:20:00 |
| |
A |
'Semantic embedding of time-series EHR data'; Isabella Mi Hyun Kim, Andreia Sofia Teixeira, Mário J. Silva, José Maria Moreira and Bernardo Neves |
0:20:00 |
| |
|
|
|
| CD [3] |
|
Session Chair: Faustino Muetunda |
|
| |
A |
'Students Temporal Profiling and e-Learning Resources Recommendation Based on NLP's Terms Extraction'; André Picado, Anna Couto, Ana Santos and Cláudia Antunes |
0:20:00 |
| |
A |
'Towards predicting waiting times in Hospital Emergency Rooms'; Rui Eirinha and Claudia Soares |
0:20:00 |
| |
A |
'Community detection for the characterization of transcriptional regulatory networks of yeast species'; Fábio Cruz, Pedro T. Monteiro and Andreia Sofia Teixeira |
0:20:00 |
| |
A |
'Identifying Clinical Trajectories in Multimorbidity Patients with Heart Failure'; Rui Lopes Baeta, Bernardo Duque Neves, Andreia Sofia Monteiro Teixeira and Mário J. Silva |
0:15:00 |
| |
|
|
|
| SFC-CA [1] |
|
Session Chair: José Cecílio |
|
| |
A |
'AvoidCrowd - Walking Crowd Detection System'; André Pedro, Delfim Pereira, Celestino Gonçalves and Clara Silveira |
0:20:00 |
| |
A |
'Development and Analyses of a New implementation of CSMA/CAD algorithm for LoRaSim Simulator applied to LoRa networks'; Andre Alves, Luis M. Pires and Luís C Gonçalves |
0:20:00 |
| |
A |
'ANNODE+: Outlier and Omission detection framework based on Machine Learning'; Inês Sousa, António Casimiro and José Cecílio |
0:20:00 |
| |
|
|
|
| SFC-CA [2] |
|
Session Chair: José Cecílio |
|
| |
A |
'Deteção de inundações na via pública com recurso a visão computacional'; Ricardo Bandeira and José Alberto Fonseca |
0:20:00 |
| |
A |
'Sistema de Gestão Comercial e Aplicação M-Commerce'; Gonçalo Santos and Clara Silveira |
0:20:00 |
| |
C |
'Overview of an Heuristic-based Task-to-Thread Mapping Approach for Multi-Core Processors'; Mohammad Samadi Gharajeh, Sara Royuela, Luis Miguel Pinho, Tiago Carvalho and Eduardo Quiñones |
0:15:00 |
| |
C |
'AirVA - Indoor Air Quality Monitoring and Control with Occupants Alerting System'; Agostinho Ramos, Vagner Bom-Jesus, Celestino Gonçalves, Filipe Caetano and Clara Silveira |
0:15:00 |
| |
C |
'Formalization and Runtime Verification of Invariants for Robotic Systems'; Ricardo Cordeiro, Alcides Fonseca and Christopher Timperley |
0:15:00 |
| |
|
|
|
| CRC |
|
Session Chair: Daniel Corujo |
|
| |
A |
'Avaliação de desempenho de tecnologias VPN atuais'; Carlos Rodrigues and Nuno Cruz |
0:20:00 |
| |
A |
'A safety perspective for soft mobility in the ITS ecosystem'; Mafalda Gonçalves, Nuno Datia and António Serrador |
0:20:00 |
| |
A |
'Decentralized Workload Adaptive Control Plane for Edge Software-Defined Networked Systems'; Jose Moura |
0:20:00 |
| |
|
|
|
| SSCC |
|
Session Chair: João Paulo Barraca |
|
| |
A |
'SecScore - Priorização de Vulnerabilidades de Nova Geração'; Miguel Santana, Alan de Sá and Pedro Silva |
0:20:00 |
| |
A |
'Ataques de Frequência em Deduplicação Cifrada na Nuvem'; Rodrigo Silva, Cláudio Correia, Miguel Correia and Luís Rodrigues |
0:20:00 |
