Efficient Parallel Determinacy Race Detection for Two-Dimensional Dags

Abstract

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

Similar works

Full text

thumbnail-image

ZENODO

redirect
Last time updated on 16/06/2018

This paper was published in ZENODO.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.