Program committee



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