PL title bingo
pldb title bingo
MDE Michael D. Ernst
BINGO! · 15/24 · 96 paper titles
Towards…: in 1% of PLDB titles (375 of 33,580) Towards… in 1% of PLDB titles …Revisited: in 0.3% of PLDB titles (110 of 33,580) …Revisited Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria… 2020 …for Free: in 0.1% of PLDB titles (35 of 33,580) …for Free Pluggable Type Inference for Free 2023 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 “?” Which warnings should I fix first? 2007 ×3 Gradual: in 0.3% of PLDB titles (112 of 33,580) Gradual in 0.3% of PLDB titles Verified: in 6% of PLDB titles (1,929 of 33,580) Verified Using Simulated Execution in Verifying Distributed Algorithms 2003 ×13 Lightweight: in 0.5% of PLDB titles (156 of 33,580) Lightweight Lightweight and modular resource leak verification 2021 Practical: in 0.9% of PLDB titles (293 of 33,580) Practical A practical type system and language for reference immutability 2004 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 Investigating Safety of a Radiotherapy Machine Using System Models with Pluggabl… 2016 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 Java UI : Effects for Controlling UI Object Access 2013 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 Automatic test factoring for java 2005 ×9 Efficient: in 3% of PLDB titles (922 of 33,580) Efficient Efficient incremental algorithms for dynamic detection of likely invariants 2004 Modular: in 1% of PLDB titles (381 of 33,580) Modular Modular verification of web page layout 2019 ×3 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 Efficient incremental algorithms for dynamic detection of likely invariants 2004 Scalable: in 0.9% of PLDB titles (310 of 33,580) Scalable Scalable verification of border gateway protocol configurations with… 2016 Formal: in 2% of PLDB titles (613 of 33,580) Formal Verdi: a framework for implementing and formally verifying distributed systems 2015 ×2 X: Y: in 28% of PLDB titles (9,439 of 33,580) X: Y Value Dependence Graphs: Representation without Taxation 1994 ×22 Rarest stamp
in 0.1% of PLDB titles · first: Pluggable Type Inference for Free (2023)
Most stamped
“X: Y” ×22
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