The annual

ACM ACM or A.C.M. may refer to: Aviation * AGM-129 ACM, 1990–2012 USAF cruise missile * Air chief marshal * Air combat manoeuvring or dogfighting * Air cycle machine * IATA airport code for Arica Airport in Amazonas Department, Colombia Computing ...

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 ...

and

. 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 Partial may refer to: Mathematics *Partial derivative, derivative with respect to one of several variables of a function, with the other variables held constant ** ∂, a symbol that can denote a partial derivative, sometimes pronounced "partial d ...

(PEPM) *

Practical Applications of Declarative Languages Pragmatism is a philosophical tradition that views language and thought as tools for prediction, problem solving, and action (philosophy), action, rather than describing, representing, or mirroring reality. Pragmatists contend that most phi ...

(PADL) *

Programming Language Technologies for XML Program (American English; also Commonwealth English in terms of computer programming and related activities) or programme (Commonwealth English in all other meanings), programmer, or programming may refer to: Business and management * Program m ...

(PLAN-X) *

Types in Language Design and Implementation Type may refer to: Science and technology Computing * Typing, producing text via a keyboard, typewriter, etc. * Data type, collection of values used for computations. * File type * TYPE (DOS command), a command to display contents of a file. * Ty ...

(TLDI) * Verification, Model Checking and Abstract Interpretation (VMCAI) *

Languages for Inference Language is a structured system of communication that consists of grammar and vocabulary. It is the primary means by which humans convey meaning, both in spoken and signed forms, and may also be conveyed through writing. Human language is ch ...

(LAFI)

References

External links

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

Affiliated events

See also

References

External links