--- title: "PLDI (A*): papers and universities" description: "PLDI (ACM-SIGPLAN Conference on Programming Language Design and Implementation) is rated A* by the CORE Conference Rankings (ICORE2026); OpenAlex lists 285 of its papers from 2024–2026 (89 in 2024, 88 in 2025, 108 in 2026). By the countries of the authors' institutions, the most papers come from the United States (171), the United Kingdom (29) and Switzerland (27)." url: https://scholar4ai.com/proceedings/pldi markdown_url: https://scholar4ai.com/proceedings/pldi.md license: CC BY-NC 4.0 (https://creativecommons.org/licenses/by-nc/4.0/) share_text: "PLDI (ACM-SIGPLAN Conference on Programming Language Design and Implementation) is rated A* by the CORE Conference Rankings (ICORE2026); OpenAlex lists 285 of its papers from 2024–2026 (89 in 2024, 88 in 2025, 108 in… (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) --- # PLDI: ACM-SIGPLAN Conference on Programming Language Design and Implementation — papers and institutions, 2024–2026 Papers of PLDI, ACM-SIGPLAN Conference on Programming Language Design and Implementation (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 - PLDI (ACM-SIGPLAN Conference on Programming Language Design and Implementation) is rated A* by the CORE Conference Rankings (ICORE2026); OpenAlex lists 285 of its papers from 2024–2026 (89 in 2024, 88 in 2025, 108 in 2026). - By the countries of the authors' institutions, the most papers come from the United States (171), the United Kingdom (29) and Switzerland (27). - The institutions with the most papers are ETH Zurich (20), Massachusetts Institute of Technology (19) and Microsoft (United States) (14). - Its most-cited paper of these years is “Allo: A Programming Model for Composable Accelerator Design” (2024), with 42 citations. ## Papers per year *PLDI papers per publication year in OpenAlex (–: not in OpenAlex yet)* | Year | Papers | With affiliations | |---|---:|---:| | 2024 | 89 | 89 | | 2025 | 88 | 87 | | 2026 | 108 | 108 | ## Sources *Where OpenAlex lists the papers* | OpenAlex source | Which papers | |---|---| | [S4210216081](https://openalex.org/S4210216081) | Conference-linked journal (issue PLDI) | ## Who publishes there *Institutions with the most PLDI papers, 2024–2026* | # | Institution | Papers | |---:|---|---:| | 1 | ETH Zurich | 20 | | 2 | Massachusetts Institute of Technology | 19 | | 3 | Microsoft (United States) | 14 | | 4 | Northeastern University | 14 | | 5 | Carnegie Mellon University | 13 | | 6 | Korea Advanced Institute of Science and Technology | 12 | | 7 | University of Illinois Urbana-Champaign | 10 | | 8 | Aarhus University | 10 | | 9 | University of Edinburgh | 10 | | 10 | University of Lisbon | 9 | *Countries with the most PLDI papers, 2024–2026* | # | Country | Papers | |---:|---|---:| | 1 | United States | 171 | | 2 | United Kingdom | 29 | | 3 | Switzerland | 27 | | 4 | China | 24 | | 5 | Germany | 21 | | 6 | South Korea | 17 | | 7 | Denmark | 15 | | 8 | France | 13 | | 9 | Canada | 11 | | 10 | Singapore | 11 | *Keywords with the most PLDI papers, 2024–2026* | # | Keyword | Papers | |---:|---|---:| | 1 | Coq | 22 | | 2 | program synthesis | 19 | | 3 | compiler optimization | 14 | | 4 | type systems | 13 | | 5 | formal verification | 12 | | 6 | denotational semantics | 11 | | 7 | separation logic | 11 | | 8 | Rust | 10 | | 9 | domain-specific languages | 10 | | 10 | symbolic execution | 10 | ## Most-cited papers *Most-cited PLDI papers of 2024–2026 (citations counted by OpenAlex)* | # | Citations | Title | Published | Authors | |---:|---:|---|---|---| | 1 | 42 | [Allo: A Programming Model for Composable Accelerator Design](https://doi.org/10.1145/3656401) | 2024-06-20 | Hongzheng Chen, Niansong Zhang, Shaojie Xiang et al. | | 2 | 31 | [RefinedRust: A Type System for High-Assurance Verification of Rust Programs](https://doi.org/10.1145/3656422) | 2024-06-20 | Lennard Gäher, Michael Sammler, Ralf Jung et al. | | 3 | 30 | [Bringing the WebAssembly Standard up to Speed with SpecTec](https://doi.org/10.1145/3656440) | 2024-06-20 | Dongjun Youn, Wonho Shin, Jaehyun Lee et al. | | 4 | 30 | [Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties](https://doi.org/10.1145/3656437) | 2024-06-20 | Thibault Dardinier, Péter Müller | | 5 | 26 | [Boosting Compiler Testing by Injecting Real-World Code](https://doi.org/10.1145/3656386) | 2024-06-20 | Shaohua Li, Theodoros Theodoridis, Zhendong Su | | 6 | 24 | [A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption](https://doi.org/10.1145/3656382) | 2024-06-20 | Aleksandar Krastev, Nikola Samardzic, Simon Langowski et al. | | 7 | 23 | [Scalable, Validated Code Translation of Entire Projects using Large Language Models](https://doi.org/10.1145/3729315) | 2025-06-10 | Hanliang Zhang, Cristina David, Meng Wang et al. | | 8 | 21 | [Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation](https://doi.org/10.1145/3656406) | 2024-06-20 | Jaemin Hong, Sukyoung Ryu | | 9 | 16 | [Symbolic Execution for Quantum Error Correction Programs](https://doi.org/10.1145/3656419) | 2024-06-20 | Wang Sheng Fang, Mingsheng Ying | | 10 | 15 | [Efficient Formal Verification of Quantum Error Correcting Programs](https://doi.org/10.1145/3729293) | 2025-06-10 | Qifan Huang, Li Zhou, Wang Sheng Fang et al. | ## Cite this page Scholar4AI. (2026). PLDI: ACM-SIGPLAN Conference on Programming Language Design and Implementation — papers and institutions, 2024–2026. Journal and Conference Research Rankings. Retrieved November 2, 2026, from https://scholar4ai.com/proceedings/pldi ```bibtex @misc{scholar4ai-proceedings-pldi, author = {{Scholar4AI}}, title = {PLDI: ACM-SIGPLAN Conference on Programming Language Design and Implementation — papers and institutions, 2024–2026}, year = {2026}, howpublished = {\url{https://scholar4ai.com/proceedings/pldi}}, 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/).