Christopher Lidbury, Andrei Lascu, Nathan Chong, Alastair F. Donaldson
Browse the full PLDI paper archive.