[Tachyon-list] PLDI Registration