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 …

Emerging IoT applications with real-time latency constraints require new data processing
systems operating at the Edge. Serverless computing offers a new compelling paradigm …

Taskflow aims to streamline the building of parallel and heterogeneous applications using a
lightweight task graph-based approach. Taskflow introduces an expressive task graph …

Writing low-level concurrent software has traditionally required intimate knowledge of the
entire toolchain and often has involved coding in assembly. New language standards have …

Several functional correctness criteria have been proposed for relaxed-memory consistency
libraries, but most lack support for modular client reasoning. Mével and Jourdan recently …

For ARMv8 and RISC-V, there are concurrency models in two styles, extensionally
equivalent: axiomatic models, expressing the concurrency semantics in terms of global …

RTL simulation is critical for validating hardware designs. However, RTL simulation can be
time-consuming for large designs. Existing RTL simulators have leveraged task graph …

Work stealing has been proven to be an efficient technique for scheduling parallel
computations, and has been gaining popularity as the multiprocessor/multicore-processor …

Work-stealing is a key component of many parallel task graph libraries such as Intel
Threading Building Blocks (TBB) FlowGraph, Microsoft Task Parallel Library (TPL) Batch …

Modern computer systems include numerous compute elements, from CPUs to GPUs to
accelerators. Harnessing their full potential requires well-defined, properly-implemented …