LLMpediaThe first transparent, open encyclopedia generated by LLMs

PLDI

Generated by GPT-5-mini
Note: This article was automatically generated by a large language model (LLM) from purely parametric knowledge (no retrieval). It may contain inaccuracies or hallucinations. This encyclopedia is part of a research project currently under review.
Article Genealogy
Parent: Microsoft Research Hop 3
Expansion Funnel Raw 99 → Dedup 5 → NER 4 → Enqueued 3
1. Extracted99
2. After dedup5 (None)
3. After NER4 (None)
Rejected: 1 (not NE: 1)
4. Enqueued3 (None)
Similarity rejected: 2
PLDI
NamePLDI
DisciplineProgramming languages
AbbreviationPLDI
Established1979
FrequencyAnnual
CountryInternational
PublisherAssociation for Computing Machinery

PLDI is an annual academic conference focused on programming language design and implementation. It gathers researchers from institutions such as Stanford University, Massachusetts Institute of Technology, University of California, Berkeley, Carnegie Mellon University, and Princeton University alongside industry teams from Google, Microsoft Research, Amazon Web Services, and Facebook. The conference serves as a venue for presenting advances that intersect with projects at Bell Labs, Intel Corporation, IBM Research, NVIDIA, and collaborations with laboratories like Lawrence Berkeley National Laboratory and Los Alamos National Laboratory.

Overview

PLDI convenes researchers, engineers, and educators to present work on programming language theory, compiler construction, runtime systems, and software tooling. Participants often include faculty from University of Cambridge, University of Oxford, ETH Zurich, and École Polytechnique Fédérale de Lausanne as well as contributors from corporate research groups such as Apple Inc., Oracle Corporation, SAP SE, and Adobe Systems. The program typically features keynote talks from figures affiliated with institutions like Harvard University and Yale University, tutorials by experts connected to Columbia University and University of Washington, and workshops co-located with meetings like SOSP and OOPSLA.

History

The conference originated from earlier gatherings in the late 1970s and evolved through interactions among communities active at ACM SIGPLAN, IEEE, and national labs. Early participants included researchers affiliated with Bell Labs and universities such as Cornell University, Johns Hopkins University, and Brown University. Over decades, PLDI reflected shifts from foundational work tied to projects at Xerox PARC and MIT AI Lab to modern focuses influenced by companies such as Google and Microsoft. Notable historical intersections involved collaborations with teams at DARPA, projects funded by National Science Foundation, and contributions that later influenced standards from ISO and ECMA International.

Conference Scope and Topics

Accepted topics span compiler optimizations, type systems, program analysis, runtime systems, domain-specific languages, and language semantics. Researchers present results that relate to systems developed at LLVM Foundation, GCC, or experimental platforms from RISC-V International and ARM Holdings. Work often cross-references tools and datasets maintained by groups at MIT CSAIL, UC San Diego, University of Illinois Urbana–Champaign, and Purdue University. Additional areas include verification methods influenced by efforts at Microsoft Research Redmond, concurrency models explored at Los Alamos National Laboratory, and performance studies involving vendors like Intel and AMD.

Submission and Review Process

Submissions undergo peer review coordinated by program committees drawn from universities such as University of Toronto, McGill University, University of British Columbia, and EPFL. The review process uses double-blind procedures adopted by conferences like ICML and NeurIPS but adapted for programming languages, with authorship disclosures similar to practices at SIGGRAPH and CHI. Papers are evaluated for novelty, empirical rigor, and reproducibility; supplementary artifacts are often archived following protocols established by ACM and mirrored by repositories at GitHub and institutional archives like arXiv. Rebuttal and meta-review stages involve senior PC members affiliated with Cornell Tech and advisory chairs from institutions including Caltech.

Notable Papers and Impact

PLDI has published influential papers that shaped fields connected to projects at LLVM, GHC, JVM, HotSpot, and systems used at Google Cloud Platform and Amazon EC2. Landmark contributions include advances in just-in-time compilation related to work at Sun Microsystems and static analysis techniques later adopted by tools from Coverity and Facebook Infer. Research presented at PLDI has parallels with classic results from conferences like POPL and ICFP, and has influenced industrial standards adopted by organizations such as W3C and Khronos Group. Recipients of awards for PLDI papers often hold positions at Stanford, Berkeley, CMU, and MIT and have led initiatives incorporated into products by Microsoft and Apple.

Organization and Sponsorship

The conference is organized under the auspices of ACM SIGPLAN with local arrangements often handled by host universities like University of Pennsylvania, University of Illinois, Cornell University, and University of Washington. Sponsorship and exhibition frequently include corporate partners such as Google Research, Microsoft Research, Intel Labs, NVIDIA Research, and cloud providers like Amazon Web Services and Google Cloud. Additional support has come from government agencies and foundations including National Science Foundation, DARPA, and philanthropic bodies tied to research centers such as Simons Foundation.

Awards and Recognition

PLDI presents awards recognizing outstanding papers, distinguished contributions, and best artifacts; award winners have also been honored by organizations such as IEEE and National Academy of Engineering. Past recipients include researchers associated with MIT, Harvard, Princeton University, UC Berkeley, and Carnegie Mellon, many of whom later received fellowships from ACM and accolades like the Turing Award and the Gödel Prize. The conference’s citation record is tracked alongside bibliometric indices maintained by groups like Google Scholar and Semantic Scholar.

Category:Academic conferences