Program committee



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