| Anders Møller |
Aarhus University |
| Kesha Hietala |
Amazon |
| Marianna Rapoport |
Amazon Web Services |
| Fabian Muehlboeck |
Australian National University |
| Mark Santolucito |
Barnard College, Columbia University |
| William Hallahan |
Binghamton |
| Ben Greenman |
Brown University |
| Ben Greenman chair |
Brown University |
| Shriram Krishnamurthi |
Brown University |
| Will Crichton |
Brown University |
| Kristóf Marussy |
Budapest University of Technology and Economics |
| Stephanie Balzer |
Carnegie Mellon University |
| Chandrakana Nandi |
Certora Inc. |
| Pinjia He |
Chinese University of Hong Kong, Shenzhen |
| Jonathan Aldrich |
CMU |
| Justin Hsu |
Cornell University |
| Rachit Nigam |
Cornell University |
| Tijs van der Storm |
CWI |
| Dimitrios Vytiniotis |
DeepMind |
| Burcu Kulahcioglu Ozkan |
Delft University of Technology |
| Ali Ghanbari |
Dept. of Computer Science, Iowa State University |
| Daming Zou |
ETH Zurich |
| Shaz Qadeer |
Facebook |
| Sophia Drossopoulou |
Facebook and Imperial College London |
| Qirun Zhang |
Georgia Institute of Technology |
| Hendrik van Antwerpen |
GitHub |
| Albert Cohen |
Google |
| Charles Sutton |
Google |
| Satish Chandra |
Google |
| Mangpo Phothilimthana |
Google Brain |
| Peter-Michael Osera |
Grinnell College |
| Avraham Shinnar |
IBM Research |
| Rangeet Pan |
IBM Research |
| Denis Merigoux |
INRIA |
| Guillaume Baudart |
Inria |
| Kristina Sojakova |
INRIA |
| Yannick Zakowski |
Inria |
| Raphaël Monat |
Inria & University of Lille |
| Kenji Maillard |
Inria Rennes |
| Sebastian Erdweg |
JGU Mainz |
| Shiwei Weng |
Johns Hopkins University |
| Sukyoung Ryu |
KAIST |
| Jihyeok Park |
Korea University |
| Philipp Haller |
KTH Royal Institute of Technology |
| Dominique Devriese |
KU Leuven |
| Atsushi Igarashi |
Kyoto University |
| Görel Hedin |
Lund University |
| Armando Solar-Lezama |
Massachusetts Institute of Technology |
| Ralf Jung |
Massachusetts Institute of Technology |
| Benno Stein |
Meta |
| Sebastian Burckhardt |
Microsoft Research |
| Andrew D. Gordon |
Microsoft Research and University of Edinburgh |
| Derek Dreyer |
MPI-SWS |
| Emanuele D'Osualdo |
MPI-SWS |
| Viktor Vafeiadis |
MPI-SWS |
| Hongjin Liang |
Nanjing University |
| Lelio Brun |
National Institute of Informatics |
| Ilya Sergey |
National University of Singapore |
| Martin Kellogg |
New Jersey Institute of Technology |
| Ross Tate |
None |
| Arjun Guha |
Northeastern University |
| Benjamin Chung |
Northeastern University |
| Jan Vitek |
Northeastern University |
| Steven Holtzen |
Northeastern University |
| Joseph Tassarotti |
NYU |
| Steven Lyubomirsky |
OctoML |
| Jeremy Gibbons |
Oxford University |
| David Walker |
Princeton University |
| Ashish Mishra |
Purdue University |
| Jenna DiVincenzo |
Purdue University |
| Oliver Bračevac |
Purdue University |
| Jana Dunfield |
Queen's University |
| Ana Milanova |
Rensselaer Polytechnic Institute |
| James Noble |
Research & Programming |
| Jay P. Lim |
Rutgers University |
| Yuepeng Wang |
Simon Fraser University |
| Dana Drachsler Cohen |
Technion |
| Mira Mezini chair |
Technische Universität Darmstadt |
| Jiasi Shen |
The Hong Kong University of Science and Technology |
| Xiaowen Hu |
The University of Sydney |
| Kostas Ferles |
The University of Texas at Austin |
| Hidehiko Masuhara |
Tokyo Tech |
| Annette Bieniusa |
TU Kaiserslautern |
| Owen Arden |
UC Santa Cruz |
| Peter Alvaro |
UC Santa Cruz |
| Gagandeep Singh |
UIUC |
| Alex Sanchez-Stern |
UMass Amherst |
| John Sarracino |
Unaffiliated |
| Bernardo Toninho |
Universidade Nova de Lisboa and NOVA LINCS |
| Andrew K. Hirsch |
University at Buffalo, SUNY |
| Karim Ali |
University of Alberta |
| Sarah Nadi |
University of Alberta |
| Michael Arntzenius |
University of Birmingham |
| Mae Milano |
University of California, Berkeley |
| Cindy Rubio-González |
University of California, Davis |
| Manu Sridharan |
University of California, Riverside |
| Nadia Polikarpova |
University of California, San Diego |
| Ranjit Jhala |
University of California, San Diego |
| Sorin Lerner |
University of California, San Diego |
| Alex Reinking |
University of California Berkeley |
| Michael Coblenz |
University of California San Diego |
| Alasdair Armstrong |
University of Cambridge |
| Conrad Watt |
University of Cambridge |
| Neel Krishnaswami |
University of Cambridge |
| Paul Gazzillo |
University of Central Florida |
| Robert Rand |
University of Chicago |
| Kartik Singhal |
University of Chicago; Quantinuum |
| Matías Toro |
University of Chile |
| Gowtham Kaki |
University of Colorado Boulder |
| James Cheney |
University of Edinburgh |
| Peter Thiemann |
University of Freiburg |
| Bruno Oliveira |
University of Hong Kong |
| Sankha Narayan Guria |
University of Kansas |
| Vasco T. Vasconcelos |
University of Lisbon |
| Liyi Li |
University of Maryland, College Park |
| Anitha Gollamudi |
University of Massachusetts, Lowell (UML) |
| Abhinav Jangda |
University of Massachusetts Amherst |
| Matteo Cimini |
University of Massachusetts Lowell |
| Max New |
University of Michigan |
| Xinyu Wang |
University of Michigan |
| Benjamin C. Pierce |
University of Pennsylvania |
| Konstantinos Kallas |
University of Pennsylvania |
| Osbert Bastani |
University of Pennsylvania |
| Weihang Wang |
University of Southern California |
| Fabrizio Montesi |
University of Southern Denmark |
| Guido Salvaneschi |
University of St. Gallen |
| Pascal Weisenburger |
University of St.Gallen |
| Michael Pradel |
University of Stuttgart |
| Victor Nicolet |
University of Toronto |
| Klaus Ostermann |
University of Tuebingen |
| Philipp Schuster |
University of Tübingen |
| Matthew Flatt |
University of Utah |
| Dan Grossman |
University of Washington |
| Ethan Cecchetti |
University of Wisconsin - Madison |
| Paolo Tonella |
Università della Svizzera italiana |
| Pavel Chuprikov |
Università della Svizzera italiana |
| Patrick Eugster |
Università della Svizzera italiana (USI); TU Darmstadt; Purdue University |
| Rob Sison |
UNSW Sydney |
| Elisa Gonzalez Boix |
Vrije Universiteit Brussel |
| Wolfgang De Meuter |
Vrije Universiteit Brussel |
| Daniel W. Barowy |
Williams College |
| Jérémie Koenig |
Yale University |
| Jialu Zhang |
Yale University |
| Zhong Shao |
Yale University |