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