Software Engineering, System Software, and Programming Languages
POPL
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Conference editions
4 indexed2026 Complete roster coverage
Source-attributed rosters checked 2026-09-13. 252 collected records; 28 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source.
2025 Complete roster coverageSource-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.
2024 Complete roster coverageSource-attributed rosters checked 2026-09-13. 232 collected records; 25 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source.
2023 Complete roster coverageSource-attributed rosters checked 2026-09-13. 167 collected records; 27 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source.
2023–2026 collection coverage
Source coverage and identity linking are separate. Unlinked names remain visible in rosters, but do not contribute to personal histories or rankings.
| Year | Source coverage | Published appointments | Source gaps |
|---|---|---|---|
| 2023 | Complete | 167 | Source / reference ↗ |
| 2024 | Complete | 232 | Source / reference ↗ |
| 2025 | Complete | 237 | Source / reference ↗ |
| 2026 | Complete | 252 | Source / reference ↗ |
Standing committees
Series-level snapshotObserved 2026-09-13. This source lists a standing committee without an appointment year; it is not an annual service record. Official source ↗
Dafny
Workshop organizers 7 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Olivier Bouissou | Steering Committee Chairs Dafny | Amazon Web Services | Conference website ↗Checked 2026-09-13 |
| K. Rustan M. Leino | Steering Committee Chairs Dafny | Amazon | Conference website ↗Checked 2026-09-13 |
| Joseph Tassarotti | Steering Committee Chairs Dafny | New York University | Conference website ↗Checked 2026-09-13 |
| Jean-Baptiste TristanIdentity not yet linked | Steering Committee Chairs Dafny | Amazon | Conference website ↗Checked 2026-09-13 |
| K. Rustan M. Leino | Steering Committee Chair | Amazon | Conference website ↗Checked 2026-09-13 |
| Jean-Baptiste Tristan | Steering Committee Chair | Amazon Web Services | Conference website ↗Checked 2026-09-13 |
| Joseph Tassarotti | Steering Committee Chair | New York University | Conference website ↗Checked 2026-09-13 |
LAFI
Workshop organizers 13 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Cameron Freer | Steering Committee LAFI | Massachusetts Institute of Technology | Conference website ↗Checked 2026-09-13 |
| Ohad Kammar | Steering Committee LAFI | University of Edinburgh | Conference website ↗Checked 2026-09-13 |
| Dougal Maclaurin | Steering Committee LAFI | Google Research | Conference website ↗Checked 2026-09-13 |
| Chung-chieh Shan | Steering Committee LAFI | Indiana University, USA | Conference website ↗Checked 2026-09-13 |
| Jeffrey Mark Siskind | Steering Committee LAFI | Elmore Family School of Electrical and Computer Engineering, Purdue University Elmore Family School of Electrical · Computer Engineering, Purdue University | Conference website ↗Checked 2026-09-13 |
| Jean-Baptiste Tristan | Steering Committee LAFI | Amazon Web Services | Conference website ↗Checked 2026-09-13 |
| Chung-chieh ShanIdentity not yet linked | Steering Committee LAFI | Indiana University | Conference website ↗Checked 2026-09-13 |
| Steven Holtzen | Steering Committee LAFI | Northeastern University | Conference website ↗Checked 2026-09-13 |
| Dougal MaclaurinIdentity not yet linked | Steering Committee LAFI | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Christine Tasson | Steering Committee LAFI | Sorbonne Université — LIP6 | Conference website ↗Checked 2026-09-13 |
| Jean-Baptiste TristanIdentity not yet linked | Steering Committee LAFI | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Jean-Baptiste TristanIdentity not yet linked | Steering Committee LAFI | Amazon | Conference website ↗Checked 2026-09-13 |
| Matthijs Vákár | Steering Committee LAFI | Utrecht University | Conference website ↗Checked 2026-09-13 |
PriSC
Workshop organizers 30 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Amal Ahmed | Steering Committee PriSC | Northeastern University, USA | Conference website ↗Checked 2026-09-13 |
| Lesly-Ann DanielIdentity not yet linked | Steering Committee PriSC | EURECOM | Conference website ↗Checked 2026-09-13 |
| Chris FallinIdentity not yet linked | Steering Committee PriSC | F5 | Conference website ↗Checked 2026-09-13 |
| Marco GuarnieriIdentity not yet linked | Steering Committee PriSC | IMDEA Software Institute | Conference website ↗Checked 2026-09-13 |
| Catalin Hritcu | Steering Committee PriSC | MPI-SP | Conference website ↗Checked 2026-09-13 |
| Andrew Myers | Steering Committee PriSC | Cornell University | Conference website ↗Checked 2026-09-13 |
| Marco Patrignani | Steering Committee PriSC | University of Trento | Conference website ↗Checked 2026-09-13 |
| Frank Piessens | Steering Committee PriSC | KU Leuven | Conference website ↗Checked 2026-09-13 |
| Shweta ShindeIdentity not yet linked | Steering Committee PriSC | ETH Zurich | Conference website ↗Checked 2026-09-13 |
| Deian Stefan | Steering Committee PriSC | University of California at San Diego | Conference website ↗Checked 2026-09-13 |
| Marco Vassena | Steering Committee PriSC | Utrecht University | Conference website ↗Checked 2026-09-13 |
| Catalin Hritcu | Steering Committee Chair | MPI-SP | Conference website ↗Checked 2026-09-13 |
| Dominique Devriese | Steering Committee PriSC | KU Leuven | Conference website ↗Checked 2026-09-13 |
| Deepak GargIdentity not yet linked | Steering Committee PriSC | MPI-SWS | Conference website ↗Checked 2026-09-13 |
| Michael HicksIdentity not yet linked | Steering Committee PriSC | University of Maryland; Amazon University of Maryland · Amazon | Conference website ↗Checked 2026-09-13 |
| Santosh NagarakatteIdentity not yet linked | Steering Committee PriSC | Rutgers University | Conference website ↗Checked 2026-09-13 |
| Jonathan ProtzenkoIdentity not yet linked | Steering Committee PriSC | Microsoft Research, Redmond | Conference website ↗Checked 2026-09-13 |
| Tamara Rezk | Steering Committee PriSC | INRIA | Conference website ↗Checked 2026-09-13 |
| Deian Stefan | Steering Committee Chair | University of California at San Diego | Conference website ↗Checked 2026-09-13 |
| Amal Ahmed | Steering Committee Member | Northeastern University, USA | Conference website ↗Checked 2026-09-13 |
| Dominique Devriese | Steering Committee Member | KU Leuven | Conference website ↗Checked 2026-09-13 |
| Chris Fallin | Steering Committee Member | Fastly | Conference website ↗Checked 2026-09-13 |
| Marco GuarnieriIdentity not yet linked | Steering Committee Member | IMDEA Software Institute | Conference website ↗Checked 2026-09-13 |
| Catalin Hritcu | Steering Committee Member | MPI-SP | Conference website ↗Checked 2026-09-13 |
| Andrew Myers | Steering Committee Member | Cornell University | Conference website ↗Checked 2026-09-13 |
| Marco Patrignani | Steering Committee Member | University of Trento | Conference website ↗Checked 2026-09-13 |
| Frank Piessens | Steering Committee Member | KU Leuven | Conference website ↗Checked 2026-09-13 |
| Jonathan ProtzenkoIdentity not yet linked | Steering Committee Member | Microsoft Research, Redmond | Conference website ↗Checked 2026-09-13 |
| Shweta ShindeIdentity not yet linked | Steering Committee Member | ETH Zurich | Conference website ↗Checked 2026-09-13 |
| Jonathan ProtzenkoIdentity not yet linked | Steering Committee PriSC | Microsoft Azure Research | Conference website ↗Checked 2026-09-13 |
CCF categories describe the CCF 7th edition (2026) catalog, not the category held by each historical edition.