| Woosuk Lee |
Hanyang University |
| Wei-Ngan Chin |
National U. of Singapore |
| Tachio Terauchi |
Waseda University |
| Shin-ya Katsumata |
National Institute of Informatics |
| Sandrine Blazy |
Univ Rennes, IRISA |
| Sam Staton |
University of Oxford |
| Ronghui Gu |
Columbia University |
| Ronald Garcia |
University of British Columbia |
| Robert Atkey |
University of Strathclyde |
| Ranjit Jhala |
University of California, San Diego |
| Ralf Hinze |
Universitat Kaiserslautern |
| Radu Grigore |
University of Kent |
| Qirun Zhang |
Georgia Institute of Technology |
| Pierre Clairambault |
CNRS & ENS Lyon |
| Philipp Ruemmer |
Uppsala University |
| Pavel Panchekha |
University of Utah |
| P. Madhusudan |
University of Illinois at Urbana–Champaign |
| Ori Lahav |
Tel Aviv University |
| Niki Vazou |
IMDEA Software Institute |
| Nicolas Wu |
Imperial College London |
| Neel Krishnaswami |
University of Cambridge |
| Michael D. Adams |
Yale-NUS College |
| Michael Emmi |
Amazon Web Services |
| Michael Carbin |
MIT |
| Matthew Parkinson |
Microsoft Research |
| Matthew Hague |
Royal Holloway University of London |
| Leonidas Lampropoulos |
University of Maryland, College Park |
| Koko Muroya |
RIMS, Kyoto University |
| Kohei Suenaga |
Kyoto University |
| Kihong Heo |
KAIST |
| Ken McMillan |
University of Texas at Austin |
| Justin Hsu |
Cornell University |
| John Wickerson |
Imperial College London |
| Jan Hoffmann |
Carnegie Melon University |
| James Wilcox |
University of Washington |
| Hongseok Yang chair |
KAIST |
| Hongjin Liang |
Nanjing University |
| Garrett Morris |
University of Iowa |
| Francois Pottier |
Inria |
| Filip Sieczkowski |
University of Wrocław |
| Fan Long |
University of Toronto |
| Dimitrios Vytiniotis |
DeepMind |
| David Broman |
KTH Royal Institute of Technology |
| Chung-chieh Shan |
Indiana University |
| Christos Dimoulas |
Northwestern University |
| Caterina Urban |
INRIA & École Normale Supérieure |
| C.-H. Luke Ong |
University of Oxford |
| Benjamin Lucien Kaminski |
Saarland University, Saarland Informatics Campus; and University College London |
| Bas Spitters |
Aarhus University |
| Atsushi Igarashi |
Kyoto University |
| Anthony W. Lin |
Technische Universität Kaiserslautern and Max-Planck Institute for Software Systems |
| Andrew Kennedy |
Facebook |
| Amal Ahmed |
Northeastern University (USA) |
| Alvin Cheung |
University of California, Berkeley |
| Alex Kavvos |
University of Bristol |
| Aditya V. Thakur |
University of California |