Program committee



Name Affiliation
Anders Møller Aarhus University
Steve Blackburn chair Australian National University
Tayssir Touili CNRS
Michelle Mills Strout Colorado State University
Nate Foster Cornell University
Martin Vechev ETH Zurich
Thomas Gross ETH Zürich Switzerland
Guilherme Ottoni Facebook
Simon Marlow Facebook
Eric Bodden Fraunhofer SIT
Matthew Sottile Galois, Inc.
Lieven Eeckhout Ghent University
Jennifer Sartor Ghent University and Vrije Universiteit Brussel
Amer Diwan Google
David F. Bacon Google
Eddie Aftandilian Google
Hans Boehm Google
Jungwoo Ha Google
Vijay Menon Google
Leo Meyerovich Graphistry
Pramod Joisha Hewlett-Packard
Peng Wu Huawei America Lab
David Grove IBM Research
Mandana Vaziri IBM Research
Martin Hirzel IBM Research
Michael Hind IBM Research
Perry Cheng IBM Research
Peter Sweeney IBM Research
Rei Odaira IBM Research
Stephen Fink IBM Research
Vijay Saraswat IBM Research
Hiroshi Inoue IBM Research - Tokyo
Toshio Nakatani IBM Research - Tokyo
Rupesh Nasre IIT Madras
Paul Kelly Imperial College London
Sophia Drossopoulou Imperial College London
Susan Eisenbach Imperial College London
Jeremy Siek Indiana University
Sam Tobin-Hochstadt Indiana University
Govind Govindarajan Indian Institute of Science, Bangalore, India
Albert Cohen INRIA
Xiaobing Feng Institute of Computing Technology Chinese Academy of Sciences
Sara Baghsorkhi Intel Labs
Tatiana Shpeisman Intel Labs
Laurence Tratt King's College London
Carl Friedrich Bolz King’s College London
Michael Spear Lehigh University
Derek Dreyer Max Planck Institute for Software Systems
Bjarne Steensgaard Microsoft
Daniel Frampton Microsoft
Kathryn McKinley Microsoft
Andrew Kennedy Microsoft Research
Benjamin Livshits Microsoft Research
Patrice Godefroid Microsoft Research
Shaz Qadeer Microsoft Research
Sumit Gulwani Microsoft Research
Todd Mytkowicz Microsoft Research
Jade Alglave Microsoft Research and University College London
Armando Solar-Lezama MIT
Saman Amarasinghe MIT
Xiaokang Qiu MIT
Robert O'Callahan Mozilla Corporation
Michael Norrish NICTA
Xipeng Shen North Carolina State University
Robby Findler Northwestern University
Atanas Rountev Ohio State University
Michael Bond Ohio State University
Christian Wimmer Oracle Labs
Dave Dice Oracle Labs
Guy Steele Oracle Labs
Thomas Würthinger Oracle Labs
Tim Harris Oracle Labs
Yifeng Chen Peking University
Mahmut Kandemir Pennsylvania State University
Mathias Payer Purdue University
Milind Kulkarni Purdue University
Suresh Jagannathan Purdue University
T. N. Vijaykumar Purdue University
Tiark Rompf Purdue University
Tony Hosking Purdue University
Behnam Robatmili Qualcomm Research
Calin Cascaval Qualcomm Research
Greta Yorsh Queen Mary University of London
Ana Milanova Rensselaer Polytechnic Institute
Michael Burke Rice University
Swarat Chaudhuri Rice University
Eddy Zhang Rutgers University
Santosh Nagarakatte Rutgers University
Frank Tip Samsung Research America
Manu Sridharan Samsung Research America
Haibo Chen Shanghai Jiao Tong University
Alexandra (Sasha) Fedorova Simon Fraser University
Doug Lea State University of New York (SUNY) Oswego
Eran Yahav Technion
Erez Petrank Technion
Jaakko Järvi Texas A&M University
Lawrence Rauchwerger Texas A&M University
Martin Burtscher Texas State University
Keshav Pingali The University of Texas at Austin, Texas, USA
Wenguang Chen Tsinghua University
Kathleen Fisher Tufts University
Samuel Guyer Tufts University
Rajiv Gupta UC Riverside
Byron Cook University College London
Saumya Debray University of Arizona
Yannis Smaragdakis University of Athens
Koushik Sen University of California, Berkeley
Rastislav Bodík University of California, Berkeley
Zhendong Su University of California, Davis
Brian Demsky University of California, Irvine
Harry Xu University of California, Irvine
Jens Palsberg University of California, Los Angeles
Iulian Neamtiu University of California, Riverside
Ranjit Jhala University of California, San Diego
Sorin Lerner University of California, San Diego
Cormac Flanagan University of California, Santa Cruz
Ben Hardekopf University of California, Santa Hardekopf
Peter Sewell University of Cambridge
Shan Lu University of Chicago
Bor-Yuh Evan Chang University of Colorado, Boulder
John Cavazos University of Delaware
Stefan Hanenberg University of Duisburg-Essen
Jeremy Singer University of Glasgow
David Padua University of Illinois at Urbana-Champaign
P. Madhusudan University of Illinois at Urbana-Champaign
Richard Jones University of Kent
Matthias Hauswirth University of Lugano
Nate Nystrom University of Lugano
Matthew Hammer University of Maryland, College Park
Emery D. Berger University of Massachusetts, Amherst
Eliot Moss University of Massachusetts Amherst
Lingjia Tang University of Michigan
Satish Narayanasamy University of Michigan
Michela Becchi University of Missouri
Jingling Xue University of New South Wales
Joseph Devietti University of Pennsylvania
Chen Ding University of Rochester
Susmit Sarkar University of St Andrews
Isil Dillig University of Texas Austin
Thomas Dillig University of Texas Austin
William Cook University of Texas Austin
Ganesh Gopalakrishnan University of Utah
John Regehr University of Utah
Mary Hall University of Utah
Matthew Flatt University of Utah
Mila Dalla Preda University of Verona Italy
Dan Grossman University of Washington
Ondřej Lhoták University of Waterloo
Somesh Jha University of Wisconsin, Madison
Ben Liblit University of Wisconsin–Madison
Tobias Wrigstad Uppsala University
Alex Potanin Victoria University of Wellington
James Noble Victoria University of Wellington
Stephen Freund Williams College
Ruzica Piskac Yale University