| Manu Sridharan | Chair |
University of California at Riverside
| Conference website ↗Checked 2026-09-13 |
| Satish Chandra | Associate Chair |
Meta Platforms, Inc.
Meta (United States) · INC
| Conference website ↗Checked 2026-09-13 |
| Derek Dreyer | Associate Chair |
MPI-SWS
| Conference website ↗Checked 2026-09-13 |
| Sophia Drossopoulou | Associate Chair |
Imperial College London
| Conference website ↗Checked 2026-09-13 |
| Jeffrey S. Foster | Associate Chair |
Tufts University
| Conference website ↗Checked 2026-09-13 |
| David GroveIdentity not yet linked | Associate Chair |
IBM Research
| Conference website ↗Checked 2026-09-13 |
| Ruzica Piskac | Associate Chair |
Yale University
| Conference website ↗Checked 2026-09-13 |
| John Regehr | Associate Chair |
University of Utah
| Conference website ↗Checked 2026-09-13 |
| Adrian Sampson | Associate Chair |
Cornell University
| Conference website ↗Checked 2026-09-13 |
| Zhendong Su | Associate Chair |
ETH Zurich
| Conference website ↗Checked 2026-09-13 |
| Parosh Aziz Abdulla | Member |
Uppsala University; Mälardalen University
Uppsala University · Mälardalen University
| Conference website ↗Checked 2026-09-13 |
| Coşku Acay | Member |
Observe, Inc.
| Conference website ↗Checked 2026-09-13 |
| Sara AchourIdentity not yet linked | Member |
Stanford University
| Conference website ↗Checked 2026-09-13 |
| Michael D. Adams | Member |
National University of Singapore
| Conference website ↗Checked 2026-09-13 |
| Jonathan Aldrich | Member |
Carnegie Mellon University
| Conference website ↗Checked 2026-09-13 |
| Haniel Barbosa | Member |
Universidade Federal de Minas Gerais
| Conference website ↗Checked 2026-09-13 |
| Sébastien Bardin | Member |
CEA List - Université Paris-Saclay
| Conference website ↗Checked 2026-09-13 |
| Rohan Bavishi | Member |
Amazon
| Conference website ↗Checked 2026-09-13 |
| Gilbert Louis Bernstein | Member |
University of Washington
| Conference website ↗Checked 2026-09-13 |
| Ivan Beschastnikh | Member |
The University of British Columbia
| Conference website ↗Checked 2026-09-13 |
| Pramod BhatotiaIdentity not yet linked | Member |
TU Munich
| Conference website ↗Checked 2026-09-13 |
| Rastislav Bodík | Member |
Google Research, Brain Team
| Conference website ↗Checked 2026-09-13 |
| Michael D. Bond | Member |
Ohio State University
| Conference website ↗Checked 2026-09-13 |
| Ahmed Bouajjani | Member |
IRIF, Université Paris Diderot
Institut de Recherche en Informatique Fondamentale · Université Paris Diderot
| Conference website ↗Checked 2026-09-13 |
| Oliver Bračevac | Member |
EPFL, LAMP
École Polytechnique Fédérale de Lausanne · Laboratoire de Météorologie Physique
| Conference website ↗Checked 2026-09-13 |
| Fraser Brown | Member |
CMU
| Conference website ↗Checked 2026-09-13 |
| Simone CampanoniIdentity not yet linked | Member |
Google / Northwestern University
Google · Northwestern University
| Conference website ↗Checked 2026-09-13 |
| Milind Chabbi | Member |
Uber Technologies
| Conference website ↗Checked 2026-09-13 |
| Soham Chakraborty | Member |
TU Delft
| Conference website ↗Checked 2026-09-13 |
| Agnishom Chattopadhyay | Member |
Imiron
| Conference website ↗Checked 2026-09-13 |
| Jocelyn Qiaochu Chen | Member |
University of Alberta
| Conference website ↗Checked 2026-09-13 |
| Yanju Chen | Member |
University of California, San Diego
| Conference website ↗Checked 2026-09-13 |
| Yu-Fang Chen | Member |
Academia Sinica
| Conference website ↗Checked 2026-09-13 |
| Minki Cho | Member |
FuriosaAI
| Conference website ↗Checked 2026-09-13 |
| Huimin CuiIdentity not yet linked | Member |
Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences
Institute of Computing Technology at Chinese Academy of Sciences · University of Chinese Academy of Sciences
| Conference website ↗Checked 2026-09-13 |
| Brian DemskyIdentity not yet linked | Member |
University of California at Irvine
| Conference website ↗Checked 2026-09-13 |
| Ankush Desai | Member |
Snowflake
| Conference website ↗Checked 2026-09-13 |
| Mike Dodds | Member |
Galois, Inc
Galois (United States) · INC
| Conference website ↗Checked 2026-09-13 |
| Chelsea Edmonds | Member |
The University of Western Australia
| Conference website ↗Checked 2026-09-13 |
| Sebastian Erdweg | Member |
KIT
| Conference website ↗Checked 2026-09-13 |
| Patrick Eugster | Member |
USI Lugano, Switzerland
| Conference website ↗Checked 2026-09-13 |
| Azadeh Farzan | Member |
University of Toronto
| Conference website ↗Checked 2026-09-13 |
| Hongfei Fu | Member |
Shanghai Jiao Tong University
| Conference website ↗Checked 2026-09-13 |
| Herman Geuvers | Member |
Radboud University Nijmegen, Netherlands
| Conference website ↗Checked 2026-09-13 |
| Roberto Giacobazzi | Member |
University of Arizona
| Conference website ↗Checked 2026-09-13 |
| Jeremy Gibbons | Member |
Department of Computer Science, University of Oxford
| Conference website ↗Checked 2026-09-13 |
| Andrés GoensIdentity not yet linked | Member |
TU Darmstadt
| Conference website ↗Checked 2026-09-13 |
| Amir K. Goharshady | Member |
University of Oxford
| Conference website ↗Checked 2026-09-13 |
| Michael Greenberg | Member |
Stevens Institute of Technology
| Conference website ↗Checked 2026-09-13 |
| Simon Oddershede Gregersen | Member |
CISPA Helmholtz Center for Information Security
| Conference website ↗Checked 2026-09-13 |
| Tobias Grosser | Member |
University of Cambridge
| Conference website ↗Checked 2026-09-13 |
| Vinod GroverIdentity not yet linked | Member |
NVIDIA
| Conference website ↗Checked 2026-09-13 |
| Sankha Narayan Guria | Member |
University of Kansas
| Conference website ↗Checked 2026-09-13 |
| Ben HardekopfIdentity not yet linked | Member |
University of California at Santa Barbara
| Conference website ↗Checked 2026-09-13 |
| Fei He | Member |
Tsinghua University
| Conference website ↗Checked 2026-09-13 |
| Zhenjiang Hu | Member |
Peking University
| Conference website ↗Checked 2026-09-13 |
| Eleftherios Ioannidis | Member |
Microsoft Research
| Conference website ↗Checked 2026-09-13 |
| Jean-Baptiste Jeannin | Member |
University of Michigan at Ann Arbor
| Conference website ↗Checked 2026-09-13 |
| Ranjit Jhala | Member |
University of California at San Diego
| Conference website ↗Checked 2026-09-13 |
| Ralf Jung | Member |
ETH Zurich
| Conference website ↗Checked 2026-09-13 |
| Gowtham Kaki | Member |
University of Colorado at Boulder
| Conference website ↗Checked 2026-09-13 |
| Shoaib KamilIdentity not yet linked | Member |
Adobe
| Conference website ↗Checked 2026-09-13 |
| Benjamin Lucien Kaminski | Member |
Saarland University; University College London
Saarland University · University College London
| Conference website ↗Checked 2026-09-13 |
| Tobias Kappé | Member |
Leiden University
| Conference website ↗Checked 2026-09-13 |
| Engin Kayraklioglu | Member |
HPE
| Conference website ↗Checked 2026-09-13 |
| Martin Kellogg | Member |
New Jersey Institute of Technology
| Conference website ↗Checked 2026-09-13 |
| Dominik Klumpp | Member |
LIX, CNRS, Ecole Polytechnique
Laboratoire d'Informatique de l'École Polytechnique · CNRS · École Polytechnique
| Conference website ↗Checked 2026-09-13 |
| Viktor Kunčak | Member |
EPFL, Switzerland
| Conference website ↗Checked 2026-09-13 |
| Lukas Lazarek | Member |
Brown University
| Conference website ↗Checked 2026-09-13 |
| Doug LeaIdentity not yet linked | Member |
State University of New York (SUNY) Oswego
| Conference website ↗Checked 2026-09-13 |
| Matthieu Lemerre | Member |
Université Paris-Saclay - CEA List
| Conference website ↗Checked 2026-09-13 |
| Ondřej Lengál | Member |
Brno University of Technology
| Conference website ↗Checked 2026-09-13 |
| Ziyang Li | Member |
Johns Hopkins University
| Conference website ↗Checked 2026-09-13 |
| Yu David LiuIdentity not yet linked | Member |
SUNY Binghamton
| Conference website ↗Checked 2026-09-13 |
| Giuliano Losa | Member |
Stellar Development Foundation
| Conference website ↗Checked 2026-09-13 |
| Sirui Lu | Member |
OpenAI
| Conference website ↗Checked 2026-09-13 |
| Brandon LuciaIdentity not yet linked | Member |
Carnegie Mellon University
| Conference website ↗Checked 2026-09-13 |
| Martin Maas | Member |
Google
| Conference website ↗Checked 2026-09-13 |
| Yatin ManerkarIdentity not yet linked | Member |
University of Michigan and UC Berkeley
University of Michigan · University of California, Berkeley
| Conference website ↗Checked 2026-09-13 |
| Benjamin Mariano | Member |
The University of Texas at Austin, Texas, USA
| Conference website ↗Checked 2026-09-13 |
| Guido Martínez | Member |
Microsoft Research
| Conference website ↗Checked 2026-09-13 |
| Yusuke Matsushita | Member |
Kyoto University
| Conference website ↗Checked 2026-09-13 |
| Jedidiah McClurgIdentity not yet linked | Member |
Cornell University
| Conference website ↗Checked 2026-09-13 |
| Roland Meyer | Member |
TU Braunschweig
| Conference website ↗Checked 2026-09-13 |
| Mae Milano | Member |
Princeton University
| Conference website ↗Checked 2026-09-13 |
| Jiang Ming | Member |
Tulane University, USA
| Conference website ↗Checked 2026-09-13 |
| Sasa MisailovicIdentity not yet linked | Member |
University of Illinois Urbana-Champaign
| Conference website ↗Checked 2026-09-13 |
| Scott Moore | Member |
Galois
| Conference website ↗Checked 2026-09-13 |
| Stefan K. Muller | Member |
University of Connecticut
| Conference website ↗Checked 2026-09-13 |
| Kartik Nagar | Member |
IIT Madras
| Conference website ↗Checked 2026-09-13 |
| V Krishna Nandivada | Member |
IIT Madras
| Conference website ↗Checked 2026-09-13 |
| Satish NarayanasamyIdentity not yet linked | Member |
University of Michigan
| Conference website ↗Checked 2026-09-13 |
| Max S. New | Member |
University of Michigan
| Conference website ↗Checked 2026-09-13 |
| Haobin Ni | Member |
University of Washington
| Conference website ↗Checked 2026-09-13 |
| Victor Nicolet | Member |
Amazon
| Conference website ↗Checked 2026-09-13 |
| Ruslan Nikolaev | Member |
Pennsylvania State University
| Conference website ↗Checked 2026-09-13 |
| Hakjoo Oh | Member |
Korea University
| Conference website ↗Checked 2026-09-13 |
| Cyrus Omar | Member |
University of Michigan
| Conference website ↗Checked 2026-09-13 |
| Jens Palsberg | Member |
University of California at Los Angeles
| Conference website ↗Checked 2026-09-13 |
| Pavel Panchekha | Member |
University of Utah
| Conference website ↗Checked 2026-09-13 |
| Zoe Paraskevopoulou | Member |
National Technical University of Athens
| Conference website ↗Checked 2026-09-13 |
| Jihyeok Park | Member |
Korea University
| Conference website ↗Checked 2026-09-13 |
| Marco Patrignani | Member |
University of Trento
| Conference website ↗Checked 2026-09-13 |
| Andreas Pavlogiannis | Member |
Aarhus University
| Conference website ↗Checked 2026-09-13 |
| Yuxiang Peng | Member |
Purdue University
| Conference website ↗Checked 2026-09-13 |
| Luís Pina | Member |
University of Illinois Chicago
| Conference website ↗Checked 2026-09-13 |
| Shaz QadeerIdentity not yet linked | Member |
Meta, Inc.
Meta · INC
| Conference website ↗Checked 2026-09-13 |
| Binoy Ravindran | Member |
Virginia Tech
| Conference website ↗Checked 2026-09-13 |
| Talia Lily Ringer | Member |
University of Illinois Urbana-Champaign
| Conference website ↗Checked 2026-09-13 |
| Feras Saad | Member |
Carnegie Mellon University
| Conference website ↗Checked 2026-09-13 |
| Guido Salvaneschi | Member |
University of St. Gallen
| Conference website ↗Checked 2026-09-13 |
| Peter Sewell | Member |
University of Cambridge
| Conference website ↗Checked 2026-09-13 |
| Zhong Shao | Member |
Yale University
| Conference website ↗Checked 2026-09-13 |
| Alexandra Silva | Member |
Cornell University
| Conference website ↗Checked 2026-09-13 |
| Youngju Song | Member |
Amazon
| Conference website ↗Checked 2026-09-13 |
| Tyler SorensenIdentity not yet linked | Member |
Microsoft Research; University of California at Santa Cruz
Microsoft Research · University of California at Santa Cruz
| Conference website ↗Checked 2026-09-13 |
| Codrut Stancu | Member |
Oracle Labs
| Conference website ↗Checked 2026-09-13 |
| Yulei Sui | Member |
University of New South Wales
| Conference website ↗Checked 2026-09-13 |
| Alexander J. Summers | Member |
University of British Columbia
| Conference website ↗Checked 2026-09-13 |
| Milijana SurbatovichIdentity not yet linked | Member |
University of Maryland at College Park
| Conference website ↗Checked 2026-09-13 |
| Nicolas Tabareau | Member |
Inria
| Conference website ↗Checked 2026-09-13 |
| Shin Hwei Tan | Member |
Concordia University
| Conference website ↗Checked 2026-09-13 |
| Hiroshi Unno | Member |
Tohoku University
| Conference website ↗Checked 2026-09-13 |
| Caterina Urban | Member |
Inria - École Normale Supérieure
| Conference website ↗Checked 2026-09-13 |
| Viktor Vafeiadis | Member |
MPI-SWS
| Conference website ↗Checked 2026-09-13 |
| David Van Horn | Member |
University of Maryland
| Conference website ↗Checked 2026-09-13 |
| Margus Veanes | Member |
Microsoft Research
| Conference website ↗Checked 2026-09-13 |
| Mahesh Viswanathan | Member |
University of Illinois at Urbana-Champaign
| Conference website ↗Checked 2026-09-13 |
| Chengpeng Wang | Member |
National University of Singapore
| Conference website ↗Checked 2026-09-13 |
| Meng Wang | Member |
University of Bristol
| Conference website ↗Checked 2026-09-13 |
| Yu WangIdentity not yet linked | Member |
Nanjing University
| Conference website ↗Checked 2026-09-13 |
| Yuanhao Wei | Member |
University of British Columbia
| Conference website ↗Checked 2026-09-13 |
| Dominik Winterer | Member |
University of Manchester
| Conference website ↗Checked 2026-09-13 |
| Tobias Wrigstad | Member |
Uppsala University
| Conference website ↗Checked 2026-09-13 |
| Jeremy Yallop | Member |
University of Cambridge
| Conference website ↗Checked 2026-09-13 |
| Jianan Yao | Member |
University of Toronto
| Conference website ↗Checked 2026-09-13 |
| Peisen Yao | Member |
Zhejiang University
| Conference website ↗Checked 2026-09-13 |
| Qianchuan Ye | Member |
University at Buffalo, SUNY
University at Buffalo · State University of New York
| Conference website ↗Checked 2026-09-13 |
| Mingsheng Ying | Member |
University of Technology Sydney
| Conference website ↗Checked 2026-09-13 |
| Nobuko Yoshida | Member |
University of Oxford
| Conference website ↗Checked 2026-09-13 |
| Charles Yuan | Member |
University of Wisconsin-Madison
| Conference website ↗Checked 2026-09-13 |
| Yannick Zakowski | Member |
Inria
| Conference website ↗Checked 2026-09-13 |
| Qirun Zhang | Member |
Georgia Institute of Technology
| Conference website ↗Checked 2026-09-13 |
| Yu Zhang | Member |
University of Science and Technology of China
| Conference website ↗Checked 2026-09-13 |
| Li Zhou | Member |
Institute of Software, Chinese Academy of Sciences
Institute of Software · Chinese Academy of Sciences
| Conference website ↗Checked 2026-09-13 |
| Chijin Zhou | Member |
East China Normal University
| Conference website ↗Checked 2026-09-13 |
| Đorđe Žikelić | Member |
Singapore Management University
| Conference website ↗Checked 2026-09-13 |