| Albert Cohen |
Google |
| Aleksandar Nanevski |
IMDEA Software Institute |
| Alex Potanin chair |
Australian National University |
| Alex Reinking |
University of California Berkeley |
| Alexander J. Summers |
University of British Columbia |
| Alexandra Bugariu |
Max Planck Institute for Software Systems (MPI-SWS) |
| Amir Kafshdar Goharshady |
Hong Kong University of Science and Technology |
| Ana Milanova |
Rensselaer Polytechnic Institute |
| Anders Møller |
Aarhus University |
| Andreas Pavlogiannis |
Aarhus University |
| Andreas Zeller |
CISPA Helmholtz Center for Information Security |
| Andrew K. Hirsch |
University at Buffalo, SUNY |
| Anitha Gollamudi |
University of Massachusetts, Lowell (UML) |
| Ankush Desai |
Amazon |
| Ashish Tiwari |
Microsoft |
| Ben Hermann |
Technische Universität Dortmund |
| Ben Titzer |
CMU |
| Benjamin Chung |
Northeastern University / University of Washington |
| Benjamin Delaware |
Purdue University |
| Bernardo Toninho |
Universidade Nova de Lisboa and NOVA LINCS |
| Bernhard Scholz |
University of Sydney, Australia |
| Bor-Yuh Evan Chang chair |
University of Colorado Boulder & Amazon |
| Bruno Oliveira |
University of Hong Kong |
| Burcu Kulahcioglu Ozkan |
Delft University of Technology |
| Casper Bach Poulsen |
Delft University of Technology |
| Cezara Dragoi |
INRIA |
| Charles Sutton |
Google |
| Colin S. Gordon |
Drexel University |
| Conrad Watt |
University of Cambridge |
| Corina Pasareanu |
CMU |
| Cyrus Omar |
University of Michigan |
| Damien Zufferey |
SonarSource |
| Dan Grossman |
University of Washington |
| Dana Drachsler Cohen |
Technion |
| David Darais |
Galois, Inc |
| David Pearce |
ConsenSys |
| Di Wang |
Peking University |
| Earl Barr |
University College London |
| Emanuele D'Osualdo |
MPI-SWS |
| Emma Söderberg |
Lund University |
| Emma Tosch |
Northeastern University |
| Ethan Cecchetti |
University of Wisconsin - Madison |
| Fabian Muehlboeck |
Australian National University |
| Fei He |
Tsinghua University |
| Filip Niksic |
Google |
| Fredrik Kjolstad |
Stanford University |
| Gowtham Kaki |
University of Colorado Boulder |
| Grigore Rosu |
University of Illinois, Urbana-Champaign |
| Guido Salvaneschi |
University of St. Gallen |
| Guillaume Baudart |
Inria |
| Hidehiko Masuhara |
Tokyo Tech |
| Hila Peleg |
Technion Israel Institute of Technology |
| Hongjin Liang |
Nanjing University |
| James Cheney |
University of Edinburgh |
| James Larus |
EPFL |
| Jan Vitek |
Northeastern University |
| Jérémie Koenig |
Yale University |
| Jeremy Gibbons |
Oxford University |
| Jiasi Shen |
The Hong Kong University of Science and Technology |
| Jonathan Bell |
Northeastern University |
| Jonathan Immanuel Brachthäuser |
University of Tübingen |
| Joseph Tassarotti |
NYU |
| Juliana Franco |
DeepMind |
| Justin Hsu |
Cornell University |
| Karine Even-Mendoza |
King's College London |
| Kartik Singhal |
University of Chicago; Quantinuum |
| KC Sivaramakrishnan |
IIT Madras |
| Kenji Maillard |
Inria Rennes |
| Kesha Hietala |
amazon |
| Kihong Heo |
Korea Advanced Institute of Science and Technology (KAIST) |
| Konstantinos Kallas |
University of Pennsylvania |
| Kristina Sojakova |
INRIA |
| Lingming Zhang |
UIUC |
| Liyi Li |
University of Maryland, College Park |
| Mae Milano |
University of California, Berkeley |
| Mangpo Phothilimthana |
Google DeepMind |
| Martin Kellogg |
New Jersey Institute of Technology |
| Matthew Flatt |
University of Utah |
| Matthew J. Parkinson |
Azure Research, Microsoft |
| Max New |
University of Michigan |
| Max Schäfer |
GitHub |
| Michael Arntzenius |
University of Birmingham |
| Michael Coblenz |
University of California San Diego |
| Michael Pradel |
University of Stuttgart |
| Milos Gligoric |
The University of Texas at Austin |
| Minseok Jeon |
Korea University |
| Mohamed Faouzi Atig |
Uppsala University |
| Noam Rinetzky |
Tel Aviv University |
| Ori Lahav |
Tel Aviv University |
| Osbert Bastani |
University of Pennsylvania |
| Owolabi Legunsen |
Cornell University |
| Pamela Zave |
Princeton University |
| Parosh Aziz Abdulla |
Uppsala University |
| Pavel Chuprikov |
Università della Svizzera italiana |
| Pavel Panchekha |
University of Utah |
| Peter Thiemann |
University of Freiburg |
| Qirun Zhang |
Georgia Institute of Technology |
| Rahul Gopinath |
University of Sydney |
| Rajiv Gupta |
UC Riverside |
| Robbert Krebbers |
Radboud University Nijmegen |
| Saman Amarasinghe |
Massachusetts Institute of Technology |
| Sankha Narayan Guria |
University of Kansas |
| Santosh Pande |
Georgia Tech |
| Satish Chandra |
Google |
| Sean Treichler |
NVIDIA |
| Sebastian Burckhardt |
Microsoft Research |
| Sebastian Hack |
Saarland University |
| Shachar Itzhaky |
Technion |
| Shaz Qadeer |
Meta |
| Sheng Chen |
UL Lafayette |
| Shigeru Chiba |
University of Tokyo |
| Shriram Krishnamurthi |
Brown University |
| Sorin Lerner |
University of California, San Diego |
| Sreepathi Pai |
University of Rochester |
| Stefan Brunthaler |
μCSRL, CODE Research Institute, University of the Bundeswehr Munich |
| Stephanie Balzer |
Carnegie Mellon University |
| Steve Blackburn |
Google |
| Steven Holtzen |
Northeastern University |
| Steven Lyubomirsky |
OctoML |
| Subhajit Roy |
Indian Institute of Technology Kanpur |
| Sukyoung Ryu |
KAIST |
| Swarnendu Biswas |
Indian Institute of Technology Kanpur |
| Sylvan Clebsch |
Microsoft Research, Cambridge |
| Tamás Szabó |
GitHub Next |
| ThanhVu Nguyen |
George Mason University |
| Tiark Rompf |
Purdue University |
| Tien Nguyen |
University of Texas at Dallas |
| Tobias Grosser |
University of Cambridge |
| Tobias Wrigstad |
Uppsala |
| Tomas Petricek |
University of Kent |
| Umut Acar |
Carnegie Mellon University |
| Viktor Vafeiadis |
MPI-SWS |
| Walter Binder |
Università della Svizzera italiana (USI) |
| Wei Le |
Iowa State University |
| Wei Zhang |
Meta |
| Werner Dietl |
University of Waterloo |
| Will Crichton |
Brown University |
| Xiaokang Qiu |
Purdue University |
| Xin Zhang |
Peking University |
| Yingfei Xiong |
Peking University |
| Yizhou Zhang |
University of Waterloo |
| Youyou Cong |
Tokyo Institute of Technology |
| Yu Feng |
University of California, Santa Barbara |
| Yu David Liu |
SUNY Binghamton |
| Yuepeng Wang |
Simon Fraser University |
| Yulei Sui |
UNSW |
| Zhiqiang Zuo |
Nanjing University |