Paper DNA · paper page

pldb paper dna

Verus: Verifying Rust Programs using Linear Ghost Types

OOPSLA 2023 · Andrea Lattuada, Travis Hance, Chanhee Cho +6

Closest relative

Z3: An Efficient SMT Solver

Moura & Bjørner '08 · TACAS 2008 · cited 1,486× in PLDB

Oldest ancestor

Crary et al. '99

Typed Memory Management in a Calculus…

Neanderthal content

0%

0 of 18 refs 25+ years older

Ancestral venues

30% POPL · 14% PLDI · 9.2% ESOP

its references' references' references (3 steps back)

pldb.kirancodes.me/fun/dna · within PLDB

Within PLDB. The venues are those of the paper's own references that are in PLDB. Ancestral venues: all of the paper's weight starts on it and, 3 times, every paper splits its weight evenly over the PLDB papers it cites; weight stops at founders (cite nothing in PLDB, or before 1980). Links to other versions of a paper are dropped.

Paper page · Sequence another paper · More of /fun