PL title bingo
pldb title bingo
POPL 2020
No bingo · 13/24 · 68 paper titles, the whole programme
Towards…: in 1% of PLDB titles (375 of 33,580) Towards… Towards verified stochastic variational inference for probabilistic… Lee et al. …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 “?” Does blame shifting work? Lazarek et al. ×2 Gradual: in 0.3% of PLDB titles (112 of 33,580) Gradual Graduality and parametricity: together again for the first time New et al. ×2 Verified: in 6% of PLDB titles (1,929 of 33,580) Verified Aiming low is harder: induction for lower bounds in probabilistic progra… Hark et al. ×11 Lightweight: in 0.5% of PLDB titles (156 of 33,580) Lightweight CompCertM: CompCert with C-assembly linking and lightweight modular… Song et al. Practical: in 0.9% of PLDB titles (293 of 33,580) Practical in 0.9% of PLDB titles Monad: in 0.4% of PLDB titles (133 of 33,580) Monad Reduction monads and their signatures Ahrens et al. Safe: in 1% of PLDB titles (412 of 33,580) Safe Deciding memory safety for single-pass heap-manipulating… Mathur et al. ×2 FREE you're in PLDB Lambda: in 0.4% of PLDB titles (146 of 33,580) Lambda Backpropagation in the simply typed lambda-calculus with linear negation Brunel et al. ×3 Featherweight: in 0.1% of PLDB titles (21 of 33,580) Featherweight in 21 PLDB titles Effect: in 0.9% of PLDB titles (302 of 33,580) Effect Binders by day, labels by night: effect instances via lexically scoped… Biernacki ×2 Liquid: in 0.1% of PLDB titles (24 of 33,580) Liquid Liquidate your assets: reasoning about resource usage in liquid Haskell Handley et al. 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 in 3% of PLDB titles Modular: in 1% of PLDB titles (381 of 33,580) Modular CompCertM: CompCert with C-assembly linking and lightweight modular… Song et al. 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 Executable formal semantics for the POSIX shell Greenberg ×3 X: Y: in 28% of PLDB titles (9,439 of 33,580) X: Y Abstract extensionality: on the properties of incomplete abstract… Bruni et al. ×19 Rarest stamp
in 0.1% of PLDB titles · first: Liquidate your assets: reasoning about… (2020)
Most stamped
“X: Y” ×19
the colon is load-bearing
Lines
None yet
Keep writing.
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