He has most recently taken charge with enhancing Coverity's concurrency checkers to find race conditions, deadlocks, and other nondeterministic behavior.