collaborators

1 paper

cs.PL2023

Model Checking Race-freedom When "Sequential Consistency for Data-race-free Programs" is Guaranteed

Wenhao Wu, Jan Hückelheim, Paul D. Hovland +2

Many parallel programming models guarantee that if all sequentially consistent (SC) executions of a program are free of data races, then all executions of the program will appear t…