PL title bingo
pldb title bingo
PT Peter Thiemann
BINGO ×2 · 11/24 · 66 paper titles
Towards…: in 1% of PLDB titles (375 of 33,580) Towards… Towards a Type System for Analyzing JavaScript Programs 2005 ×2 …Revisited: in 0.3% of PLDB titles (110 of 33,580) …Revisited in 0.3% of PLDB titles …for Free: in 0.1% of PLDB titles (35 of 33,580) …for Free in 35 PLDB titles Considered Harmful: in 0.0% of PLDB titles (6 of 33,580) Considered Harmful in 6 PLDB titles A Tale of…: in 0.0% of PLDB titles (12 of 33,580) A Tale of… in 12 PLDB titles Ends with “?”: in 1% of PLDB titles (362 of 33,580) Ends with “?” in 1% of PLDB titles Gradual: in 0.3% of PLDB titles (112 of 33,580) Gradual Gradual Typing for Annotated Type Systems 2014 ×5 Verified: in 6% of PLDB titles (1,929 of 33,580) Verified A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution 2024 Lightweight: in 0.5% of PLDB titles (156 of 33,580) Lightweight in 0.5% of PLDB titles Practical: in 0.9% of PLDB titles (293 of 33,580) Practical Introduction to the Special Issue on Dependent Type Theory Meets Practical… 2004 ×2 Monad: in 0.4% of PLDB titles (133 of 33,580) Monad How to CPS Transform a Monad 2009 Safe: in 1% of PLDB titles (412 of 33,580) Safe Enforcing Safety Properties Using Type Specialization 2001 FREE you're in PLDB Lambda: in 0.4% of PLDB titles (146 of 33,580) Lambda Label dependent lambda calculus and gradual typing 2021 Featherweight: in 0.1% of PLDB titles (21 of 33,580) Featherweight Global Type Inference for Featherweight Generic Java 2022 Effect: in 0.9% of PLDB titles (302 of 33,580) Effect in 0.9% of PLDB titles Liquid: in 0.1% of PLDB titles (24 of 33,580) Liquid in 24 PLDB titles Automatic: in 5% of PLDB titles (1,715 of 33,580) Automatic in 5% of PLDB titles Efficient: in 3% of PLDB titles (922 of 33,580) Efficient Efficient dynamic access analysis using JavaScript proxies 2013 Modular: in 1% of PLDB titles (381 of 33,580) Modular in 1% of PLDB titles Type-directed: in 0.1% of PLDB titles (27 of 33,580) Type-directed in 27 PLDB titles Incremental: in 0.8% of PLDB titles (275 of 33,580) Incremental in 0.8% of PLDB titles Scalable: in 0.9% of PLDB titles (310 of 33,580) Scalable in 0.9% of PLDB titles Formal: in 2% of PLDB titles (613 of 33,580) Formal A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution 2024 X: Y: in 28% of PLDB titles (9,439 of 33,580) X: Y Two for the Price of One: Composing Partial Evaluation and Compilation 1997 ×10 Rarest stamp
in 0.1% of PLDB titles · first: Global Type Inference for Featherweight… (2022)
Most stamped
“X: Y” ×10
the colon is load-bearing
Lines
2 completed
Row 3, Diagonal
Each square is stamped with the first title (earliest year) that hits it; ×n counts papers. Whole-word matches only: “lock-free” is not “for free”. Completed lines are struck through. Hover a square for its base rate across all PLDB titles; click a stamp for the paper.
Title bingo · PL alignment chart · More of /fun
pldb title bingo