Jan Wen Voung Ranjit Jhala Sorin Lerner RELAY: static race detection on millions of lines of code. 205-214 2007 conf/sigsoft/2007 ESEC/SIGSOFT FSE http://doi.acm.org/10.1145/1287624.1287654 db/conf/sigsoft/fse2007.html#VoungJL07