Program committee



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