Open Cilk is a new open-source platform to support Cilk multithreaded programming,
especially for researchers and teachers. Open Cilk aims to provide a full-featured …

This paper presents OpenCilk, an open-source software infrastructure for task-parallel
programming that allows for substantial code reuse and easy exploration of design choices …

Motivated by the increasing shift to multicore computers, recent work has developed
language support for responsive parallel applications that mix compute-intensive tasks with …

The use of futures can generate arbitrary dependences in the computation, making it difficult
to detect races efficiently. Algorithms proposed by prior work to detect races on programs …

Dynamic race detection is a program analysis technique for detecting errors caused by
undesired interleavings of concurrent tasks. A primary challenge when designing efficient …

This paper addresses the problem of provably efficient and practically good on-the-fly
determinacy race detection in task parallel programs that use futures. Prior works on …

One potential problem when writing parallel programs with OpenMP is to introduce
determinacy races where for a given input, the program may unexpectedly produce different …

While there has been extensive research on race-detection algorithms for task-parallel
programs, most of this research has focused on optimizing a particular component, namely …

Existing data race detectors can witness race conditions for their occurrence but few can
also identify the fundamental reasons for their understanding. In this paper, we present a …

In task-parallel code, a determinancy race occurs when two logically parallel instructions
access the same memory location in a conflicting way. A determinacy race tends to be a bug …