Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por HASLab

2025

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?

Autores
Oliveira, F; Mendes, A; Carreira, C;

Publicação
CoRR

Abstract

2025

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny

Autores
Carreira, C; Silva, AF; Abreu, A; Mendes, A;

Publicação
CoRR

Abstract

2025

Detecting Resource Leaks on Android with Alpakka

Autores
Santos, G; Bispo, J; Mendes, A;

Publicação
PROCEEDINGS OF SLE 2025 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2025

Abstract
Mobile devices have become integral to our everyday lives, yet their utility hinges on their battery life. In Android apps, resource leaks caused by inefficient resource management are a significant contributor to battery drain and poor user experience. Our work introduces Alpakka, a source-to-source compiler for Android's Smali syntax. To showcase Alpakka's capabilities, we developed an Alpakka library capable of detecting and automatically correcting resource leaks in Android APK files. We demonstrate Alpakka's effectiveness through empirical testing on 124 APK files from 31 real-world Android apps in the DroidLeaks [12] dataset. In our analysis, Alpakka identified 93 unique resource leaks, of which we estimate 15% are false positives. From these, we successfully applied automatic corrections to 45 of the detected resource leaks.

2025

No Two Snowflakes Are Alike: Studying eBPF Libraries' Performance, Fidelity and Resource Usage

Autores
, C; Gião, B; Amaro, S; Matos, M; Paulo, JT; Esteves, T;

Publicação
Proceedings of the 3rd Workshop on eBPF and Kernel Extensions

Abstract
As different eBPF libraries keep emerging, developers are left with the hard task of choosing the right one. Until now, this choice has been based on functional requirements (e.g., programming language support, development workflow), while quantitative metrics have been left out of the equation. In this paper, we argue that efficiency metrics such as performance, resource usage, and data collection fidelity also need to be considered for making an informed decision. We show it through an experimental study comparing five popular libraries: bpftrace, BCC, libbpf, ebpf-go, and Aya. For each, we implement three representative eBPF-based tools and evaluate them under different storage I/O workloads. Our results show that each library has its own strengths and weaknesses, as their specific features lead to distinct trade-offs across the selected efficiency metrics. These results further motivate experimental studies to increase the community's understanding of the eBPF ecosystem. © 2025 Elsevier B.V., All rights reserved.

2025

Risk Assessment Profiles for Caregiver Burden in Family Caregivers of Persons Living with Alzheimer's Disease: An Exploratory Study with Machine Learning

Autores
Brito, L; Cepa, B; Brito, C; Leite, A; Pereira, MG;

Publicação
EUROPEAN JOURNAL OF INVESTIGATION IN HEALTH PSYCHOLOGY AND EDUCATION

Abstract
Alzheimer's disease (AD) places a profound global challenge, driven by its escalating prevalence and the multifaceted strain it places on individuals, families, and societies. Family caregivers (FCs), who are pivotal in supporting family members with AD, frequently endure substantial emotional, physical, and psychological demands. To better understand the determinants of family caregiving strain, this study employed machine learning (ML) to develop predictive models identifying factors that contribute to caregiver burden over time. Participants were evaluated across sociodemographic clinical, psychophysiological, and psychological domains at baseline (T1; N = 130), six months (T2; N = 114), and twelve months (T3; N = 92). Results revealed three distinct risk profiles, with the first focusing on T2 data, highlighting the importance of distress, forgiveness, age, and heart rate variability. The second profile integrated T1 and T2 data, emphasizing additional factors like family stress. The third profile combined T1 and T2 data with sociodemographic and clinical features, underscoring the importance of both assessment moments on distress at T2 and forgiveness at T1 and T2, as well as family stress at T1. By employing computational methods, this research uncovers nuanced patterns in caregiver burden that conventional statistical approaches might overlook. Key drivers include psychological factors (distress, forgiveness), physiological markers (heart rate variability), contextual stressors (familial dynamics, sociodemographic disparities). The insights revealed enable early identification of FCs at higher risk of burden, paving the way for personalized interventions. Such strategies are urgently needed as AD rates rise globally, underscoring the imperative to safeguard both patients and the caregivers who support them.

2025

Multi-Partner Project: Green.Dat.AI: A Data Spaces Architecture for enhancing Green AI Services

Autores
Chrysakis, I; Agorogiannis, E; Tsampanaki, N; Vourtzoumis, M; Chondrodima, E; Theodoridis, Y; Mongus, D; Capper, B; Wagner, M; Sotiropoulos, A; Coelho, FA; Brito, CV; Protopapas, P; Brasinika, D; Fergadiotou, I; Doulkeridis, C;

Publicação
2025 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE, DATE

Abstract
The concept of data spaces has emerged as a structured, scalable solution to streamline and harmonize data sharing across established ecosystems. Simultaneously, the rise of AI services enhances the extraction of predictive insights, operational efficiency, and decision-making. Despite the potential of combining these two advancements, integration remains challenging: data spaces technology is still developing, and AI services require further refinement in areas like ML workflow orchestration and energy-efficient ML algorithms. In this paper, we introduce an integrated architectural framework, developed under the Green.Dat.AI project, that unifies the strengths of data spaces and AI to enable efficient, collaborative data sharing across sectors. A practical application is illustrated through a smart farming use case, showcasing how AI services within a data space can advance sustainable agricultural innovation. Integrating data spaces with AI services thus maximizes the value of decentralized data while enhancing efficiency through a powerful combination of data and AI capabilities.

  • 12
  • 262