Ilya Sergey |
Yale-NUS College and SoC, NUS |
Aws Albarghouthi |
University of Wisconsin–Madison |
Justin Hsu |
University of Wisconsin--Madison |
Michael D. Adams |
University of Utah |
Robert Atkey |
University of Strathclyde |
Stephanie Weirich chair |
University of Pennsylvania |
Mayur Naik |
University of Pennsylvania |
Scott Owens |
University of Kent |
Radu Grigore |
University of Kent |
Dominic Orchard |
University of Kent |
Madhusudan Parthasarathy |
University of Illinois at Urbana–Champaign |
Nils Anders Danielsson |
University of Gothenburg |
Jean-Philippe Bernardy |
University of Gothenburg |
Andreas Podelski |
University of Freiburg |
Matthew Hammer |
University of Colorado Boulder |
Noam Zeilberger |
University of Birmingham |
Peter O'Hearn |
University College, London and Facebook |
Aaron Stump |
The University of Iowa |
Ori Lahav |
Tel Aviv University |
David Naumann |
Stevens Institute of Technology |
Michael Emmi |
SRI International |
Swarat Chaudhuri |
Rice University |
Suresh Jagannathan |
Purdue University |
Benjamin Delaware |
Purdue University |
June Andronick |
Proofcraft, UNSW and seL4 Foundation |
Andrew Tolmach |
Portland State University |
Michael Greenberg |
Pomona College |
Martin Erwig |
Oregon State University |
Gavin Bierman |
Oracle Labs |
Zhenjiang Hu |
National Institute of Informatics |
Ichiro Hasuo |
National Institute of Informatics |
Hongjin Liang |
Nanjing University |
Jacques Garrigue |
Nagoya University |
Nikhil Swamy |
MSR Redmond |
Matthew Parkinson |
MSR Cambridge |
Alan Jeffrey |
Mozilla Research |
Gabriel Scherer |
INRIA Saclay |
Nicolas Tabareau |
INRIA |
Hugo Herbelin |
INRIA |
Danel Ahman |
INRIA |
Sam Tobin-Hochstadt |
Indiana University |
Ryan R. Newton |
Indiana University |
Niki Vazou |
IMDEA |
Andreas Abel |
Gothenburg University |
Claudio Russo |
Dfinity |
Robbert Krebbers |
Delft University of Technology |
Dimitrios Vytiniotis |
DeepMind |
Peter Selinger |
Dalhousie University |
Nate Foster |
Cornell University |
Jan Hoffmann |
Carnegie Mellon University |
Heather Miller |
Carnegie Mellon University |
Patricia Johann |
Appalachian State University |