Emilio Vivancos, Christopher A. Healy, Frank Mueller, David B. Whalley
Browse the full PLDI paper archive.