Brandon Lucia, Luis Ceze, Karin Strauss: ColorSafe: architectural support for debugging and dynamically avoiding multi-variable atomicity violations. ISCA 2010: 222-233