@TechReport{hills-chen-rosu-2008-tr, author = {Mark Hills and Feng Chen and Grigore Ro\c{s}u}, title = "{Pluggable Policies for C}", institution = {University of Illinois at Urbana-Champaign}, Number = {UIUCDCS-R-2008-2931}, Year = {2008} }