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.

In a drive to maximize resource utilization, today's datacenters are moving to colocation of latency-sensitive and batch workloads on the same server. State-of-the-art deployments, such as those at Google, colocate such diverse workloads even on a single S ...

Ensemble modelling was used to assess the robustness of projected impacts of pumped-storage (PS) operation and climate change on reservoir ice cover. To this end, three one-dimensional and a two-dimensional laterally averaged hydrodynamic model were set up ...

Climate warming affects plant physiology through genetic adaptation and phenotypic plasticity, but little is known about how these mechanisms influence ecosystem processes. We used three elevation gradients and a reciprocal transplant experiment to show th ...

In many countries water quality is a major concern for drinking water management authorities. Freshwater is a limited resource and the demand for good-quality water from natural aquatic systems is therefore high. Additional stress arises from anthropogenic ...

Little is known about the life-history trade-offs and limitations, and the physiological mechanisms that are associated with phenotypic adaptation to future ocean conditions. To address this knowledge gap, we investigated the within-and trans-generation li ...

Spectre, Meltdown, and related attacks have demonstrated that kernels, hypervisors, trusted execution environments, and browsers are prone to information disclosure through micro-architectural weaknesses. However, it remains unclear as to what extent other ...

In mountain ecosystems with marked seasonality, climate change can affect various processes in soils, potentially modifying long-term key soil services via change in soil organic carbon (C) storage. Based on a four-year soil transplantation experiment in S ...

Geo-replicated data platforms are the backbone of several large-scale online services. Transactional Causal Consistency (TCC) is an attractive consistency level for building such platforms. TCC avoids many anomalies of eventual consistency, eschews the syn ...

FPGAs (Field Programmable Gate Array) are an attractive technology for high-speed data processing in space missions due to their unbeatable flexibility and best performance-to-power ratio in comparison to software. However FPGAs suffer from 3 major drawbac ...

While event-driven programming is a widespread model for asynchronous computing, its inherent control flow fragmentation makes event-driven programs notoriously difficult to understand and maintain. Coroutines are a general control flow construct that can ...

The Neurorobotics Platform of the Human Brain Project hosts many different large-scale models that can easily be connected with each other. Here, we linked a deep neural network for saliency computation to a spiking cortical model for visual segmentation ( ...

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

Chat with Graph Search

Stretch: Balancing QoS and Throughput for Colocated Server Workloads on SMT Cores

Ensemble modelling of ice cover for a reservoir affected by pumped-storage operation and climate change

Plastic and genetic responses of a common sedge to warming have contrasting effects on carbon cycle processes

Global and local anthropogenic effects on hydrodynamics of lakes : applications to Lake Biel drinking water management

Life-history trade-offs and limitations associated with phenotypic adaptation under future ocean warming and elevated salinity

SMoTherSpectre: Exploiting Speculative Execution through Port Contention

Seasonality alters drivers of soil enzyme activity in subalpine grassland soil undergoing climate change

PaRiS: Causally Consistent Transactions with Non-blocking Reads and Partial Replication

A Dynamically Reconfigurable Platform for High-Performance and Low-Power On-Board Processing

Theory and Practice of Coroutines with Snapshots

Using the Neurorobotics platform to explain global processing in visual crowding