| Zhenjiang Hu |
National Institute of Informatics |
| Zachary Tatlock |
University of Washington |
| Xinyu Feng |
University of Science and Technology of China |
| Xavier Rival |
INRIA, CNRS and ENS Paris |
| Xavier Leroy |
Inria |
| Wei-Ngan Chin |
National University of Singapore |
| Umut Acar |
Carnegie Mellon University and INRIA |
| Toby Murray |
NICTA and University of New South Wales |
| Swarat Chaudhuri |
Rice University |
| Supratik Chakraborty |
IIT Bombay |
| Sumit Gulwani |
Microsoft Research |
| Stephen Chong |
Harvard University |
| Stephanie Weirich |
University of Pennsylvania |
| Sriram Rajamani chair |
Microsoft |
| Shuvendu Lahiri |
Microsoft Research |
| Shaz Qadeer |
Microsoft Research |
| Shan Shan Huang |
LogicBlox |
| Satish Chandra |
Samsung Electronics |
| Sam Tobin-Hochstadt |
Indiana University |
| Rupak Majumdar |
Max Planck Institute for Software Systems |
| Robby Findler |
Northwestern University |
| Ravi Chugh |
UC San Diego |
| Rastislav Bodik |
UC Berkeley |
| Ralf Hinze |
University of Oxford |
| Raghavan Komondoor |
Indian Institute of Science |
| Pierre Geneves |
CNRS |
| Philip Wadler |
University of Edinburgh |
| Peter Thiemann |
University of Freiburg |
| Patrick Cousot |
CIMS, New York University |
| Patricia Johann |
Appalachian State University |
| Nishant Sinha |
IBM Research India |
| Nikhil Swamy |
Microsoft Research |
| Nick Benton |
Microsoft Research |
| Neelakantan Krishnaswami |
University of Birmingham |
| Nate Foster |
Cornell University |
| Naoki Kobayashi |
University of Tokyo |
| Mooly Sagiv |
Tel Aviv University |
| Michael Emmi |
IMDEA Software Institute |
| Michael Clarkson |
George Washington University |
| Michael Benedikt |
Oxford University |
| Mayur Naik |
Georgia Institute of Technology |
| Matthew Parkinson |
Microsoft Research |
| Matthew Might |
University of Utah |
| Matteo Maffei |
CISPA, Saarland University |
| Martin Hofmann |
Ludwig-Maximilians-Universitat |
| Manu Sridharan |
Samsung Research America |
| Madhusudan Parthasarathy |
University of Illinois, Urbana-Champaign |
| Lars Birkedal |
Aarhus University |
| Kathleen Fisher chair |
Tufts University |
| Karthikeyan Bhargavan |
Inria |
| Kapil Vaswani |
Microsoft Research India |
| Jules Villard |
Imperial College London |
| Joxan Jaffar |
Singapore |
| Josh Berdine |
Microsoft Research |
| Jingling Xue |
UNSW Australia |
| Jeff Foster |
University of Maryland, College Park |
| Jay McCarthy |
Vassar College |
| Jan Hoffmann |
Yale University |
| Jade Alglave |
University College London |
| Hongseok Yang |
University of Oxford |
| Helmut Seidl |
TU Munchen |
| Greta Yorsh |
Queen Mary University of London |
| Giuseppe Castagna |
CNRS - Université Paris Diderot |
| Ganesan Ramalingam |
Microsoft Research |
| Gabriele Keller |
University of New South Wales |
| Gabriel Dos Reis |
Microsoft |
| Fritz Henglein |
University of Copenhagen |
| Frank Pfenning |
Carnegie Mellon University |
| Francois Pottier |
Inria |
| Eran Yahav |
Technion |
| Emina Torlak |
U.C. Berkeley |
| Emery Berger |
University of Massachusetts Amherst |
| Dexter Kozen |
Cornell University |
| Derek Dreyer |
MPI-SWS |
| Delphine Demange |
IRISA - University of Rennes 1 |
| Deepak Garg |
MPI-SWS |
| Davide Ancona |
DIBRIS - Università di Genova |
| David Walker chair |
Princeton University |
| David Pichardie |
ENS Rennes/IRISA |
| David Aspinall |
University of Edinburgh |
| Dan Licata |
Wesleyan University |
| Dan Grossman |
University of Washington |
| Dan Ghica |
University of Birmingham |
| Chung-Kil Hur |
Seoul National University |
| Cedric Fournet |
Microsoft Research |
| Brigitte Pientka |
McGill University |
| Bor-Yuh Evan Chang |
University of Colorado Boulder |
| Ben Livshits |
Microsoft Research |
| Avik Chaudhuri |
Facebook |
| Atsushi Igarashi |
Kyoto University |
| Arthur Chargueraud |
Inria |
| Arjun Guha |
University of Massachusetts, Amherst |
| Aquinas Hobor |
National University of Singapore |
| Antoine Miné |
CNRS & Ecole normale superieure |
| Andrzej Murawski |
University of Warwick |
| Andrew D. Gordon |
Microsoft Research and University of Edinburgh |
| Andreas Abel |
Gothenburg University |
| Amal Ahmed |
Northeastern University |
| Alastair Donaldson |
Imperial College London |