Nascent persistent memory (PM) technologies promise the performance of DRAM with the
durability of disk, but how best to integrate them into programming systems remains an open …

Commodity heterogeneous systems (eg, integrated CPUs and GPUs), now support a
unified, shared memory address space for all components. Because the latency of global …

Sequential consistency (SC) is arguably the most intuitive behavior for a shared-memory
multithreaded program. It is widely accepted that language-level SC could significantly …

We propose a new semantics for shared-memory parallel programs that gives strong
guarantees even in the presence of data races. Our local data race freedom property …

We argue in this paper that concurrency errors should be treated as exceptions, ie, have fail-
stop behavior and precise semantics. We propose an exception model based on conflict of …

The most intuitive memory consistency model for shared-memory multi-threaded
programming is sequential consistency (SC). However, current concurrent programming …

Data races complicate programming language semantics, and a data race is often a bug.
Existing techniques detect data races and define their semantics by detecting conflicts …

Dynamic program analysis can predict data races knowable from an observed execution,
but existing predictive analyses either miss races or cannot analyze full program executions …

Data-race freedom is a valuable safety property for multithreaded programs that helps with
catching bugs, simplifying memory consistency model semantics, and verifying and …

Memory consistency models, or memory models, allow both programmers and program
language implementers to reason about concurrent accesses to one or more memory …