research
∙
04/15/2020
Efficient, Near Complete and Often Sound Hybrid Dynamic Data Race Prediction (extended version)
Dynamic data race prediction aims to identify races based on a single pr...
share
research
∙
09/07/2019
Predicting All Data Race Pairs for a Specific Schedule (extended version)
We consider the problem of data race prediction where the program's beha...
research
∙
05/26/2019
Data Race Prediction for Inaccurate Traces
Happens-before based data race prediction methods infer from a trace of ...
research
∙
09/05/2017