POPL conference proceedings

E35318

academic publication conference proceedings scholarly journal-like series

POPL conference proceedings are the collected scholarly papers presented at the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, a leading venue for research in programming languages and formal methods.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

AI illustration

All labels observed (6)

Label	Occurrences
POPL	2
POPL conference proceedings canonical	2
ACM POPL	1
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	1
POPL Proceedings	1
POPL conference	1

How this entity was disambiguated

This entity first appeared as the object of triple T271879 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: POPL conference proceedings
Context triple: [ACM Digital Library, contains, POPL conference proceedings]

A. SIGPLAN
SIGPLAN is the ACM Special Interest Group on Programming Languages, focusing on research, development, and education in programming language design and implementation.
B. ACM Computing Surveys
ACM Computing Surveys is a leading peer-reviewed journal that publishes comprehensive, in-depth survey articles covering major areas of computer science and computing research.
C. ACM SIGLOG
ACM SIGLOG is the Association for Computing Machinery’s Special Interest Group on Logic, focusing on research and activities in logic in computer science.
D. SIGCSE
SIGCSE is a leading ACM special interest group focused on computer science education, supporting educators through conferences, publications, and community initiatives.
E. Journal of the ACM
Journal of the ACM is a leading peer-reviewed scientific journal in computer science that publishes foundational research across the breadth of computing theory and practice.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: POPL conference proceedings
Target entity description: POPL conference proceedings are the collected scholarly papers presented at the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, a leading venue for research in programming languages and formal methods.

A. SIGPLAN
SIGPLAN is the ACM Special Interest Group on Programming Languages, focusing on research, development, and education in programming language design and implementation.
B. ACM Computing Surveys
ACM Computing Surveys is a leading peer-reviewed journal that publishes comprehensive, in-depth survey articles covering major areas of computer science and computing research.
C. ACM SIGLOG
ACM SIGLOG is the Association for Computing Machinery’s Special Interest Group on Logic, focusing on research and activities in logic in computer science.
D. SIGCSE
SIGCSE is a leading ACM special interest group focused on computer science education, supporting educators through conferences, publications, and community initiatives.
E. Journal of the ACM
Journal of the ACM is a leading peer-reviewed scientific journal in computer science that publishes foundational research across the breadth of computing theory and practice.
F. None of above. chosen

Statements (47)

Predicate	Object
instanceOf	academic publication ⓘ conference proceedings ⓘ scholarly journal-like series ⓘ
access	online ⓘ subscription-based ⓘ
associatedWithConference	ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ⓘ linked to: POPL conference proceedings
audience	graduate students ⓘ researchers in formal methods ⓘ researchers in programming languages ⓘ theoretical computer scientists ⓘ
contains	formal proofs ⓘ invited talks ⓘ peer-reviewed research papers ⓘ theoretical results ⓘ tool and system descriptions ⓘ
field	formal methods ⓘ programming languages ⓘ theoretical computer science ⓘ
frequency	annual ⓘ
hasReputation	highly selective conference proceedings ⓘ leading venue in programming languages research ⓘ
language	English ⓘ
medium	digital ⓘ print ⓘ
organizedBy	ACM Special Interest Group on Algorithms and Computation Theory ⓘ linked to: ACM Special Interest Group ACM Special Interest Group on Programming Languages ⓘ linked to: SIGPLAN
publishedAs	conference volume ⓘ series of volumes ⓘ
publishedBy	ACM SIGACT ⓘ linked to: ACM Special Interest Group ACM SIGPLAN ⓘ linked to: SIGPLAN Association for Computing Machinery ⓘ
publisherImprint	ACM Digital Library ⓘ
reviewProcess	peer review ⓘ
selectionCriteria	rigorous formalization ⓘ significance to programming languages ⓘ technical novelty ⓘ theoretical depth ⓘ
shortName	POPL Proceedings ⓘ linked to: POPL conference proceedings
topic	compilers theory ⓘ concurrency theory ⓘ language design ⓘ logics of programs ⓘ program analysis ⓘ program verification ⓘ proof assistants and mechanized reasoning ⓘ semantics of programming languages ⓘ type systems ⓘ

How these facts were elicited