THE PEOPLE BEHIND THE CONFERENCE
POPL 2025
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Source-attributed rosters checked 2026-09-13. 237 collected records; 32 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source.
Artifact Evaluation Committee POPL Artifact Evaluation
48 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Caleb Stanford | Co-chair | University of California, Davis | Conference website ↗Checked 2026-09-13 |
| Vadim Zaliva | Co-chair | University of Cambridge, UK | Conference website ↗Checked 2026-09-13 |
| Ariel E. Kellison | Artifact Evaluation Committee POPL Artifact Evaluation | Cornell University | Conference website ↗Checked 2026-09-13 |
| Rui Dong | Artifact Evaluation Committee POPL Artifact Evaluation | University of Michigan | Conference website ↗Checked 2026-09-13 |
| Mohit Tekriwal | Artifact Evaluation Committee POPL Artifact Evaluation | Lawrence Livermore National Laboratory | Conference website ↗Checked 2026-09-13 |
| Deivid Vale | Artifact Evaluation Committee POPL Artifact Evaluation | Radboud University | Conference website ↗Checked 2026-09-13 |
| Pinhan Zhao | Artifact Evaluation Committee POPL Artifact Evaluation | University of Michigan | Conference website ↗Checked 2026-09-13 |
| Stefania Damato | Artifact Evaluation Committee POPL Artifact Evaluation | University of Nottingham | Conference website ↗Checked 2026-09-13 |
| Cheng Zhang | Artifact Evaluation Committee POPL Artifact Evaluation | University College London (UCL) | Conference website ↗Checked 2026-09-13 |
| Songlin Jia | Artifact Evaluation Committee POPL Artifact Evaluation | Purdue University, USA | Conference website ↗Checked 2026-09-13 |
| Cyrus Liu | Artifact Evaluation Committee POPL Artifact Evaluation | Samsung Semiconductor | Conference website ↗Checked 2026-09-13 |
| Mallku Soldevila | Artifact Evaluation Committee POPL Artifact Evaluation | FAMAF, UNC (Argentina) / CONICET (Argentina) FAMAF · UNC · Consejo Nacional de Investigaciones Científicas y Técnicas | Conference website ↗Checked 2026-09-13 |
| Shaopeng ZhuIdentity not yet linked | Artifact Evaluation Committee POPL Artifact Evaluation | Currently in industry | Conference website ↗Checked 2026-09-13 |
| Weihao QuIdentity not yet linked | Artifact Evaluation Committee POPL Artifact Evaluation | Monmouth University | Conference website ↗Checked 2026-09-13 |
| Stefan Zetzsche | Artifact Evaluation Committee POPL Artifact Evaluation | Amazon Web Services | Conference website ↗Checked 2026-09-13 |
| Abhishek Kr SinghIdentity not yet linked | Artifact Evaluation Committee POPL Artifact Evaluation | National University of Singapore | Conference website ↗Checked 2026-09-13 |
| Zhengxiong Luo | Artifact Evaluation Committee POPL Artifact Evaluation | National University of Singapore | Conference website ↗Checked 2026-09-13 |
| Andong FanIdentity not yet linked | Artifact Evaluation Committee POPL Artifact Evaluation | University of Toronto | Conference website ↗Checked 2026-09-13 |
| Neea Rusch | Artifact Evaluation Committee POPL Artifact Evaluation | Augusta University | Conference website ↗Checked 2026-09-13 |
| Dong Chen | Artifact Evaluation Committee POPL Artifact Evaluation | Huawei | Conference website ↗Checked 2026-09-13 |
| Yudai Tanabe | Artifact Evaluation Committee POPL Artifact Evaluation | Institute of Science Tokyo | Conference website ↗Checked 2026-09-13 |
| Runming Li | Artifact Evaluation Committee POPL Artifact Evaluation | Carnegie Mellon University | Conference website ↗Checked 2026-09-13 |
| Peixin Wang | Artifact Evaluation Committee POPL Artifact Evaluation | University of Oxford | Conference website ↗Checked 2026-09-13 |
| Litao ZhouIdentity not yet linked | Artifact Evaluation Committee POPL Artifact Evaluation | University of Hong Kong | Conference website ↗Checked 2026-09-13 |
| Joshua M. Cohen | Artifact Evaluation Committee POPL Artifact Evaluation | Princeton University | Conference website ↗Checked 2026-09-13 |
| Vincenzo Arceri | Artifact Evaluation Committee POPL Artifact Evaluation | University of Parma, Italy | Conference website ↗Checked 2026-09-13 |
| Mário Pereira | Artifact Evaluation Committee POPL Artifact Evaluation | NOVA LINCS & DI -- Nova School of Science and Technology Laboratório para a Ciência da Computação e Informática · DI -- Nova School of Science and Technology | Conference website ↗Checked 2026-09-13 |
| Mario Frank | Artifact Evaluation Committee POPL Artifact Evaluation | University of Potsdam | Conference website ↗Checked 2026-09-13 |
| Anjiang Wei | Artifact Evaluation Committee POPL Artifact Evaluation | Stanford University | Conference website ↗Checked 2026-09-13 |
| Jing LiuIdentity not yet linked | Artifact Evaluation Committee POPL Artifact Evaluation | UC Irvine; MPI-SP University of California, Irvine · Max Planck Institute for Security and Privacy | Conference website ↗Checked 2026-09-13 |
| Marco GiuntiIdentity not yet linked | Artifact Evaluation Committee POPL Artifact Evaluation | University of Oxford | Conference website ↗Checked 2026-09-13 |
| Loïc Peyrot | Artifact Evaluation Committee POPL Artifact Evaluation | IMDEA Software Institute | Conference website ↗Checked 2026-09-13 |
| Jaime Arias | Artifact Evaluation Committee POPL Artifact Evaluation | CNRS; LIPN; Université Sorbonne Paris Nord CNRS · Laboratoire d'Informatique de Paris-Nord · Université Sorbonne Paris Nord | Conference website ↗Checked 2026-09-13 |
| Meghana Aparna Sistla | Artifact Evaluation Committee POPL Artifact Evaluation | The University of Texas at Austin | Conference website ↗Checked 2026-09-13 |
| Baber Rehman | Artifact Evaluation Committee POPL Artifact Evaluation | University of Hong Kong | Conference website ↗Checked 2026-09-13 |
| Bhakti ShahIdentity not yet linked | Artifact Evaluation Committee POPL Artifact Evaluation | University of St. Andrews | Conference website ↗Checked 2026-09-13 |
| Orestis MelkonianIdentity not yet linked | Artifact Evaluation Committee POPL Artifact Evaluation | Input Output Global (IOG/IOHK) | Conference website ↗Checked 2026-09-13 |
| Carlos Tome Cortinas | Artifact Evaluation Committee POPL Artifact Evaluation | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Frédéric Fort | Artifact Evaluation Committee POPL Artifact Evaluation | University of Lille | Conference website ↗Checked 2026-09-13 |
| Karuna GrewalIdentity not yet linked | Artifact Evaluation Committee POPL Artifact Evaluation | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Matthew Lutze | Artifact Evaluation Committee POPL Artifact Evaluation | Aarhus University | Conference website ↗Checked 2026-09-13 |
| Xiangyu Zhou | Artifact Evaluation Committee POPL Artifact Evaluation | University of Michigan | Conference website ↗Checked 2026-09-13 |
| Anxhelo XhebrajIdentity not yet linked | Artifact Evaluation Committee POPL Artifact Evaluation | NVIDIA | Conference website ↗Checked 2026-09-13 |
| Fabian Ruch | Artifact Evaluation Committee POPL Artifact Evaluation | Unaffiliated | Conference website ↗Checked 2026-09-13 |
| Breandan Considine | Artifact Evaluation Committee POPL Artifact Evaluation | McGill University | Conference website ↗Checked 2026-09-13 |
| Poorva Garg | Artifact Evaluation Committee POPL Artifact Evaluation | University of California, Los Angeles | Conference website ↗Checked 2026-09-13 |
| Mike He | Artifact Evaluation Committee POPL Artifact Evaluation | Princeton University | Conference website ↗Checked 2026-09-13 |
| Danielle MarshallIdentity not yet linked | Artifact Evaluation Committee POPL Artifact Evaluation | University of Glasgow | Conference website ↗Checked 2026-09-13 |
AV Committee POPL 2025
6 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Jan-Paul Ramos-Davila | AV Committee POPL 2025 | Cornell University | Conference website ↗Checked 2026-09-13 |
| Angel Pavlov Angelov | AV Committee POPL 2025 | Sofia University | Conference website ↗Checked 2026-09-13 |
| Apoorv Ingle | AV Committee POPL 2025 | University of Iowa | Conference website ↗Checked 2026-09-13 |
| Guilherme EspadaIdentity not yet linked | AV Committee POPL 2025 | LASIGE, University of Lisbon Laboratório de Sistemas Informáticos de Grande Escala · University of Lisbon | Conference website ↗Checked 2026-09-13 |
| Nicola AssoliniIdentity not yet linked | AV Committee POPL 2025 | University of Verona | Conference website ↗Checked 2026-09-13 |
| Christopher Lam | AV Committee POPL 2025 | University of Illinois at Urbana-Champaign | Conference website ↗Checked 2026-09-13 |
Organizing Committee POPL 2025
19 service recordsProgram Committee POPL
82 service recordsSelection Committee POPL Student Research Competition
10 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Neel Krishnaswami | Student Research Competition Chair | University of Cambridge | Conference website ↗Checked 2026-09-13 |
| Ralf Jung | Student Research Competition Chair | ETH Zurich | Conference website ↗Checked 2026-09-13 |
| Jacques Carette | Selection Committee POPL Student Research Competition | McMaster University | Conference website ↗Checked 2026-09-13 |
| Joseph Tassarotti | Selection Committee POPL Student Research Competition | New York University | Conference website ↗Checked 2026-09-13 |
| Kathrin Stark | Selection Committee POPL Student Research Competition | Heriot-Watt University | Conference website ↗Checked 2026-09-13 |
| Konstantinos Mamouras | Selection Committee POPL Student Research Competition | Rice University | Conference website ↗Checked 2026-09-13 |
| Robert Atkey | Selection Committee POPL Student Research Competition | University of Strathclyde | Conference website ↗Checked 2026-09-13 |
| Robin Kaarsgaard | Selection Committee POPL Student Research Competition | University of Southern Denmark | Conference website ↗Checked 2026-09-13 |
| Sam Westrick | Selection Committee POPL Student Research Competition | New York University | Conference website ↗Checked 2026-09-13 |
| Yuyan Bao | Selection Committee POPL Student Research Competition | Augusta University | Conference website ↗Checked 2026-09-13 |
Student Volunteers POPL 2025
49 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Muqsit Azeem | Student Volunteers POPL 2025 | Technical University of Munich | Conference website ↗Checked 2026-09-13 |
| Dakota BryanIdentity not yet linked | Student Volunteers POPL 2025 | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Ronaldo Canizales | Student Volunteers POPL 2025 | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Devora Chait-Roth | Student Volunteers POPL 2025 | New York University | Conference website ↗Checked 2026-09-13 |
| Jonathan Chan | Student Volunteers POPL 2025 | University of Pennsylvania | Conference website ↗Checked 2026-09-13 |
| Yo-Ga Chen | Student Volunteers POPL 2025 | Academia Sinica | Conference website ↗Checked 2026-09-13 |
| Hanxi ChenIdentity not yet linked | Student Volunteers POPL 2025 | University of Pennsylvania | Conference website ↗Checked 2026-09-13 |
| Eloise Christian | Student Volunteers POPL 2025 | Rochester Institute of Technology | Conference website ↗Checked 2026-09-13 |
| Nicholas Coltharp | Student Volunteers POPL 2025 | Portland State University | Conference website ↗Checked 2026-09-13 |
| Kanak Das | Student Volunteers POPL 2025 | University of California, Riverside | Conference website ↗Checked 2026-09-13 |
| Amirali Ebrahimzadeh | Student Volunteers POPL 2025 | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Eric Giovannini | Student Volunteers POPL 2025 | University of Michigan | Conference website ↗Checked 2026-09-13 |
| Priyam Gupta | Student Volunteers POPL 2025 | Purdue University | Conference website ↗Checked 2026-09-13 |
| Simon Henniger | Student Volunteers POPL 2025 | Technical University of Munich | Conference website ↗Checked 2026-09-13 |
| Laura Israel | Student Volunteers POPL 2025 | Portland State University | Conference website ↗Checked 2026-09-13 |
| JJ | Student Volunteers POPL 2025 | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Shengyi Jiang | Student Volunteers POPL 2025 | The University of Hong Kong | Conference website ↗Checked 2026-09-13 |
| Nat Karmios | Student Volunteers POPL 2025 | Imperial College London | Conference website ↗Checked 2026-09-13 |
| Thea Kjeldsmark | Student Volunteers POPL 2025 | University of California, Irvine | Conference website ↗Checked 2026-09-13 |
| Nicholas V. Lewchenko | Student Volunteers POPL 2025 | University of Colorado Boulder | Conference website ↗Checked 2026-09-13 |
| Cynthia Li | Student Volunteers POPL 2025 | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Kirby Linvill | Student Volunteers POPL 2025 | University of Colorado Boulder | Conference website ↗Checked 2026-09-13 |
| Fang-Yi Lo | Student Volunteers POPL 2025 | Academia Sinica | Conference website ↗Checked 2026-09-13 |
| Prasita Mukherjee | Student Volunteers POPL 2025 | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Chandra Kanth Nagesh | Student Volunteers POPL 2025 | University of Colorado Boulder | Conference website ↗Checked 2026-09-13 |
| Hitomi Nakayama | Student Volunteers POPL 2025 | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Manasvi Parikh | Student Volunteers POPL 2025 | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Katherine Philip | Student Volunteers POPL 2025 | Portland State University | Conference website ↗Checked 2026-09-13 |
| Jared Pincus | Student Volunteers POPL 2025 | Boston University | Conference website ↗Checked 2026-09-13 |
| Michael Piskozub | Student Volunteers POPL 2025 | University at Buffalo, SUNY University at Buffalo · State University of New York | Conference website ↗Checked 2026-09-13 |
| Ryan Pitasky | Student Volunteers POPL 2025 | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Caspar Popova | Student Volunteers POPL 2025 | University of Maryland College Park | Conference website ↗Checked 2026-09-13 |
| Matthew Ruiz | Student Volunteers POPL 2025 | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Neea Rusch | Student Volunteers POPL 2025 | Augusta University | Conference website ↗Checked 2026-09-13 |
| Sundara Vishnu SatishIdentity not yet linked | Student Volunteers POPL 2025 | University of Michigan - Ann Arbor | Conference website ↗Checked 2026-09-13 |
| Violetta Sim | Student Volunteers POPL 2025 | Innopolis University | Conference website ↗Checked 2026-09-13 |
| Shriya Thakur | Student Volunteers POPL 2025 | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Wei-Lun Tsai | Student Volunteers POPL 2025 | Academia Sinica | Conference website ↗Checked 2026-09-13 |
| Jan van Brügge | Student Volunteers POPL 2025 | Heriot-Watt University | Conference website ↗Checked 2026-09-13 |
| Ian Erik Varatalu | Student Volunteers POPL 2025 | Tallinn University of Technology, Estonia | Conference website ↗Checked 2026-09-13 |
| Juan Vasquez | Student Volunteers POPL 2025 | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Rameez Wajid | Student Volunteers POPL 2025 | University of Colorado Boulder | Conference website ↗Checked 2026-09-13 |
| Claire Wang | Student Volunteers POPL 2025 | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Ruifeng Xie | Student Volunteers POPL 2025 | Peking University | Conference website ↗Checked 2026-09-13 |
| Jonathon Yallop | Student Volunteers POPL 2025 | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Kevin Ye | Student Volunteers POPL 2025 | Simon Fraser University | Conference website ↗Checked 2026-09-13 |
| Litao ZhouIdentity not yet linked | Student Volunteers POPL 2025 | University of Hong Kong | Conference website ↗Checked 2026-09-13 |
| Ekaterina Zhuchko | Student Volunteers POPL 2025 | Tallinn University of Technology | Conference website ↗Checked 2026-09-13 |
| Conrad Zimmerman | Student Volunteers POPL 2025 | Northeastern University | Conference website ↗Checked 2026-09-13 |
CoqPL
Workshop organizers 2 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Benjamin Delaware | Co-chair | Purdue University | Conference website ↗Checked 2026-09-13 |
| Kathrin Stark | Co-chair | Heriot-Watt University | Conference website ↗Checked 2026-09-13 |
Dafny
Workshop organizers 1 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Stefan Zetzsche | PC Chair | Amazon Web Services | Conference website ↗Checked 2026-09-13 |
LAFI
Workshop organizers 2 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Atılım Güneş Baydin | Co-chair | University of Oxford | Conference website ↗Checked 2026-09-13 |
| Matthijs Vákár | Co-chair | Utrecht University | Conference website ↗Checked 2026-09-13 |
PEPM
Workshop organizers 2 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Guillaume Allais | Chairs PEPM | University of Strathclyde | Conference website ↗Checked 2026-09-13 |
| Y. Annie Liu | Chairs PEPM | Stony Brook University | Conference website ↗Checked 2026-09-13 |
PLanQC
Workshop organizers 5 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Jennifer PaykinIdentity not yet linked | Organizing Committee PLanQC | Intel | Conference website ↗Checked 2026-09-13 |
| Matthew Amy | Organizing Committee PLanQC | Simon Fraser University | Conference website ↗Checked 2026-09-13 |
| Ross Duncan | Organizing Committee PLanQC | Quantinuum | Conference website ↗Checked 2026-09-13 |
| Robert Rand | Organizing Committee PLanQC | University of Chicago | Conference website ↗Checked 2026-09-13 |
| Mathys RennelaIdentity not yet linked | Organizing Committee PLanQC | Welinq | Conference website ↗Checked 2026-09-13 |
PLMW @ POPL
Workshop organizers 4 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Bor-Yuh Evan Chang | Organizing Committee PLMW @ POPL | University of Colorado Boulder & Amazon University of Colorado Boulder · Amazon | Conference website ↗Checked 2026-09-13 |
| Yannick Forster | Organizing Committee PLMW @ POPL | INRIA | Conference website ↗Checked 2026-09-13 |
| Andrew K. Hirsch | Organizing Committee PLMW @ POPL | University at Buffalo, SUNY University at Buffalo · State University of New York | Conference website ↗Checked 2026-09-13 |
| Leonidas Lampropoulos | Organizing Committee PLMW @ POPL | University of Maryland, College Park | Conference website ↗Checked 2026-09-13 |
PriSC
Workshop organizers 2 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Marco Patrignani | Co-chair | University of Trento | Conference website ↗Checked 2026-09-13 |
| Marco Vassena | Co-chair | Utrecht University | Conference website ↗Checked 2026-09-13 |
TPSA
Workshop organizers 3 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Azalea Raad | Organizing Committee TPSA | Imperial College London | Conference website ↗Checked 2026-09-13 |
| Jules Villard | Organizing Committee TPSA | Meta | Conference website ↗Checked 2026-09-13 |
| Noam Zilberstein | Organizing Committee TPSA | Cornell University | Conference website ↗Checked 2026-09-13 |
WAW
Workshop organizers 1 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Conrad Watt | Organizing Chair | Nanyang Technological University | Conference website ↗Checked 2026-09-13 |
WITS
Workshop organizers 1 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Sebastian Ullrich | Chair | Lean FRO | Conference website ↗Checked 2026-09-13 |