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
pracer.zip
md5:b2aea4cd99143c82cf88298c55390550
1.5 GB Download

Share

Cite as