PL title bingo
pldb title bingo
OOPSLA 2020
BINGO ×3 · 17/24 · 109 paper titles, the whole programme
Towards…: in 1% of PLDB titles (375 of 33,580) Towards… Towards a formal foundation of intermittent computing Surbatovich ×2 …Revisited: in 0.3% of PLDB titles (110 of 33,580) …Revisited Revisiting iso-recursive subtyping Zhou et al. …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 “?” How do programmers use unsafe rust? Astrauskas et al. Gradual: in 0.3% of PLDB titles (112 of 33,580) Gradual Gradual verification of recursive heap data structures Wise et al. ×2 Verified: in 6% of PLDB titles (1,929 of 33,580) Verified CompCertELF: verified separate compilation of C programs into ELF object files Wang et al. ×9 Lightweight: in 0.5% of PLDB titles (156 of 33,580) Lightweight Effects as capabilities: effect handlers and lightweight effect… Brachthäuser 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 in 0.4% of PLDB titles Safe: in 1% of PLDB titles (412 of 33,580) Safe Rethinking safe consistency in distributed object-oriented… Köhler et al. FREE you're in PLDB Lambda: in 0.4% of PLDB titles (146 of 33,580) Lambda in 0.4% of PLDB titles Featherweight: in 0.1% of PLDB titles (21 of 33,580) Featherweight Featherweight go Griesemer et al. Effect: in 0.9% of PLDB titles (302 of 33,580) Effect Compiling symbolic execution with staging and algebraic effects Wei et al. ×4 Liquid: in 0.1% of PLDB titles (24 of 33,580) Liquid Verifying replicated data types with typeclass refinements in Liquid Haskell Liu et al. Automatic: in 5% of PLDB titles (1,715 of 33,580) Automatic Automated policy synthesis for system call sandboxing Pailoor et al. ×3 Efficient: in 3% of PLDB titles (922 of 33,580) Efficient Automatic and efficient variability-aware lifting of functiona… Shahin et al. ×3 Modular: in 1% of PLDB titles (381 of 33,580) Modular A modular cost analysis for probabilistic programs Avanzini ×2 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 A systematic approach to deriving incremental type checkers Pacak et al. ×3 Scalable: in 0.9% of PLDB titles (310 of 33,580) Scalable Scalable and serializable networked multi-actor programming Sang et al. Formal: in 2% of PLDB titles (613 of 33,580) Formal Towards a formal foundation of intermittent computing Surbatovich et al. X: Y: in 28% of PLDB titles (9,439 of 33,580) X: Y Actor concurrency bugs: a comprehensive study on symptoms, root causes, API… Bagherzadeh ×31 Rarest stamp
in 0.1% of PLDB titles · first: Featherweight go (2020)
Most stamped
“X: Y” ×31
the colon is load-bearing
Lines
3 completed
Row 4, Column 2, 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