Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation
Generated by GPT-5-miniExpansion Funnel Raw 135 → Dedup 0 → NER 0 → Enqueued 0
| Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation | |
|---|---|
| Title | Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation |
| Discipline | Computer science |
| Abbreviation | PLDI Proceedings |
| Publisher | Association for Computing Machinery |
| Country | United States |
| History | 1980–present |
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation.
Overview
The Proceedings compile peer-reviewed research from the annual Association for Computing Machinery SIGPLAN conference on programming language design and implementation, showcasing contributions from authors associated with Stanford University, Massachusetts Institute of Technology, University of California, Berkeley, Carnegie Mellon University, and Princeton University; major topics often intersect with work from Google, Microsoft Research, IBM Research, Intel Corporation, and Oracle Corporation laboratories. The Proceedings serve as a primary archival venue alongside collections from ACM Digital Library, IEEE Xplore, Springer Verlag, Elsevier, and USENIX proceedings, and they influence curriculum at institutions such as Harvard University, Yale University, University of Cambridge, University of Oxford, and École Polytechnique Fédérale de Lausanne.
History and Evolution
The series evolved from early SIGPLAN workshops and symposia that trace roots to events involving researchers from Bell Labs, Xerox PARC, DEC Research, and AT&T Bell Laboratories; foundational meetings featured participants like Robin Milner, Tony Hoare, John McCarthy, Dennis Ritchie, and Ken Thompson. Over decades the Proceedings absorbed shifts introduced by languages and projects from ALGOL, Pascal, C, C++, ML, Haskell, Java, OCaml, Rust, and Go, reflecting collaborations with groups at SRI International, Los Alamos National Laboratory, Lawrence Berkeley National Laboratory, and Sandia National Laboratories. Key transitions aligned with conferences that coincided with award announcements such as the Turing Award, ACM Fellowship, and prizes from IEEE John von Neumann Medal.
Publication and Proceedings Structure
Each volume collects full papers, short papers, tools papers, and artifacts associated with sessions organized around tracks influenced by program committees drawn from ACM SIGPLAN, ACM SIGACT, ACM SIGOPS, IEEE Computer Society, and editorial boards that have included scholars from University of Illinois Urbana–Champaign, Cornell University, University of Washington, University of Toronto, and ETH Zurich. Proceedings entries typically include titles, author lists affiliated with institutions such as Brown University, Duke University, University of Michigan, University of Pennsylvania, and California Institute of Technology, abstracts, and pagination consistent with standards used by ACM Transactions on Programming Languages and Systems, Journal of the ACM, and Communications of the ACM.
Conference Topics and Scope
Scope covers language design, static analysis, type systems, compiler technology, runtime systems, concurrency, program verification, and tooling, often overlapping research from Z3, Coq, Isabelle, LLVM, GHC, JVM, and .NET Framework implementations developed at institutions including Microsoft Research Cambridge, Facebook AI Research, Amazon Web Services, and NVIDIA. Sessions frequently intersect with applied projects linked to DeepMind, OpenAI, Mozilla Corporation, Dropbox, Inc., and standards work involving ISO and W3C contributors.
Notable Papers and Impact
Seminal papers appearing in the Proceedings have driven advances adopted in systems from Linux, FreeBSD, Windows NT, macOS, and language ecosystems including Ruby, Python, Perl, Scala, and Kotlin; landmark contributions influenced tools by GitHub, Bitbucket, Jenkins, and research platforms at Bell Labs Research. Influential authors who published in the Proceedings include Martin Odersky, Simon Peyton Jones, Frances Allen, Robin Milner (as noted earlier), Barbara Liskov, Leslie Lamport, Edsger W. Dijkstra, and John C. Reynolds whose work catalyzed follow-on research at Microsoft Research Redmond, Google Research, IBM Watson Research Center, and national labs.
Editorial and Submission Process
The editorial process is managed by program chairs appointed by SIGPLAN with program committees drawn from universities and industry labs such as University of California, San Diego, University of Illinois, Purdue University, Imperial College London, and National University of Singapore; submissions undergo double-blind peer review, artifact evaluation, and shepherding by named reviewers often affiliated with ACM SIGSOFT, ACM SIGARCH, ACM SIGMETRICS, and editorial boards of journals including IEEE Transactions on Software Engineering. Acceptance decisions and camera-ready deadlines align with policies similar to those used by NeurIPS, ICML, PLDI-adjacent symposia, and other flagship conferences.
Indexing, Access, and Citation Practices
Proceedings are indexed in bibliographic services operated by ACM Digital Library, DBLP, Scopus, Web of Science, and citation aggregators used by scholars at Google Scholar, ResearchGate, ORCID, and institutional repositories at MIT Libraries; citation formats follow guidelines from APA (American Psychological Association), Chicago Manual of Style, and ACM Reference Style, and papers are commonly cited in downstream venues including SIGPLAN Notices, Proceedings of the ACM on Programming Languages, and specialized workshops affiliated with OOPSLA, SOSP, and PLASMA.