| Aditya V. Thakur |
University of California, Davis |
| Alastair Reid |
Intel Inc |
| Alex Sanchez-Stern |
UMass Amherst |
| Anders Miltner |
Simon Fraser University |
| Anders Møller |
Aarhus University |
| Andres Erbsen |
Google |
| Arjun Guha |
Northeastern University and Roblox |
| Arjun Radhakrishna |
Microsoft |
| Aseem Rastogi |
Microsoft Research |
| Aws Albarghouthi |
AWS and University of Wisconsin–Madison |
| Ben Hardekopf |
UC Santa Barbara |
| Ben Livshits |
Imperial |
| Ben Titzer |
CMU |
| Caleb Stanford |
University of California, Davis |
| Chandrakana Nandi |
Certora Inc. |
| Chen Ding |
University of Rochester |
| Chenglong Wang |
Microsoft Research |
| Christian Wimmer |
Oracle Labs |
| Cindy Rubio-Gonzalez |
University of California, Davis |
| Clement Pit-Claudel |
EPFL |
| Colin Gordon |
Drexel University |
| Constantin Enea |
Ecole Polytechnique, France |
| Corina Pasareanu |
NASA Ames and Carnegie Mellon University |
| David Darais |
Galois |
| David Walker |
Princeton University |
| Deian Stefan |
UC San Diego |
| Di Wang |
Peking University |
| Drew Zagieboylo |
Northeastern University |
| Emina Torlak |
Amazon Web Services |
| Eric Koskinen |
Stevens Institute of Technology |
| Erik Meijer |
Meta |
| Gail Kaiser |
Columbia University |
| Grigore Rosu |
University of Illinois, Urbana-Champaign |
| Guilherme Ottoni |
Meta |
| Gustavo Petri |
Amazon Automated Reasoning Group |
| Hakjoo Oh |
Korea University |
| Hongjin Liang |
Nanjing University |
| Iulian Neamtiu |
NJIT |
| Jaejin Lee |
Seoul National University |
| James Bornholt |
University of Texas at Austin |
| Jay Ligatti |
University of South Florida |
| Jean-Baptiste Tristan |
AWS |
| Jeehoon Kang |
KAIST |
| Jeff Huang |
Texas A&M University and Stanford University |
| Jens Palsberg |
University of California, Los Angeles (UCLA) |
| Jeremy G. Siek |
Indiana University |
| Jingling Xue |
UNSW Sydney |
| John Regehr chair |
University of Utah, USA |
| John Sarracino |
Lawrence Livermore National Laboratory |
| John Wickerson |
Imperial College London |
| JohnAlt Regehr chair |
utah |
| JohnAlt2 Regehr chair |
|
| Jonathan Balkind |
UC Santa Barbara |
| Joonwon Choi |
Apple |
| Jorge A. Navas |
Certora |
| Jose Fragoso Santos |
INESC-ID; University of Lisbon |
| Justin Gottschlich |
Merly and Stanford |
| Kapil Vaswani |
Azure Research |
| Klaus v. Gleissenthall |
Vrije Universiteit Amsterdam |
| Koushik Sen |
UC Berkeley |
| Kwangkeun Yi |
Seoul National University |
| Limin Jia |
Carnegie Mellon University |
| Louis-Noel Pouchet |
Colorado State University |
| Luís Pina |
University of Illinois Chicago |
| Madhusudan Parthasarathy |
University of Illinois, Urbana-Champaign |
| Magnus Madsen |
Aarhus University |
| Magnus O. Myreen |
Chalmers University of Technology |
| Malavika Samak |
Apple Inc. |
| Marc Brockschmidt |
Google DeepMind |
| Mark Batty |
University of Kent |
| Martin Hirzel |
IBM |
| Matthew Flatt |
University of Utah |
| Matthias Hauswirth |
Università della Svizzera italiana |
| Michael Emmi |
AWS |
| Michael Greenberg |
Stevens Institute of Technology |
| Michaël Marcozzi |
Université Paris-Saclay, CEA, List |
| Milind Kulkarni chair |
Purdue |
| Mukund Raghothaman |
University of Southern California |
| Murali Vijayaraghavan |
Google Research |
| Murali Krishna Ramanathan |
AWS AI Labs |
| Nada Amin |
Harvard |
| Nadia Polikarpova |
UC San Diego |
| Neel Krishnaswami |
University of Cambridge |
| Neville Grech |
Dedaub |
| Nikhil Swamy |
Microsoft Research |
| Niki Vazou |
IMDEA Software Institute |
| Nobuko Yoshida |
University of Oxford |
| Owen Arden |
UC Santa Cruz |
| Patrick Lam |
University of Watreloo |
| Peter Müller |
ETH Zurich |
| Peter Ohmann |
College of St. Benedict / St. John's University |
| Peter-Michael Osera |
Grinnell College |
| Qirun Zhang |
Georgia Institute of Technology |
| Rob Sison |
UNSW Sydney |
| Robert Rand |
University of Chicago |
| Ronald Garcia |
University of British Columbia |
| Ronghui Gu |
Columbia University |
| Ruben Martins |
Carnegie Mellon University |
| Santosh Nagarakatte |
Rutgers University |
| Sarah E. Chasins |
UC Berkeley |
| Sasa Misailovic |
University of Illinois Urbana-Champaign |
| Shaz Qadeer |
Meta |
| Shoaib Kamil |
Adobe |
| Shuvendu K. Lahiri |
Microsoft Research |
| Sophia Drossopoulou |
Imperial College London |
| Sreepathi Pai |
University of Rochester |
| Stephen Chang |
UMass Boston |
| Stephen Kell |
King's College London |
| Steve Blackburn |
Google and Australian National University |
| Sukyoung Ryu |
KAIST |
| Suresh Jagannathan |
Purdue University |
| Swarnendu Biswas |
Indian Institute of Technology Kanpur |
| Tachio Terauchi |
Waseda University |
| Tahina Ramananandro |
Microsoft Research |
| Tej Chajed |
UW-Madison |
| ThanhVu (Vu) Nguyen |
George Mason University |
| Thodoris Sotiropoulos |
ETH Zurich |
| Thomas Bourgeat |
EPFL |
| Timon Gehr |
ETH Zurich |
| Tongping Liu |
ByteDance Inc. and UMass Amherst |
| Tyler Sorensen |
UC Santa Cruz |
| Umut Acar |
Carnegie Mellon University |
| V. Krishna Nandivada |
Professor, IIT Madras |
| Vijay Ganesh |
GeorgiaTech |
| Vijay Nagarajan |
University of Utah |
| Walter Binder |
Università della Svizzera italiana (USI) |
| Woosuk Lee |
Hanyang University |
| Xavier Rival |
INRIA/CNRS/Ecole Normale Supérieure de Paris |
| Xiaodi Wu |
University of Maryland, College Park |
| Xiaokang Qiu |
Purdue University |
| Xipeng Shen |
North Carolina State University |
| Xujie Si |
University of Toronto |
| Yao Li |
Portland State University |
| Yatin A. Manerkar |
University of Michigan |
| Yizhou Zhang |
University of Waterloo |
| Yuepeng Wang |
Simon Fraser University |
| Zachary Tatlock |
University of Washington |
| Zheng Zhang |
Rutgers University |
| Zhiqiang Zuo |
Nanjing University, China |