Program committee



Name Affiliation
Alastair Donaldson Imperial College London / Google
Alexandra Silva University College London
Alexey Gotsman IMDEA Software Institute
Andrej Bauer Ljubljana
Andrew W. Appel Princeton
Andrzej Murawski University of Oxford
Arjun Guha University if Massachusetts Amherst
Armando Solar-Lezama MIT
Arthur Azevedo de Amorim CMU
Arthur Charguéraud Inria
Azalea Raad Imperial College London
Beta Ziliani FAMAF, UNC and CONICET
Bor-Yuh Evan Chang University of Colorado Boulder / Amazon
Cédric Fournet Microsoft Research
Cezara Dragoi Inria
Christine Tasson Paris
Chung-Kil Hur Seoul
Colin Gordon Drexel University
Dominique Devriese Vrije Universiteit Brussel
Eran Yahav Technion
Eric Koskinen Stevens Institute of Technology
Filippo Bonchi University of Pisa
Francesco Ranzato University of Padova
Hiroshi Unno University of Tsukuba
Jeffrey S. Foster Tufts University
Jeremy G. Siek Indiana University
Jesper Cockx Chalmers
Lars Birkedal chair Aarhus University
Limin Jia CMU
Magnus O. Myreen Chalmers
Margus Veanes MSR Redmond
Matteo Cimini Lowell
Mirco Tribastone IMT School for Advanced Studies Lucca
Mohsen Lesani Univsersity of California, Riverside
Noam Rinetzky Tel Aviv
Ohad Kammar University of Edinburgh
Osbert Bastani Upenn
Peter Thiemann Freiburgh
Pierre-Yves Strub École Polytechnique
Radha Jagadeesan College of CDM, DePaul
Roopsha Samanta Purdue University
Sam Lindley The University of Edinburgh / Imperial College London
Sandrine Blazy Univ Rennes, IRISA
Shuvendu Lahiri MSR Redmond
Steve Zdancewic University of Pennsylvania
Sukyoung Ryu KAIST
Susmit Sarkar St Andrews
Sylvie Putot Ecole Polytechnique
Thomas Wies NYU
Tiark Rompf Purdue
Ugo Dal Lago Bologna
Vijay Ganesh University of Waterloo
Xavier Rival Paris