ACM SIGPLAN Most Influential POPL Paper Award

E73297

The ACM SIGPLAN Most Influential POPL Paper Award is an annual honor recognizing the POPL conference paper from 10 years prior that has had the greatest impact on the field of programming languages and programming systems.

AI illustration

How this image was made

AI-generated illustration of ACM SIGPLAN Most Influential POPL Paper Award

This AI-generated illustration was produced by black-forest-labs/FLUX.2-dev (1024x1024) from a prompt written by openai/gpt-oss-120b from the entity's label + description.

Prompt

Generate an image of the ACM SIGPLAN Most Influential POPL Paper Award (The ACM SIGPLAN Most Influential POPL Paper Award is an annual honor recognizing the POPL conference paper from 10 years prior that has had the greatest impact on the field of programming languages and programming systems.)

All labels observed (2)

How this entity was disambiguated

Statements (33)

Predicate Object
instanceOf academic award ⓘ
annual award ⓘ
computer science award ⓘ
awardedFor greatest impact on the field of programming languages and programming systems ⓘ
most influential POPL paper from 10 years prior ⓘ
awardGivenAt ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ⓘ
conference POPL ⓘ
country United States ⓘ
discipline computer science ⓘ
eligibleWork papers published in the POPL conference 10 years earlier ⓘ
field programming languages ⓘ
programming systems ⓘ
frequency annual ⓘ
hasLanguage English ⓘ
inception 2000 ⓘ
namedAfter POPL conference ⓘ
organizer ACM Special Interest Group on Programming Languages ⓘ
linked to: SIGPLAN
presentedBy ACM SIGPLAN ⓘ
linked to: SIGPLAN
relatedTo ACM SIGPLAN Conference on Programming Language Design and Implementation ⓘ
linked to: PLDI

ACM SIGPLAN Conference on Programming Language Design and Implementation Most Influential Paper Award ⓘ
selectionCriterion impact over a 10-year period ⓘ
influence on practice of programming languages ⓘ
influence on research in programming languages ⓘ
shortName Most Influential POPL Paper Award ⓘ
sponsor ACM SIGPLAN ⓘ
linked to: SIGPLAN
sponsoringOrganization Association for Computing Machinery ⓘ
subDiscipline program analysis ⓘ
program verification ⓘ
programming languages ⓘ
semantics of programming languages ⓘ
type systems ⓘ
timeLagBetweenPublicationAndAward 10 years ⓘ
website https://www.sigplan.org/Awards/POPL/ ⓘ

How these facts were elicited

Referenced by (6)

Full triples — surface form annotated when it differs from this entity's canonical label.

SIGPLAN → award → ACM SIGPLAN Most Influential POPL Paper Award ⓘ
ACM SIGPLAN Most Influential POPL Paper Award → shortName → Most Influential POPL Paper Award ⓘ
linked to: ACM SIGPLAN Most Influential POPL Paper Award
ACM SIGPLAN Most Influential ICFP Paper Award → relatedTo → ACM SIGPLAN Most Influential POPL Paper Award ⓘ
ACM SIGPLAN awards → includesAward → ACM SIGPLAN Most Influential POPL Paper Award ⓘ
Kenneth L. McMillan → awardReceived → ACM SIGPLAN Most Influential POPL Paper Award ⓘ
Ken McMillan → awardReceived → ACM SIGPLAN Most Influential POPL Paper Award ⓘ