Name Affiliation
Aarti Gupta Princeton University
Adam Chlipala MIT
Ahmed Bouajjani IRIF
Alastair Donaldson Imperial College, London
Aleksandar Chakarov University of Colorado Boulder
Alexandra Silva University College London
Alexey Gotsman IMDEA
Alvin Cheung University of Washington
Anders Møller Aarhus University
Andreas Podelski University of Freiburg
Andreas Zeller Saarland University
Andrey Rybalchenko Microsoft Research
Armando Solar-Lezama MIT
Aws Albarghouthi University of Wisconsin-Madison
Ayal Zaks Technion
Bor-Yuh Evan Chang University of Colorado Boulder
Brandon Lucia Carnegie Melon University
Bryan Ford EPFL
Cezara Dragoi INRIA
Charles Sutton University of Edinburgh
Cindy Rubio Gonzalez University of California, Davis
Dan Grossman University of Washington
Dana Drachsler Cohen Technion
Daniel Tarlow Microsoft Research
David Bacon Google
David Walker Princeton University
Eddie Aftandilian Google
Emery Berger University of Massachusetts Amherst
Eran Yahav Technion
Erez Petrank Technion
Eva Darulova Max Planck Institute for Software Systems
Francesco Logozzo Facebook
Franz Franchetti Carnegie Melon University
Guy Steele Oracle Labs
Hannes Payer Google
Hans Boehm Google
Hongseok Yang Oxford University
Jaeheon Yi Google
James Bornholt University of Washington
Jan Hoffmann Carnegie Melon University
Jeff Foster University of Maryland, College Park
Jeff Huang Texas A&M University
Jens Palsberg UCLA
John Field Google
John Regehr Utah
John Vilk University of Massachusetts Amherst
Joseph Devietti University of Pennsylvania
Junfeng Yang Columbia University
Koushik Sen University of California, Berkeley
Kwangkeun Yi Seoul National University
Laurent Vanbever ETH Zurich
Loris D'Antoni University of Wisconsin Madison
Madan Musuvathi Microsoft Research
Madhusudan Parthasarathy University of Illinois at Urbana–Champaign
Manu Sridharan Samsung Research
Marco Pistoia IBM T.J. Watson Research Center
Maria Christakis University of Kent
Mariana Raykova Yale University
Martin Hirzel IBM T. J. Watson Research Center
Martin Vechev (chair) ETH
Mayur Naik University of Pennsylvania
Michael Bond Ohio State University
Michael Carbin MIT
Michael Pradel TU Darmstadt
Milind Kulkarni Purdue
Nada Amin EPFL
Nate Foster Cornell University and Barefoot Networks
Noam Rinetzky Tel Aviv University
Ondřej Lhoták University of Waterloo
Onur Mutlu ETH Zurich
Patrick Lam University of Waterloo
Petar Tsankov ETH Zurich
Peter Sewell Cambridge University
Peter-Michael Osera Grinnell College
Rahul Sharma Microsoft Research
Ranjit Jhala University of California, San Diego
Ravi Chugh University of Chicago
Ravichandhran Madhavan EPFL
Rishabh Singh Microsoft Research
Ryan Newton Indiana University
Santosh Nagarakatte Rutgers University
Sara Achour MIT
Sasa Misailovic University of Illinois at Urbana-Champaign
Sebastian Burckhardt Microsoft Research
Shan Lu University of Chicago
Sharon Shoham Tel Aviv University
Sorin Lerner University of California, San Diego
Stefan Heule Stanford University
Stephen Freund Williams College
Stephen McCamant University of Minnesota
Steve Blackburn Australian National University
Steve Zdancewic UPenn
Suresh Jagannathan Purdue University
Swarat Chaudhuri Rice University
Tim Harris Oracle Labs
Todd Millstein UCLA
Uday Bondhugula Indian Institute of Science
Veselin Raychev ETH Zurich
Vijay Ganesh University of Waterloo
Vikash Mansinghka MIT
Vivek Sarkar Rice University
Xiangyu Zhang Purdue University
Xin Zhang Georgia Tech
Zachary Kincaid Princeton University
Zhong Shao Yale University
Zvonimir Rakamaric Utah