Symbolic data race detection for Habanero programs.

Egor Namakonov Eric Mercer Pavel Parízek Kyle Storey

Published in: ACM SIGSOFT Softw. Eng. Notes (2019)

Keyphrases

symbolic data
data sets
symbolic data analysis
interval data
database
dynamic programming
principal component analysis