Jan Wen Voung

RELAY: static race detection on millions of lines of code

Sorin Lerner, Ranjit Jhala, Jan Wen Voung, 2007, ESEC-FSE '07.

Dataflow analysis for concurrent programs using datarace detection

Jan Wen Voung, J. Voung, 2008, PLDI '08.