Java Mayur Naik Alex Aiken John Whaley Computer Science Department Stanford University / /
IndustryTerm
race detection tool / static tools / call site / race detection algorithm / lockset algorithm / lone call site / static race detection tool / harness synthesis algorithm / race detection tools / insensitive type-based systems / weak memory systems / post-processing phase / thread-spawning call site / type systems / web crawler / state-ofthe-art race detection tools / allocation site / /
OperatingSystem
Linux / /
Organization
National Science Foundation / Stanford University / /
Person
Brian Hackett / Apache Derby / Manu Sridharan / Paul Twohey / Jong-Deok Choi / Christoph von Praun / Alex Aiken John Whaley / John Kodumal / Ondrej Lhotak / Dawson Engler / Mayur Naik Alex Aiken John / /
Position
guard / Commons Pool JDBC driver / device driver / General / /