A Semantics-Driven Approach to Improving DataRaceBench's OpenMP Standard Coverage.

Chunhua Liao Pei-Hung Lin Markus Schordan Ian Karlin

Published in: IWOMP (2018)

Keyphrases

data driven
semantic information
formal semantics
database
artificial intelligence
database systems
graphical models
logic programming
high performance computing