pldb wrapped

JVGJohn V. Guttag

7 papers

cited 50×

cites 15

Reply guy/gal

MDEMichael D. Ernst

cited you 5×

Mutuals

1. GTLGary T. Leavens1 ⇄ 2
2. JMWJeannette M. Wing2 ⇄ 1
3. WRCWilliam R. Cook1 ⇄ 1

you ⇄ them

Parasocial crush

JLJohn Lamping

you: 3 · them: 0

Secret admirer

DREDawson R. Engler

them: 4 · you: 0

Main character

LCLint: A Tool for Using Specifications to Check Code

FSE 1994 · cited 26×

Ratio'd

Types are Not Sets

POPL 1973 · cited 21× · by your 26×

Vintage

You cite like it's 1990

Deepest dig

Types are Not Sets

POPL 1973

Lamport number3

1. JVGyou
2. RSRaymie Stata
3. MAMartín Abadi
4. LLLeslie Lamport

Load-bearing co-author: Raymie Stata. 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.