Aws Albarghouthi, University of Wisconsin-Madison
Jade Alglave, University College London
Sagar Chaki, Software Engineering Institute, Carnegie Mellon University
Hana Chockler, King’s College London
Byron Cook, University College London and Amazon
Thao Dang, CNRS
Cezara Dragoi, INRIA
Deepak D’Souza, Indian Institute of Science
Pierre Ganty, IMDEA
Ganesh Gopalakrishnan, University of Utah
Arie Gurfinkel, Software Engineering Institute, Carnegie Mellon University
Jan Hoffman, Carnegie Mellon University
William Hung, Synopsys
Joxan Jaffer, National University of Singapore
Naoki Kobayashi, The University of Tokyo
Igor Konnov, Vienna University of Technology
Hillel Kugler, Bar-Ilan University
Rupak Majumdar, Max Planck Institute for Software Systems
Sayan Mitra, University of Illinois at Urbana Champaign
Peter Müller, ETH Zurich
Tim Nelson, Brown University
Jan Otop, University of Wrocław
Gennaro Parlato, University of Southampton
Madhusudan Parthasarathy, University of Illinois at Urbana Champaign
Doron Peled, Bar Ilan University
Pavithra Prabhakar, Kansas State University
Arjun Radhakrishna, University of Pennsylvania
Zvonimir Rakamaric, University of Utah
Nishant Sinha, IBM Research, Bangalore
Ana Sokolova, University of Salzburg
Armando Solar-Lezama, MIT
Viktor Vafeiadis, Max Planck Institute for Software Systems
Martin Vechev, ETH, Zurich
Helmut Veith, Vienna University of Technology
Willem Visser, Stellenbosch University
Tomas Vojnar, Brno University of Technology
Thomas Wahl, Northeastern University
Eran Yahav, Technion
Karen Yorav, IBM Haifa Research Lab
Greta Yorsh, Queen Mary University of London
Florian Zuleger, Vienna University of Technology