www.genderi.org//www.genderi.org/effective-static-race-detection-for-java-mayur-naik-alex-aiken.html