Program committee



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