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