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

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Chat with Graph Search

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

Oligolithic Cross-task Optimizations across Isolated Workloads

Degrees of Separation: A Flexible Type System for Safe Concurrency

Global Mapping of Potential and Climatic Plant‐Available Soil Water

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

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

Deciding Robustness for Lower SQL Isolation Levels

Concurrency control for database theorists

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

Evolution of stream and lake water temperature under climate change

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

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

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

Trends in the Extremes of Environments Associated with Severe US Thunderstorms

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

Thread-Placement Learning

Task scheduling for highly concurrent analytical and transaction workloads

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

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

Improving Main-memory Database System Performance through Cooperative Multitasking