Symposium on Principles of Programming Languages: Difference between revisions

Revision as of 09:50, 2 October 2006

Latest revision as of 09:31, 2 August 2025

(67 intermediate revisions by 47 users not shown)

Line 1:

{{Short description|Academic conference in the field of computer science}}

#REDIRECT [[SIGPLAN]]

{{Multiple issues|

{{Notability|1=Events|date=April 2021}}

{{More citations needed|date=April 2021}}

{{Primary sources|date=April 2021}}

}}

The annual '''[[Association for Computing Machinery|ACM]] [[SIGPLAN]]-[[SIGACT]] Symposium on Principles of Programming Languages''' ('''POPL''') is an [[academic conference]] in the field of [[computer science]], with focus on fundamental principles in the design, definition, analysis, and implementation of programming languages, programming systems, and programming interfaces. The venue is jointly sponsored by two [[Special Interest Group]]s of the [[Association for Computing Machinery]]: [[SIGPLAN]] and [[SIGACT]].

POPL ranks as A* (top 4%) in the CORE conference ranking.<ref>{{Cite web|url=http://portal.core.edu.au/conf-ranks/82/|archive-url=https://web.archive.org/web/20190205083708/http://portal.core.edu.au/conf-ranks/82/|url-status=dead|archive-date=2019-02-05|title=CORE ranking page for POPL|access-date=2019-02-05}}</ref>

The proceedings of the conference are hosted at the [[ACM Digital Library]]. They were initially under a [[paywall]], but since 2017 they are published in [[open access]] as part of the journal ''Proceedings of the ACM on Programming Languages'' (PACMPL).

== Affiliated events ==

* [[Declarative Aspects of Multicore Programming]] (DAMP)

* [[Foundations and Developments of Object-Oriented Languages]] (FOOL/WOOD)

* [[Partial Evaluation and Semantics-Based Program Manipulation]] (PEPM)

* [[Practical Applications of Declarative Languages]] (PADL)

* [[Programming Language Technologies for XML]] (PLAN-X)

* [[Types in Language Design and Implementation]] (TLDI)

* [[Verification, Model Checking and Abstract Interpretation]] (VMCAI)

* [[Languages for Inference]] (LAFI)

== See also ==

* [[International Conference on Functional Programming]] (ICFP)

* [[Programming Language Design and Implementation]] (PLDI)

* [[POPLmark challenge]]

== References ==

{{Reflist|2}}

== External links ==

* {{Official website|https://www.sigplan.org/Conferences/POPL}}

* [http://students.engr.scu.edu/~sschaeck/acceptancerates/ Acceptance Rates of Compiler Conferences]

{{Association for Computing Machinery}}

{{Authority control}}

[[Category:Association for Computing Machinery conferences]]

[[Category:Programming languages conferences]]