"Towards Incremental Static Race Detection in OpenMP Programs."

Bradley Swain, Jeff Huang (2018)

Details and statistics

DOI: 10.1109/CORRECTNESS.2018.00009

access: closed

type: Conference or Workshop Paper

metadata version: 2019-02-20