Program committee



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