PL title bingo
pldb title bingo
PLDI 2024
BINGO! · 13/24 · 89 paper titles, the whole programme
Towards…: in 1% of PLDB titles (375 of 33,580) Towards… Towards Trustworthy Automated Program Verifiers: Formally Validating… Parthasarathy …Revisited: in 0.3% of PLDB titles (110 of 33,580) …Revisited Qubit Recycling Revisited Jiang 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 “?” in 1% of PLDB titles Gradual: in 0.3% of PLDB titles (112 of 33,580) Gradual Quest Complete: The Holy Grail of Gradual Security Chen et al. ×2 Verified: in 6% of PLDB titles (1,929 of 33,580) Verified A HAT Trick: Automatically Verifying Representation… Zhou et al. ×12 Lightweight: in 0.5% of PLDB titles (156 of 33,580) Lightweight A Lightweight Polyglot Code Transformation Language Ketkar 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 in 0.4% of PLDB titles Safe: in 1% of PLDB titles (412 of 33,580) Safe Descend: A Safe GPU Systems Programming Language Köpcke et al. ×2 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 in 21 PLDB titles Effect: in 0.9% of PLDB titles (302 of 33,580) Effect Associated Effects: Flexible Abstractions for Effectful Programming Lutze et al. 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 A HAT Trick: Automatically Verifying Representation… Zhou et al. ×5 Efficient: in 3% of PLDB titles (922 of 33,580) Efficient A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation Nikolaev ×4 Modular: in 1% of PLDB titles (381 of 33,580) Modular Compilation of Modular and General Sparse Workspaces Zhang et al. ×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 in 0.8% of PLDB titles Scalable: in 0.9% of PLDB titles (310 of 33,580) Scalable Falcon: A Scalable Analytical Cache Model Pitchanathan Formal: in 2% of PLDB titles (613 of 33,580) Formal Towards Trustworthy Automated Program Verifiers: Formally Validating… Parthasarathy X: Y: in 28% of PLDB titles (9,439 of 33,580) X: Y A HAT Trick: Automatically Verifying Representation… Zhou et al. ×33 Rarest stamp
in 0.3% of PLDB titles · first: Qubit Recycling Revisited (2024)
Most stamped
“X: Y” ×33
the colon is load-bearing
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