pldb wrapped

RDRobert DeLine

12 papers

cited 424×

cites 56

Reply guy/gal

Jonathan Aldrich

cited you 27×

Mutuals

1. JGMJ. Gregory Morrisett7 ⇄ 8
2. DWDavid Walker7 ⇄ 4
3. AAAlex Aiken3 ⇄ 9
4. KRMK. Rustan M. Leino3 ⇄ 4
5. CFCormac Flanagan2 ⇄ 4

you ⇄ them

Parasocial crush

KCKarl Crary

you: 4 · them: 0

Secret admirer

KBKevin Bierhoff

them: 12 · you: 0

Main character

Enforcing High-Level Protocols in Low-Level Software

PLDI 2001 · cited 123×

Ratio'd

Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of…

POPL 1994 · cited 121× · by your 123×

Vintage

You cite like it's 2005

Deepest dig

Self: The Power of Simplicity

OOPSLA 1987

Early adopter

cited 1 paper before they were published

e.g. Avoiding Packaging Mismatch with… (1999) → Enforcing Trace Properties by Program… (POPL 2000)

Lamport number5

1. RDyou
2. MFManuel Fähndrich
3. SBSebastian Burckhardt
4. RARajeev Alur
5. RPKRobert P. Kurshan
6. LLLeslie Lamport

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.