Program committee



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