The C/C++ 11 memory model defines the semantics of concurrent memory accesses in
C/C++, and in particular supports racy" atomic" accesses at a range of different consistency …

Despite many years of research, it has proven very difficult to develop a memory model for
concurrent programming languages that adequately balances the conflicting desiderata of …

We present a stateless model checking algorithm for verifying concurrent programs running
under RC11, a repaired version of the C/C++ 11 memory model without dependency cycles …

Compilers should not miscompile. Our work addresses problems in developing peephole
optimizations that perform local rewriting to improve the efficiency of LLVM code. These …

The interest in quantum computing is growing, and with it, the importance of software
platforms to develop quantum programs. Ensuring the correctness of such platforms is …

A memory consistency model (MCM) is the part of a programming language or computer
architecture specification that defines which values can legally be read from shared memory …

We introduce a strengthening of the release-acquire fragment of the C11 memory model that
(i) forbids dubious behaviors that are not observed in any implementation;(ii) supports fence …

This paper explores how fork-join parallelism, as supported by concurrency platforms such
as Cilk and OpenMP, can be embedded into a compiler's intermediate representation (IR) …

The broad landscape of new technologies currently being explored makes the current times
very exciting for computer systems research. The community is actively researching an …

GenMC is an LLVM-based state-of-the-art stateless model checker for concurrent C/C++
programs. Its modular infrastructure allows it to support complex memory models, such as …