Stephen Freund and his colleague Cormac Flanagan (UC Santa Cruz) recently received the 2013 European Conference on Object-Oriented Programming Best Paper Award for their paper RedCard: Redundant Check Elimination for Dynamic Race Detectors. Freund presented that paper at ECOOP 2013 in Montpellier, France, in July.