activity
20172026
most citedUnderstanding Automatic Differentiation Pitfalls

2 citations · 4 across the 9 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

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…