Anne Dinning

Detecting nondeterminism in shared memory parallel programs

Fully Parallel Algorithm for Implementing Path Expressions