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