POPL conference proceedings
E35318
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.
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 |
POPL conference proceedings
self-linksurface differs
ⓘ
surface form:
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
|
| 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
ⓘ
surface form:
ACM Special Interest Group on Algorithms and Computation Theory
SIGPLAN ⓘ
surface form:
ACM Special Interest Group on Programming Languages
|
| publishedAs |
conference volume
ⓘ
series of volumes ⓘ |
| publishedBy |
ACM Special Interest Group
ⓘ
surface form:
ACM SIGACT
SIGPLAN ⓘ
surface form:
ACM 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 conference proceedings
self-linksurface differs
ⓘ
surface form:
POPL 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
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: POPL conference proceedings Description of subject: 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.
Referenced by (8)
Full triples — surface form annotated when it differs from this entity's canonical label.
POPL conference proceedings
→
associatedWithConference
→
POPL conference proceedings
self-linksurface differs
ⓘ
this entity surface form:
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
this entity surface form:
POPL Proceedings
this entity surface form:
ACM POPL
this entity surface form:
POPL conference
this entity surface form:
POPL
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
→
hasPublication
→
POPL conference proceedings
ⓘ