Abstract
Modern I/O applications that run on HPC infrastructures are increasingly becoming read and metadata intensive. However, having multiple applications submitting large amounts of metadata operations can easily saturate the shared parallel file system's metadata resources, leading to overall performance degradation and I/O unfairness. We present PADLL, an application and file system agnostic storage middleware that enables QoS control of data and metadata workflows in HPC storage systems. It adopts ideas from Software-Defined Storage, building data plane stages that mediate and rate limit POSIX requests submitted to the shared file system, and a control plane that holistically coordinates how all I/O workflows are handled. We demonstrate its performance and feasibility under multiple QoS policies using synthetic benchmarks, real-world applications, and traces collected from a production file system. Results show that PADLL can enforce complex storage QoS policies over concurrent metadata-aggressive jobs, ensuring fairness and prioritization.

Abstract
In this paper we present the first formally verified implementations of Kyber and, to the best of our knowledge, the first such implementations of any post-quantum cryptosystem. We give a (readable) formal specification of Kyber in the EasyCrypt proof assistant, which is syntactically very close to the pseudocode description of the scheme as given in the most recent version of the NIST submission. We present high-assurance open-source implementations of Kyber written in the Jasmin language, along with machine-checked proofs that they are functionally correct with respect to the EasyCrypt specification. We describe a number of improvements to the EasyCrypt and Jasmin frameworks that were needed for this implementation and verification effort, and we present detailed benchmarks of our implementations, showing that our code achieves performance close to existing hand-optimized implementations in C and assembly.

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.

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.

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.

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