Aldous, Peter
1  results:
Search for persons X
?
1

Optimized Sound and Complete Data Race Detection in Structu..:

, In: Languages and Compilers for Parallel Computing; Lecture Notes in Computer Science,
Storey, Kyle ; Powell, Jacob ; Ogles, Ben... - p. 94-111 , 2019
 
1-1