RELAY: static race detection on millions of lines of code. - Jan Wen Voung; Ranjit Jhala; Sorin Lerner (ESEC/SIGSOFT FSE, 2007)

Dataflow analysis for concurrent programs using datarace detection. - Ravi Chugh; Jan Wen Voung; Ranjit Jhala; Sorin Lerner (PLDI, 2008)

Dataflow analysis for concurrent programs using data-race detection. - Jan Wen Voung (2010)