Program committee



Name Affiliation
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