Conference paper Open Access

Efficient Parallel Determinacy Race Detection for Two-Dimensional Dags

Xu, Yifan; Lee, I-Ting Angelina; Agrawal, Kunal

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.

Files (1.5 GB)
Name Size
1.5 GB Download


Cite as