HOME

TheInfoList



OR:

The annual ACM
SIGPLAN SIGPLAN is the Association for Computing Machinery's Special Interest Group (SIG) on programming languages. This SIG explores programming language concepts and tools, focusing on design, implementation, practice, and theory. Its members are progra ...
-
SIGACT ACM SIGACT or SIGACT is the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory, whose purpose is support of research in theoretical computer science. It was founded in 1968 by Patrick C. Fischer. Publi ...
Symposium on Principles of Programming Languages (POPL) is an
academic conference An academic conference or scientific conference (also congress, symposium, workshop, or meeting) is an Convention (meeting), event for researchers (not necessarily academics) to present and discuss their scholarly work. Together with academic jou ...
in the field of
computer science Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied 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 A special interest group (SIG) is a community within a larger organization with a shared interest in advancing a specific area of knowledge, learning or technology where members cooperate to effect or to produce solutions within their particular f ...
s of the
Association for Computing Machinery The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional membe ...
:
SIGPLAN SIGPLAN is the Association for Computing Machinery's Special Interest Group (SIG) on programming languages. This SIG explores programming language concepts and tools, focusing on design, implementation, practice, and theory. Its members are progra ...
and
SIGACT ACM SIGACT or SIGACT is the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory, whose purpose is support of research in theoretical computer science. It was founded in 1968 by Patrick C. Fischer. Publi ...
. POPL ranks as A* (top 4%) in the CORE conference ranking. The proceedings of the conference are hosted at the
ACM Digital Library The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional membe ...
. They were initially under a
paywall A paywall is a method of restricting access to content (media), content, with a purchase or a subscription business model, paid subscription, especially news. Beginning in the mid-2010s, newspapers started implementing paywalls on their website ...
, but since 2017 they are published in
open access Open access (OA) is a set of principles and a range of practices through which nominally copyrightable publications are delivered to readers free of access charges or other barriers. With open access strictly defined (according to the 2001 de ...
as part of the journal ''Proceedings of the ACM on Programming Languages'' (PACMPL).


Affiliated events

*
Declarative Aspects of Multicore Programming Declarative may refer to: * Declarative learning, acquiring information that one can speak about * Declarative memory, one of two types of long term human memory * Declarative programming, a computer programming paradigm * Declarative sentence, ...
(DAMP) *
Foundations and Developments of Object-Oriented Languages Foundation(s) or The Foundation(s) may refer to: Common uses * Foundation (cosmetics), a skin-coloured makeup cream applied to the face * Foundation (engineering), the element of a structure which connects it to the ground, and transfers loads f ...
(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 Programming languages are typically created by designing a form of representation of a computer program, and writing an implementation for the developed concept, usually an interpreter or compiler. Interpreters are designed to read programs, usua ...
(PLDI) * POPLmark challenge


References


External links

*
Acceptance Rates of Compiler Conferences
{{Authority control Association for Computing Machinery conferences Programming languages conferences