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