Program committee



Name Affiliation
Anton A. Trunov IMDEA Software Institute
Eddy Westbrook Galois
Enrico Tassi Inria
Gordon Stewart Ohio University
Ilya Sergey chair Yale-NUS College and SoC, NUS
Olivier Danvy Yale-NUS College
Robbert Krebbers chair TU Delft
Ronghui Gu Columbia University
Steve Zdancewic University of Pennsylvania
Talia Ringer University of Washington
William Mansky University of Illinois at Chicago