Published February 24, 2018
| Version v1
Conference paper
Open
Efficient Parallel Determinacy Race Detection for Two-Dimensional Dags
Authors/Creators
- 1. Washington University in St. Louis
Description
This repository contains the PRacer race detection tools. PRacer is a provably-good race detector for Cilk-P programs. PRacer uses a modified version of the Cilk-P runtime system, so that code is also included.