Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

Publications by CSE

2023

Formally verifying Kyber Part I: Implementation Correctness

Authors
Almeida, JB; Barbosa, M; Barthe, G; Grégoire, B; Laporte, V; Léchenet, JC; Oliveira, T; Pacheco, H; Quaresma, M; Schwabe, P; Séré, A; Strub, PY;

Publication
IACR Cryptol. ePrint Arch.

Abstract

2023

Using Digital Tools to Study the Health of Adults Born Preterm at a Large Scale: e-Cohort Pilot Study

Authors
Lorthe, E; Santos, C; Ornelas, JP; Doetsch, JN; Marques, SCS; Teixeira, R; Santos, AC; Rodrigues, C; Goncalves, G; Sousa, PF; Lopes, JC; Rocha, A; Barros, H;

Publication
JOURNAL OF MEDICAL INTERNET RESEARCH

Abstract
Background: Preterm birth is a global health concern. Its adverse consequences may persist throughout the life course, exerting a potentially heavy burden on families, health systems, and societies. In high-income countries, the first children who benefited from improved care are now adults entering middle age. However, there is a clear gap in the knowledge regarding the long-term outcomes of individuals born preterm. Objective: This study aimed to assess the feasibility of recruiting and following up an e-cohort of adults born preterm worldwide and provide estimations of participation, characteristics of participants, the acceptability of questions, and the quality of data collected. Methods: We implemented a prospective, open, observational, and international e-cohort pilot study (Health of Adult People Born Preterm-an e-Cohort Pilot Study [HAPP-e]). Inclusion criteria were being an adult (aged =18 years), born preterm (<37 weeks of gestation), having internet access and an email address, and understanding at least 1 of the available languages. A large, multifaceted, and multilingual communication strategy was established. Between December 2019 and June 2021, inclusion and repeated data collection were performed using a secured web platform. We provided descriptive statistics regarding participation in the e-cohort, namely, the number of persons who registered on the platform, signed the consent form, initiated and completed the baseline questionnaire, and initiated and completed the follow-up questionnaire. We also described the main characteristics of the HAPP-e participants and provided an assessment of the quality of the data and the acceptability of sensitive questions. Results: As of December 31, 2020, a total of 1004 persons had registered on the platform, leading to 527 accounts with a confirmed email and 333 signed consent forms. A total of 333 participants initiated the baseline questionnaire. All participants were invited to follow-up, and 35.7% (119/333) consented to participate, of whom 97.5% (116/119) initiated the follow-up questionnaire. Completion rates were very high both at baseline (296/333, 88.9%) and at follow-up (112/116, 96.6%). This sample of adults born preterm in 34 countries covered a wide range of sociodemographic and health characteristics. The gestational age at birth ranged from 23+6 to 36+6 weeks (median 32, IQR 29-35 weeks). Only 2.1% (7/333) of the participants had previously participated in a cohort of individuals born preterm. Women (252/333, 75.7%) and highly educated participants (235/327, 71.9%) were also overrepresented. Good quality data were collected thanks to validation controls implemented on the web platform. The acceptability of potentially sensitive questions was excellent, as very few participants chose the I prefer not to say option when available. Conclusions: Although we identified room for improvement in specific procedures, this pilot study confirmed the great potential for recruiting a large and diverse sample of adults born preterm worldwide, thereby advancing research on adults born preterm.

2023

Jay: A software framework for prototyping and evaluating offloading applications in hybrid edge clouds

Authors
Silva, J; Marques, ERB; Lopes, LMB; Silva, FMA;

Publication
SOFTWARE-PRACTICE & EXPERIENCE

Abstract
We present Jay, a software framework for offloading applications in hybrid edge clouds. Jay provides an API, services, and tools that enable mobile application developers to implement, instrument, and evaluate offloading applications using configurable cloud topologies, offloading strategies, and job types. We start by presenting Jay's job model and the concrete architecture of the framework. We then present the programming API with several examples of customization. Then, we turn to the description of the internal implementation of Jay instances and their components. Finally, we describe the Jay Workbench, a tool that allows the setup, execution, and reproduction of experiments with networks of hosts with different resource capabilities organized with specific topologies. The complete source code for the framework and workbench is provided in a GitHub repository.

2023

Geometric and Physical Building Representation and Occupant's Movement Models for Fire Building Evacuation Simulation

Authors
Neto, J; Morais, AJ; Gonçalves, R; Coelho, AL;

Publication
PROCEEDINGS OF SEVENTH INTERNATIONAL CONGRESS ON INFORMATION AND COMMUNICATION TECHNOLOGY, ICICT 2022, VOL. 2

Abstract
Building evacuation simulation allows for a better assessment of fire safety conditions in existing buildings, which is why it is of interest to develop an easyto-use-Web platform that helps fire safety technicians in this assessment. To achieve this goal, the geometric and physical representation of the building and installed fire safety devices are necessary, as well as the modelling of occupant movement. Although these are widely studied areas, in this paper, we present two new model approaches, either for the physical and geometric representation of a building or for the occupant's movement simulation, during a building evacuation process. To test both models, we develop a multi-agentWeb simulator platform. The tests carried out show the suitability of the model approaches herein presented.

2023

NewsLines: Narrative Visualization of News Stories

Authors
Costa, M; Nunes, S;

Publication
Proceedings of Text2Story - Sixth Workshop on Narrative Extraction From Texts held in conjunction with the 45th European Conference on Information Retrieval (ECIR 2023), Dublin, Ireland, April 2, 2023.

Abstract
Visual representations have the potential to improve information understanding. We explore this idea in the development of NewsLine, an open-source web-based prototype that focuses on narrative visualizations of news content. Having structured data as input, the prototype produces a storyline which showcases the narrative's events and participants, allowing the user to interact with the visualization in a number of ways. We built an information hub around the storyline to allow for multiple levels of exploration, specifically the main visualization, the event information module, and the sidebar. The visualization depicts the sequence of events that make up a news story, as well as the interactions between the involved parties in each event. The event information module presents additional information on a particular event. The sidebar is the “control center” of the visualization, unlocking a number of interactions and configurations. The prototype was evaluated with a user study with journalists and also with an online survey which gathered feedback from 178 potential end users. From these, 106 participants (60.6%) provided a rating of four or above (one to five scale) when asked to quantify their interest in using the application. Moreover, participants were asked to rank the importance of the visualization elements used. The results highlight that two elements stand out as the most important, the events and the entities. Overall, the participants generally found the application to be useful, but in need of some work in order for it to be made available to a broader public. © 2023 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

2023

Challenges and Opportunities in C/C++ Source-To-Source Compilation (Invited Paper)

Authors
Bispo, J; Paulino, N; Sousa, LM;

Publication
14th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 12th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2023, January 17, 2023, Toulouse, France.

Abstract
The C/C++ compilation stack (Intermediate Representations (IRs), compilation passes and backends) is encumbered by a steep learning curve, which we believe can be lowered by complementing it with approaches such as source-to-source compilation. Source-to-source compilation is a technology that is widely used and quite mature in certain programming environments, such as JavaScript, but that faces a low adoption rate in others. In the particular case of C and C++ some of the identified factors include the high complexity of the languages, increased difficulty in building and maintaining C/C++ parsers, or limitations on using source code as an intermediate representation. Additionally, new technologies such as Multi-Level Intermediate Representation (MLIR) have appeared as potential competitors to source-to-source compilers at this level. In this paper, we present what we have identified as current challenges of source-to-source compilation of C and C++, as well as what we consider to be opportunities and possible directions forward. We also present several examples, implemented on top of the Clava source-to-source compiler, that use some of these ideas and techniques to raise the abstraction level of compiler research on complex compiled languages such as C or C++. The examples include automatic parallelization of for loops, high-level synthesis optimisation, hardware/software partitioning with run-time decisions, and automatic insertion of inline assembly for fast prototyping of custom instructions. © João Bispo, Nuno Paulino, and Luís Miguel Sousa.

  • 8
  • 218