--- title: "POPL (A*): papers and universities" description: "POPL (ACM-SIGACT Symposium on Principles of Programming Languages) is rated A* by the CORE Conference Rankings (ICORE2026); OpenAlex lists 263 of its papers from 2024–2026 (93 in 2024, 79 in 2025, 91 in 2026). By the countries of the authors' institutions, the most papers come from the United States (97), the United Kingdom (61) and Germany (46)." url: https://scholar4ai.com/proceedings/popl markdown_url: https://scholar4ai.com/proceedings/popl.md license: CC BY-NC 4.0 (https://creativecommons.org/licenses/by-nc/4.0/) share_text: "POPL (ACM-SIGACT Symposium on Principles of Programming Languages) is rated A* by the CORE Conference Rankings (ICORE2026); OpenAlex lists 263 of its papers from 2024–2026 (93 in 2024, 79 in 2025, 91 in 2026). (as of 2026-11-02)" data_url: https://scholar4ai.com/data/rankings.json updated: 2026-11-02T12:20:52+09:00 window: 2026-10-04 to 2026-11-02 source: OpenAlex (CC0) --- # POPL: ACM-SIGACT Symposium on Principles of Programming Languages — papers and institutions, 2024–2026 Papers of POPL, ACM-SIGACT Symposium on Principles of Programming Languages (CORE rank A*; field: Software engineering), 2024–2026: per year, the institutions, countries and topics, and the most-cited papers. Ranks are those of the CORE Conference Rankings, edition ICORE2026 (portal.core.edu.au), applied to every year shown. Papers are the works OpenAlex lists for the conference's proceedings, or for the issues of a conference-linked journal that publishes its papers (such as PACMPL, PVLDB or ACM TOG), by publication year; workshops, companion volumes, posters and Findings are left out. A paper counts once for each institution and country among its authors' affiliations as OpenAlex assigns them; papers without affiliations in OpenAlex count for none. For conferences published in book series that OpenAlex files as one source (LNCS, LIPIcs, SIAM and IOS Press proceedings), the papers are found by DOI: those of the volumes with the conference's title in Crossref, or LIPIcs DOIs, which name the conference. Conferences without DOIs (PMLR, USENIX, OpenReview) are listed without counts. A dash (–) for a year means OpenAlex has no papers of the conference for it yet: the proceedings are not published or indexed yet, or the conference did not meet that year (some meet every other year). 2026 counts what OpenAlex had indexed by 2026-11-02. All conferences: https://scholar4ai.com/proceedings.md ## Key findings - POPL (ACM-SIGACT Symposium on Principles of Programming Languages) is rated A* by the CORE Conference Rankings (ICORE2026); OpenAlex lists 263 of its papers from 2024–2026 (93 in 2024, 79 in 2025, 91 in 2026). - By the countries of the authors' institutions, the most papers come from the United States (97), the United Kingdom (61) and Germany (46). - The institutions with the most papers are Institut national de recherche en sciences et technologies du numérique (21), Centre National de la Recherche Scientifique (19) and Max Planck Institute for Software Systems (17). - Its most-cited paper of these years is “Thunks and Debits in Separation Logic with Time Credits” (2024), with 45 citations. ## Papers per year *POPL papers per publication year in OpenAlex (–: not in OpenAlex yet)* | Year | Papers | With affiliations | |---|---:|---:| | 2024 | 93 | 93 | | 2025 | 79 | 79 | | 2026 | 91 | 91 | ## Sources *Where OpenAlex lists the papers* | OpenAlex source | Which papers | |---|---| | [S4210216081](https://openalex.org/S4210216081) | Conference-linked journal (issue POPL) | ## Who publishes there *Institutions with the most POPL papers, 2024–2026* | # | Institution | Papers | |---:|---|---:| | 1 | Institut national de recherche en sciences et technologies du numérique | 21 | | 2 | [Centre National de la Recherche Scientifique](https://scholar4ai.com/institutions/centre-national-de-la-recherche-scientifique.md) | 19 | | 3 | Max Planck Institute for Software Systems | 17 | | 4 | Aarhus University | 16 | | 5 | Carnegie Mellon University | 13 | | 6 | University of Edinburgh | 13 | | 7 | Université Paris Cité | 10 | | 8 | Imperial College London | 10 | | 9 | [National University of Singapore](https://scholar4ai.com/institutions/national-university-of-singapore.md) | 9 | | 10 | University of Cambridge | 9 | *Countries with the most POPL papers, 2024–2026* | # | Country | Papers | |---:|---|---:| | 1 | United States | 97 | | 2 | United Kingdom | 61 | | 3 | Germany | 46 | | 4 | France | 46 | | 5 | Denmark | 22 | | 6 | China | 15 | | 7 | Netherlands | 15 | | 8 | Canada | 14 | | 9 | Italy | 14 | | 10 | Singapore | 12 | *Keywords with the most POPL papers, 2024–2026* | # | Keyword | Papers | |---:|---|---:| | 1 | program verification | 26 | | 2 | type systems | 20 | | 3 | Coq | 18 | | 4 | separation logic | 17 | | 5 | decidability | 13 | | 6 | denotational semantics | 11 | | 7 | formal verification | 11 | | 8 | type soundness | 11 | | 9 | SMT solvers | 10 | | 10 | concurrent programs | 10 | ## Most-cited papers *Most-cited POPL papers of 2024–2026 (citations counted by OpenAlex)* | # | Citations | Title | Published | Authors | |---:|---:|---|---|---| | 1 | 45 | [Thunks and Debits in Separation Logic with Time Credits](https://doi.org/10.1145/3632892) | 2024-01-02 | François Pottier, Armaël Guéneau, Jacques-Henri Jourdan et al. | | 2 | 24 | [Asynchronous Probabilistic Couplings in Higher-Order Separation Logic](https://doi.org/10.1145/3632868) | 2024-01-02 | Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter et al. | | 3 | 23 | [Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus](https://doi.org/10.1145/3704905) | 2025-01-07 | Yufan Cai, Zhé Hóu, David Sanán et al. | | 4 | 21 | [Validation of Modern JSON Schema: Formalization and Complexity](https://doi.org/10.1145/3632891) | 2024-01-02 | Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo et al. | | 5 | 20 | [Efficient Matching of Regular Expressions with Lookaround Assertions](https://doi.org/10.1145/3632934) | 2024-01-02 | Konstantinos Mamouras, Agnishom Chattopadhyay | | 6 | 18 | [Sound and Complete Proof Rules for Probabilistic Termination](https://doi.org/10.1145/3704899) | 2025-01-07 | Rupak Majumdar, V. R. Sathiyanarayana | | 7 | 16 | [API-Driven Program Synthesis for Testing Static Typing Implementations](https://doi.org/10.1145/3632904) | 2024-01-02 | Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su | | 8 | 15 | [Total Type Error Localization and Recovery with Holes](https://doi.org/10.1145/3632910) | 2024-01-02 | Eric Zhao, Raef Maroof, A Ambedkar Dukkipati et al. | | 9 | 15 | [Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement](https://doi.org/10.1145/3632851) | 2024-01-02 | Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco et al. | | 10 | 15 | [SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation](https://doi.org/10.1145/3632923) | 2024-01-02 | Yuxiang Peng, Jacob Young, Pengyu Liu et al. | ## Cite this page Scholar4AI. (2026). POPL: ACM-SIGACT Symposium on Principles of Programming Languages — papers and institutions, 2024–2026. Journal and Conference Research Rankings. Retrieved November 2, 2026, from https://scholar4ai.com/proceedings/popl ```bibtex @misc{scholar4ai-proceedings-popl, author = {{Scholar4AI}}, title = {POPL: ACM-SIGACT Symposium on Principles of Programming Languages — papers and institutions, 2024–2026}, year = {2026}, howpublished = {\url{https://scholar4ai.com/proceedings/popl}}, urldate = {2026-11-02}, note = {Journal and Conference Research Rankings; data from OpenAlex (CC0); licensed CC BY-NC 4.0} } ``` License: CC BY-NC 4.0 (https://creativecommons.org/licenses/by-nc/4.0/).