| Abhinav Verma |
The Pennsylvania State University |
| Adam Chlipala |
MIT |
| Akash Lal |
Microsoft Research |
| Alastair Reid |
Intel |
| Alcides Fonseca |
LASIGE, University of Lisbon |
| Alexandra Jimborean |
University of Murcia |
| Alexey Loginov |
Meta |
| Andreas Rossberg |
Dfinity Foundation |
| Ayal Zaks |
Mobileye |
| Benjamin Delaware |
Purdue University |
| Brandon Lucia |
Carnegie Mellon University |
| Brian Demsky |
University of California, Irvine |
| Calin Cascaval |
Google Research |
| Chao Wang |
University of Southern California |
| Charith Mendis |
University of Illinois at Urbana-Champaign |
| Christos Dimoulas |
Northwestern University |
| Chung-Kil Hur |
Seoul National University |
| Cindy Rubio-González |
University of California, Davis |
| Cyrus Omar |
University of Michigan |
| Dana Drachsler Cohen |
Technion |
| Daniel W. Barowy |
Williams College |
| David Van Horn |
University of Maryland |
| Dimitris Mitropoulos |
National and Kapodistrian University of Athens |
| Eric Eide |
University of Utah |
| Eric Koskinen |
Stevens Institute of Technology |
| Francois Gauthier |
Oracle Labs |
| Fredrik Kjolstad |
Stanford University |
| Freek Verbeek |
Virginia Polytechnic Institute and State University |
| Gagandeep Singh |
UIUC |
| Gang Tan |
Penn State |
| Gowtham Kaki |
University of Colorado Boulder |
| Greta Yorsh |
Jane Street |
| Guy Gueta |
VMware |
| He Zhu |
Rutgers |
| Hila Peleg |
Technion Israel Institute of Technology |
| Ilya Sergey |
National University of Singapore |
| Irene Finocchi |
Luiss University |
| Jade Alglave |
University College London |
| James Cheney |
University of Edinburgh |
| James Wilcox |
University of Washington |
| Jan Hoffmann |
Carnegie Melon University |
| Jason Ansel |
Meta |
| Jean-Baptiste Tristan |
AWS ARG |
| Jedidiah McClurg |
Colorado State University |
| Jeremy Yallop |
University of Cambridge |
| Jeremy G. Siek |
Indiana University |
| John Regehr chair |
University of Utah, USA |
| Jonathan Ragan-Kelley |
MIT |
| Jorge A. Pérez |
University of Groningen |
| Joseph Tassarotti |
NYU |
| Josiah Hester |
Northwestern University |
| KC Sivaramakrishnan |
IIT Madras |
| Ke Wang |
Visa Research |
| Kevin Ellis |
Cornell |
| Kihong Heo |
KAIST |
| Konstantinos Mamouras |
Rice University |
| Lauren Pick |
University of Wisconsin-Madison and University of California at Berkeley |
| Leonidas Lampropoulos |
University of Maryland, College Park |
| Limin Jia |
Carnegie Mellon University |
| Loris D'Antoni |
University of Wisconsin Madison |
| Louis-Noel Pouchet |
Colorado State University |
| Magnus Myreen |
Chalmers University of Technology |
| Maryam Mehri Dehnavi |
University of Toronto |
| Matthias Hauswirth |
USI Università della Svizzera italiana |
| Michael Bond |
Ohio State University |
| Michael Hicks |
University of Maryland |
| Michelle Strout |
HPE & University of Arizona |
| Mihai Budiu |
VMware Research |
| Mohsen Lesani |
Univsersity of California, Riverside |
| Mukund Raghothaman |
University of Southern California |
| Nate Foster chair |
Cornell University |
| Niki Vazou |
IMDEA Software Institute |
| Ningning Xie |
Google Brain / University of Toronto |
| Noam Rinetzky |
Tel Aviv University |
| Nuno P. Lopes |
University of Lisbon |
| Oded Padon |
VMware Research |
| Ori Lahav |
Tel Aviv University |
| Owolabi Legunsen |
Cornell University |
| Parosh Aziz Abdulla |
Uppsala University |
| Paul Gazzillo |
University of Central Florida |
| Peisen Yao |
Zhejiang University |
| Peter-Michael Osera |
Grinnell College |
| Pierre Geneves |
CNRS |
| Ras Bodik |
Google Research, Brain Team |
| Robbert Krebbers |
Radboud University Nijmegen |
| Ruzica Piskac |
Yale University |
| Ryan Beckett |
Microsoft Research |
| Sam Guyer |
Tufts University |
| Sam Tobin-Hochstadt |
Indiana University |
| Satish Chandra |
Google |
| Shan Lu |
University of Chicago |
| Sotiris Apostolakis |
Google |
| Stephen Chong |
Harvard University |
| Sukyoung Ryu |
KAIST |
| Sukyoung Ryu |
KAIST |
| Susmit Sarkar |
St Andrews |
| Swarat Chaudhuri |
UT Austin |
| Thomas Shull |
Oracle Labs |
| Toby Murray |
University of Melbourne |
| Umut Acar |
Carnegie Mellon University |
| Veselin Raychev |
Snyk |
| Viktor Kunčak |
EPFL |
| Vinod Grover |
NVIDIA Corporation |
| Walter Binder |
University of Lugano, Switzerland |
| Xinyu Feng |
Nanjing University & Huawei |
| Xulong Tang |
University of Pittsburgh |
| Yaniv David |
Columbia University |
| Yao Li |
Portland State University |
| Yingfei Xiong |
Peking University |
| Yizhou Zhang |
University of Waterloo |
| Yu David Liu |
SUNY Binghamton |
| Zachary Tatlock |
University of Washington |
| Zhoulai Fu |
State University of New York, Korea |
| Zoe Paraskevopoulou |
Northeastern University and Ethereum Foundation |