Scholar4AI Updated 2026-11-02 12:20 UTC+09:00

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. Also as Markdown.

Share: X LinkedIn Bluesky Threads Facebook Reddit Hacker News Hatena LINE Email
Copy:

← All conferences

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)
YearPapersWith affiliations
20248989
20258887
2026108108

Sources#

Where OpenAlex lists the papers
OpenAlex sourceWhich papers
S4210216081Conference-linked journal (issue PLDI)

Who publishes there#

Institutions with the most PLDI papers, 2024–2026
#InstitutionPapers
1ETH Zurich20
2Massachusetts Institute of Technology19
3Microsoft (United States)14
4Northeastern University14
5Carnegie Mellon University13
6Korea Advanced Institute of Science and Technology12
7University of Illinois Urbana-Champaign10
8Aarhus University10
9University of Edinburgh10
10University of Lisbon9
Countries with the most PLDI papers, 2024–2026
#CountryPapers
1United States171
2United Kingdom29
3Switzerland27
4China24
5Germany21
6South Korea17
7Denmark15
8France13
9Canada11
10Singapore11
Keywords with the most PLDI papers, 2024–2026
#KeywordPapers
1Coq22
2program synthesis19
3compiler optimization14
4type systems13
5formal verification12
6denotational semantics11
7separation logic11
8Rust10
9domain-specific languages10
10symbolic execution10

Most-cited papers#

Most-cited PLDI papers of 2024–2026 (citations counted by OpenAlex)
#CitationsTitlePublishedAuthors
142Allo: A Programming Model for Composable Accelerator Design2024-06-20Hongzheng Chen, Niansong Zhang, Shaojie Xiang et al.
231RefinedRust: A Type System for High-Assurance Verification of Rust Programs2024-06-20Lennard Gäher, Michael Sammler, Ralf Jung et al.
330Bringing the WebAssembly Standard up to Speed with SpecTec2024-06-20Dongjun Youn, Wonho Shin, Jaehyun Lee et al.
430Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties2024-06-20Thibault Dardinier, Péter Müller
526Boosting Compiler Testing by Injecting Real-World Code2024-06-20Shaohua Li, Theodoros Theodoridis, Zhendong Su
624A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption2024-06-20Aleksandar Krastev, Nikola Samardzic, Simon Langowski et al.
723Scalable, Validated Code Translation of Entire Projects using Large Language Models2025-06-10Hanliang Zhang, Cristina David, Meng Wang et al.
821Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation2024-06-20Jaemin Hong, Sukyoung Ryu
916Symbolic Execution for Quantum Error Correction Programs2024-06-20Wang Sheng Fang, Mingsheng Ying
1015Efficient Formal Verification of Quantum Error Correcting Programs2025-06-10Qifan Huang, Li Zhou, Wang Sheng Fang et al.

Conferences in the same field#

ICSE · ASE · ASPLOS · FSE · ISCA · POPL · CAV · SIGMETRICS · DATE · OOPSLA · ISSTA · MODELS · MSR · SANER · ICST · EASE · RE · ICSME · TACAS · ICPC · CGO · ESEM · ISSRE · BPM · ICFP · ICSA · IJCAR · SEAMS · ECOOP

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

@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}
}

Free to reuse for non-commercial purposes with attribution (CC BY-NC 4.0).