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