Programming Language Design and Implementation
E356890
Programming Language Design and Implementation is a premier annual academic conference focusing on research in programming languages and compilers, sponsored by ACM SIGPLAN.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Principles of Programming Languages | 1 |
| Programming Language Design and Implementation canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T3425389 — 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: Programming Language Design and Implementation Context triple: [PLDI, fullName, Programming Language Design and Implementation]
-
A.
Types and Programming Languages (research contributions)
Types and Programming Languages (research contributions) refers to Tobias Nipkow’s influential work advancing the theory and mechanization of type systems and programming language semantics, particularly through formal verification and theorem proving.
-
B.
Compilers: Principles, Techniques, and Tools
Compilers: Principles, Techniques, and Tools is a foundational computer science textbook that systematically covers the theory and practice of compiler design and implementation.
-
C.
Compiler Construction
Compiler Construction is a foundational textbook by Niklaus Wirth that systematically explains the principles and techniques for designing and implementing compilers.
-
D.
Languages, Compilers, and Tools for Embedded Systems
Languages, Compilers, and Tools for Embedded Systems (LCTES) is a research conference focused on programming languages, compilation techniques, and development tools for embedded and real-time computing systems.
-
E.
The Science of Computing
"The Science of Computing" is a foundational work by Peter J. Denning that explores the principles, theory, and practice underlying computer science as a scientific discipline.
- 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: Programming Language Design and Implementation Target entity description: Programming Language Design and Implementation is a premier annual academic conference focusing on research in programming languages and compilers, sponsored by ACM SIGPLAN.
-
A.
Types and Programming Languages (research contributions)
Types and Programming Languages (research contributions) refers to Tobias Nipkow’s influential work advancing the theory and mechanization of type systems and programming language semantics, particularly through formal verification and theorem proving.
-
B.
Compilers: Principles, Techniques, and Tools
Compilers: Principles, Techniques, and Tools is a foundational computer science textbook that systematically covers the theory and practice of compiler design and implementation.
-
C.
Compiler Construction
Compiler Construction is a foundational textbook by Niklaus Wirth that systematically explains the principles and techniques for designing and implementing compilers.
-
D.
Languages, Compilers, and Tools for Embedded Systems
Languages, Compilers, and Tools for Embedded Systems (LCTES) is a research conference focused on programming languages, compilation techniques, and development tools for embedded and real-time computing systems.
-
E.
The Science of Computing
"The Science of Computing" is a foundational work by Peter J. Denning that explores the principles, theory, and practice underlying computer science as a scientific discipline.
- F. None of above. chosen
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
academic conference
ⓘ
computer science conference ⓘ programming languages conference ⓘ |
| abbreviation | PLDI ⓘ |
| academicDiscipline | computer science ⓘ |
| accepts |
experience reports
ⓘ
research papers ⓘ tool papers ⓘ |
| continentOfTypicalLocation |
Europe
ⓘ
North America ⓘ |
| digitalLibrary | ACM Digital Library ⓘ |
| field |
compilers
ⓘ
computer systems ⓘ programming languages ⓘ software engineering ⓘ |
| frequency | annual ⓘ |
| hasCategory |
A* conference in software systems (CORE ranking)
ⓘ
top-tier programming languages conference ⓘ |
| hasFocus |
research in compilers
ⓘ
research in programming languages ⓘ |
| hasProceedings |
PLDI
ⓘ
surface form:
PLDI conference proceedings
|
| language | English ⓘ |
| organizer | ACM Special Interest Group on Programming Languages ⓘ |
| proceedingsPublishedBy | ACM ⓘ |
| publisher | Association for Computing Machinery ⓘ |
| reviewProcess | peer-reviewed ⓘ |
| series |
SIGPLAN
ⓘ
surface form:
ACM SIGPLAN Conferences
|
| sponsor |
SIGPLAN
ⓘ
surface form:
ACM SIGPLAN
|
| sponsoredBy | ACM ⓘ |
| startYear | 1979 ⓘ |
| targetAudience |
academics
ⓘ
industry practitioners ⓘ researchers ⓘ |
| topic |
compiler construction
ⓘ
concurrency ⓘ domain-specific languages ⓘ formal methods for programming languages ⓘ just-in-time compilation ⓘ memory management ⓘ parallelism ⓘ program analysis ⓘ program optimization ⓘ programming language design ⓘ programming language implementation ⓘ runtime systems ⓘ type systems ⓘ virtual machines ⓘ |
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: Programming Language Design and Implementation Description of subject: Programming Language Design and Implementation is a premier annual academic conference focusing on research in programming languages and compilers, sponsored by ACM SIGPLAN.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.