Concurrency bugs are extremely difficult to detect. Recently, several dynamic techniques
achieve sound analysis. M2 is even complete for two threads. It is designed to decide …

Writing reliable concurrent software remains a huge challenge for today's programmers.
Programmers rarely reason about their code by explicitly considering different possible inter …

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 …

We consider the problem of detecting data races in program traces that have been
compressed using straight line programs (SLP), which are special context-free grammars …

This paper proposes TaskProf2, a parallelism profiler and an adviser for task parallel
programs. As a parallelism profiler, TaskProf2 pinpoints regions with serialization …

This paper proposes TASKPROF, a profiler that identifies parallelism bottlenecks in task
parallel programs. It leverages the structure of a task parallel execution to perform fine …

Much of the past work on dynamic data-race and determinacy-race detection algorithms for
task parallelism has focused on structured parallelism with fork-join constructs and, more …

The upcoming profiling API standard OMPT can describe almost all profiling events required
to construct grain graphs, a recent visualization that simplifies OpenMP performance …

This paper proposes OMP-WhIP, a profiler that measures inherent parallelism in the
program for a given input and provides what-if analyses to estimate improvements in …

We have developed a practical static checker that is designed to interactively mark data
races and deadlocks in program source code at development time. As this use case requires …