ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
E355613
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) is a specialized academic venue focusing on research in program transformation, partial evaluation, and related aspects of program analysis and manipulation.
All labels observed (1)
| Label | Occurrences |
|---|---|
| ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T3413956 — 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: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation Context triple: [PEPM, fullName, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation]
-
A.
PLDI
PLDI (Programming Language Design and Implementation) is a premier annual research conference focused on the design, implementation, and analysis of programming languages and compilers.
-
B.
PLDI Student Research Competition
The PLDI Student Research Competition is an annual forum where undergraduate and graduate students present and discuss their research in programming languages and related areas, typically co-located with the PLDI conference.
-
C.
POPL conference proceedings
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.
-
D.
ACM Transactions on Programming Languages and Systems
ACM Transactions on Programming Languages and Systems is a peer-reviewed scholarly journal published by the Association for Computing Machinery that focuses on research in programming languages, compilers, and related systems.
-
E.
ACM SIGSOFT International Symposium on the Foundations of Software Engineering
The ACM SIGSOFT International Symposium on the Foundations of Software Engineering is a premier research conference focused on advancing the theory, techniques, and tools for software engineering.
- 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: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation Target entity description: The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) is a specialized academic venue focusing on research in program transformation, partial evaluation, and related aspects of program analysis and manipulation.
-
A.
PLDI
PLDI (Programming Language Design and Implementation) is a premier annual research conference focused on the design, implementation, and analysis of programming languages and compilers.
-
B.
PLDI Student Research Competition
The PLDI Student Research Competition is an annual forum where undergraduate and graduate students present and discuss their research in programming languages and related areas, typically co-located with the PLDI conference.
-
C.
POPL conference proceedings
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.
-
D.
ACM Transactions on Programming Languages and Systems
ACM Transactions on Programming Languages and Systems is a peer-reviewed scholarly journal published by the Association for Computing Machinery that focuses on research in programming languages, compilers, and related systems.
-
E.
ACM SIGSOFT International Symposium on the Foundations of Software Engineering
The ACM SIGSOFT International Symposium on the Foundations of Software Engineering is a premier research conference focused on advancing the theory, techniques, and tools for software engineering.
- F. None of above. chosen
Statements (44)
| Predicate | Object |
|---|---|
| instanceOf |
ACM SIGPLAN event
ⓘ
academic workshop ⓘ computer science conference ⓘ |
| audience |
graduate students
ⓘ
practitioners in program transformation ⓘ researchers ⓘ |
| field |
computer science
ⓘ
program analysis ⓘ program transformation ⓘ programming languages ⓘ software engineering ⓘ |
| focusesOn |
domain-specific languages
ⓘ
metaprogramming ⓘ partial evaluation ⓘ program manipulation ⓘ program optimization ⓘ program refactoring ⓘ program synthesis ⓘ runtime specialization ⓘ supercompilation ⓘ |
| goal | advance research in partial evaluation and program manipulation ⓘ |
| includes |
invited talks
ⓘ
poster sessions ⓘ regular paper sessions ⓘ tool demonstrations ⓘ |
| organizedBy | ACM SIGPLAN ⓘ |
| primaryLanguage | English ⓘ |
| publisher | Association for Computing Machinery ⓘ |
| publishesWith | ACM Digital Library ⓘ |
| relatedTo |
ACM SIGPLAN Symposium on Principles of Programming Languages
ⓘ
International Conference on Compiler Construction ⓘ International Conference on Functional Programming ⓘ International Conference on Tools and Algorithms for the Construction and Analysis of Systems ⓘ
linked to:
Computer Aided Verification conference
|
| reviewProcess | peer reviewed ⓘ |
| shortName | PEPM ⓘ |
| sponsoredBy |
ACM
ⓘ
ACM Special Interest Group on Programming Languages ⓘ
linked to:
SIGPLAN
|
| topicCategory |
partial evaluation and specialization
ⓘ
program analysis and manipulation ⓘ transformational programming ⓘ |
| typicalSubmissionType |
experience report
ⓘ
research paper ⓘ tool paper ⓘ |
| venueType | international workshop ⓘ |
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: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation Description of subject: The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) is a specialized academic venue focusing on research in program transformation, partial evaluation, and related aspects of program analysis and manipulation.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.