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