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

Related publications (31)

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, Panagiotis Sioulas, Eleni Zapridou

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, Aleksander Slawomir Boruch-Gruszecki, Yichen Xu

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

Dani Or, Sara Bonetti

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, Periklis Chrysogelos, Angelos Christos Anadiotis, Syed Mohammad Aunn Raza

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

Deciding Robustness for Lower SQL Isolation Levels

Christoph Koch, Bas Ketsman

While serializability always guarantees application correctness, lower isolation levels can be chosen to improve transaction throughput at the risk of introducing certain anomalies. A set of transactions is robust against a given isolation level if every p ...

ASSOC COMPUTING MACHINERY2022

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, Bettina Schaefli, Wolf Hendrik Huwald, Adrien Michel, Carl Love Mikael Råman Vinnå

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

Climate change effects on groundwater recharge and temperatures in Swiss alluvial aquifers

Adrien Michel

Climate change will have both quantitative and qualitative effects on groundwater resources. These impacts differ for aquifers in solid and unconsolidated rock, in urban or rural locations, and in the principal processes of groundwater recharge. Having kno ...

2021

Architecture Exploration and Optimization of Heterogeneous Many-Core Compute and Memory Architectures with Architectural Extensions

Yasir Mahmood Qureshi

The expeditious proliferation of Internet connectivity and the growing adoption of digital products have transformed various spheres of our everyday lives. This increased digitization of society has led to the emergence of new applications, which are deplo ...

EPFL2021

Trends in the Extremes of Environments Associated with Severe US Thunderstorms

Anthony Christopher Davison, Erwan Fabrice Koch, Jonathan Koh Boon Han

Severe thunderstorms can have devastating impacts. Concurrently high values of convective available potential energy (CAPE) and storm relative helicity (SRH) are known to be conducive to severe weather, so high values of PROD - (CAPE)(1/2) x SRH have been ...

AMER METEOROLOGICAL SOC2021

Past and future impacts of climate change on swiss river temperature and discharge investigated with data analysis and numerical modelling

Adrien Michel

This thesis presents the first large-scale assessment of past, present and future impacts of climate change on river temperatures in Switzerland. Water temperature is a crucial factor influencing, among others, the health of aquatic ecosystems, the industr ...

EPFL2021

Thread-Placement Learning

Rachid Guerraoui, Vasileios Trigonakis, Karolos Antoniadis

In a non-uniform memory access machine, the placement of software threads to hardware cores can have a significant effect on the performance of concurrent applications. Detecting the best possible placement for each application is a necessity for thread sc ...

IEEE COMPUTER SOC2020

Task scheduling for highly concurrent analytical and transaction workloads

Anastasia Ailamaki, Iraklis Psaroudakis

Systems and method for a task scheduler with dynamic adjustment of concurrency levels and task granularity are disclosed for improved execution of highly concurrent analytical and transactional systems. The task scheduler can avoid both over commitment and ...

2020

Key rules of life and the fading cryosphere: impacts in alpine lakes and streams

Tom Ian Battin

Alpine regions are changing rapidly due to loss of snow and ice in response to ongoing climate change. While studies have documented ecological responses in alpine lakes and streams to these changes, our ability to predict such outcomes is limited. We prop ...

2020

Climate change now detectable from any single day of weather at global scale

For generations, climate scientists have educated the public that 'weather is not climate', and climate change has been framed as the change in the distribution of weather that slowly emerges from large variability over decades(1-7). However, weather when ...

2020

Improving Main-memory Database System Performance through Cooperative Multitasking

Georgios Psaropoulos

Database systems access memory either sequentially or randomly. Contrary to sequential access and despite the extensive efforts of computer architects, compiler writers, and system builders, random access to data larger than the processor cache has been s ...

EPFL2019