pldb wrapped

BBBodil Biering

2 papers

cited 34×

cites 15

Reply guy/gal

ANAleksandar Nanevski

cited you 7×

Mutuals

1. PWOPeter W. O'Hearn6 ⇄ 4
2. HYHongseok Yang3 ⇄ 4
3. JCRJohn C. Reynolds4 ⇄ 3
4. MJPMatthew J. Parkinson3 ⇄ 5
5. CCCristiano Calcagno2 ⇄ 2

you ⇄ them

Parasocial crush

KRMK. Rustan M. Leino

you: 2 · them: 0

Secret admirer

KSKasper Svendsen

them: 5 · you: 0

Main character

BI-hyperdoctrines, higher-order separation logic, and abstraction

TOPLAS 2007 · cited 22×

Ratio'd

Local reasoning about a copying garbage collector

POPL 2004 · cited 21× · by your 22×

Vintage

You cite like it's 2004

Deepest dig

Abstract Types Have Existential Type

POPL 1985

Lamport number4

1. BByou
2. LBLars Birkedal
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
5. LLLeslie Lamport

Load-bearing co-author: Lars Birkedal. Without them: 6.

pldb.kirancodes.me/fun · within PLDB

Counts are citations between papers in PLDB, one per pair of papers; self-citations excluded. Mutuals: you cite each other (you ⇄ them). Older papers have thinner citation data.

Pictures come from Bluesky accounts we could match to dblp names. Not showing yours, or showing the wrong one? Email me.