Publications related to Automated Classification of Data Races Under Both Strong and Weak Memory Models

Parental status and markers of brain and cellular age: A 3D convolutional network and classification study

Recent research shows prominent effects of pregnancy and the parenthood transition on structural brain characteristics in humans. Here, we present a comprehensive study of how parental status and number of children born/fathered links to markers of brain a ...

Pergamon-Elsevier Science Ltd2024

Oligolithic Cross-task Optimizations across Isolated Workloads

Anastasia Ailamaki, Eleni Zapridou, Panagiotis Sioulas

Enterprises collect data in large volumes and leverage them to drive numerous concurrent decisions and business processes. Their teams deploy multiple applications that often operate concurrently on the same data and infrastructure but have widely differen ...

2024

Degrees of Separation: A Flexible Type System for Safe Concurrency

Martin Odersky, Yichen Xu, Aleksander Slawomir Boruch-Gruszecki

Data races have long been a notorious problem in concurrent programming. They are subtle to detect, and lead to non-deterministic behaviours. There has been a lot of interest in type systems that statically guarantee data race freedom. Significant progress ...

2024

Global Mapping of Potential and Climatic Plant‐Available Soil Water

Sara Bonetti, Dani Or

The estimation of plant-available soil water (PASW) is essential to quantify transpiration fluxes, the onset of heatwaves, irrigation water management, land-use decisions, vegetation ecology, and land surface memory in climate models. PASW is the amount of ...

2023

One-shot Garbage Collection for In-memory OLTP through Temporality-aware Version Storage

Anastasia Ailamaki, Syed Mohammad Aunn Raza, Periklis Chrysogelos, Angelos Christos Anadiotis

Most modern in-memory online transaction processing (OLTP) engines rely on multi-version concurrency control (MVCC) to provide data consistency guarantees in the presence of conflicting data accesses. MVCC improves concurrency by generating a new version o ...

ACM2023

Wind, Hail, and Climate Extremes: Modelling and Attribution Studies for Environmental Data

Ophélia Mireille Anna Miralles

This thesis presents work at the junction of statistics and climate science. We first provide methodology for use by climate scientists when performing fast event attribution using extreme value theory, and then describe two interdisciplinary projects in c ...

EPFL2023

Concurrency control for database theorists

Christoph Koch, Bas Ketsman

The aim of this paper is to serve as a lightweight introduction to concurrency control for database theorists through a uniform presentation of the work on robustness against Multiversion Read Committed and Snapshot Isolation. ...

ASSOC COMPUTING MACHINERY2022

What are the likely changes in mercury concentration in the Arctic atmosphere and ocean under future emissions scenarios?

Hélène Paule Angot

Arctic mercury (Hg) concentrations respond to changes in anthropogenic Hg emissions and environmental change. This manuscript, prepared for the 2021 Arctic Monitoring and Assessment Programme Mercury Assessment, explores the response of Arctic Ocean Hg con ...

2022

Evolution of stream and lake water temperature under climate change

Alfred Johny Wüest, Damien Bouffard, Wolf Hendrik Huwald, Adrien Michel, Bettina Schaefli, Carl Love Mikael Råman Vinnå, Martin Schmid

This report presents past observations and projects the future development of water temperature in Swiss lakes and rivers. Projections are made until the end of the 21st century using the CH2018 climate scenarios. Besides climate change effects on temperat ...

Federal Office for the Environment (FOEN)2021

An overview of the ORACLES (ObseRvations of Aerosols above CLouds and their intEractionS) project: aerosol-cloud-radiation interactions in the southeast Atlantic basin

Athanasios Nenes

Southern Africa produces almost a third of the Earth's biomass burning (BB) aerosol particles, yet the fate of these particles and their influence on regional and global climate is poorly understood. ORACLES (ObseRvations of Aerosols above CLouds and their ...

Copernicus GmbH2021