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 Web Services |
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 | Iowa State University |
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 |