Program committee



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