| Adam Chlipala |
MIT |
| Akash Lal |
Microsoft Research |
| Alexandra Silva |
UCL |
| Andrew Myers |
Cornell |
| Andrew D. Gordon chair |
Microsoft Research and University of Edinburgh |
| Andrey Rybalchenko |
Microsoft Research |
| Andrzej S. Murawski |
University of Warwick |
| Andy Gordon chair |
POPL 2017 |
| Aseem Rastogi |
Microsoft Research |
| Avik Chaudhuri |
Facebook |
| Azadeh Farzan |
University of Toronto |
| Bart Jacobs |
KU Leuven |
| Ben L. Titzer |
Google |
| Benjamin Delaware |
MIT |
| Benjamin Gregoire |
Inria |
| Catalin Hritcu |
INRIA Paris |
| Chantal Keller |
Lri |
| Chung-Kil Hur |
Seoul National University |
| Cormac Flanagan |
UC Santa Cruz |
| Damiano Mazza |
CNRS - Université Paris 13 |
| Damien Pous |
CNRS Lyon |
| Damien Zufferey |
MIT |
| Dan Grossman |
University of Washington |
| Daniel Roy |
Toronto |
| David Sands |
Chalmers |
| David Van Horn |
University of Maryland |
| Delphine Demange |
University of Rennes 1 / IRISA |
| Derek Dreyer |
MPI-SWS |
| Dexter Kozen |
Cornell University |
| Eijiro Sumii |
Tohoku University |
| Elena Zucca |
Genoa |
| Eran Yahav |
Technion |
| Francesco Logozzo |
Facebook |
| Francesco Zappa Nardelli |
Inria |
| Frank Pfenning |
Carnegie Mellon University |
| G Ramalingam |
Microsoft Research |
| Giuseppe Castagna chair |
CNRS |
| Hongseok Yang |
University of Oxford |
| Ilya Sergey |
Yale-NUS College and SoC, NUS |
| Isabella Mastroeni |
University of Verona |
| Isil Dillig |
U.Texas |
| Johannes Borgström |
Uppsala |
| Josh Berdine |
Facebook |
| June Andronick |
Data61 CSIRO (formerly NICTA) and UNSW |
| Karthikeyan Bhargavan |
Inria |
| Kathleen Fisher |
Tufts |
| Krishnendu Chatterjee |
IST Austria |
| Lars Birkedal |
Aarhus University |
| Limin Jia |
CMU |
| Loris D'Antoni |
University of Wisconsin Madison |
| Luc Maranget |
Inria |
| Marco Gaboardi |
University at Buffalo, SUNY |
| Martin Abadi |
Google |
| Martin Hofmann |
LMU Munich |
| Martin T. Vechev |
ETH Zurich |
| Michele Pagani |
University Paris Diderot |
| Mihai Budiu |
VMware Research |
| Mila Dalla Preda |
University of Verona |
| Mira Mezini |
TU Darmstadt |
| Mirco Tribastone |
IMT-Lucca |
| Mohsen Lesani |
MIT |
| Mooly Sagiv |
Tel Aviv University |
| Nada Amin |
EPFL |
| Naoki Kobayashi |
University of Tokyo |
| Nicolas Tabareau |
Inria |
| Nikolaj Bjorner |
Microsoft Research |
| Noam Zeilberger |
Inria |
| Nobuko Yoshida |
Imperial |
| Nuno P. Lopes |
Microsoft Research |
| P. Madhusudan |
University of Illinois at Urbana-Champaign |
| Peter Müller |
ETH Zurich |
| Peter Thiemann |
University of Freiburg |
| R. Kent Dybvig |
Indiana University |
| Ranjit Jhala |
University of California, San Diego |
| Rishabh Singh |
Microsoft Research |
| Robbert Krebbers |
Aarhus University |
| Roman Manevich |
Ben-Gurion University of the Negev |
| Ronald Garcia |
University of British Columbia |
| Sam Lindley |
The University of Edinburgh |
| Sam Staton |
University of Oxford |
| Sam Tobin-Hochstadt |
Indiana University, USA |
| Santosh Nagarakatte |
Rutgers University |
| Scott Owens |
University of Kent |
| Sharon Shoham |
Tel Aviv University |
| Steve Zdancewic |
University of Pennsylvania |
| Tachio Terauchi |
Waseda University |
| Viktor Vafeiadis |
MPI-SWS |
| Vivek Nigam |
Federal University of Paraiba (UFPB) |
| Xavier Leroy |
Inria |
| Zachary Kincaid |
Princeton |