Program committee

Name	Affiliation
Adam Chlipala chair	MIT
Adrian Sampson chair	Cornell University
Caroline Trippel	Stanford University
Mengjia Yan chair	MIT
Sharad Malik	Princeton University