pldb wrapped

PGPaul Govereau

3 papers

cited 90×

cites 39

Reply guy/gal

NPLNuno P. Lopes

cited you 7×

Mutuals

1. Derek Dreyer1 ⇄ 4
2. JHRJohn H. Reppy1 ⇄ 1
3. MDEMichael D. Ernst1 ⇄ 4
4. MSMichael Stepp1 ⇄ 1
5. NBNick Benton1 ⇄ 1

you ⇄ them

Parasocial crush

GCNGeorge C. Necula

you: 3 · them: 0

Secret admirer

JLJuneyoung Lee

them: 5 · you: 0

Main character

Ynot: dependent types for imperative programs

ICFP 2008 · cited 43×

Ratio'd

Dependent Types for Low-Level Programming

ESOP 2007 · cited 39× · by your 43×

Vintage

You cite like it's 2004

Deepest dig

Abstract Types Have Existential Type

TOPLAS 1988

Lamport number3

1. PGyou
2. JGMJ. Gregory Morrisett
3. FBSFred B. Schneider
4. LLLeslie Lamport

Load-bearing co-author: J. Gregory Morrisett. Without them: 4.

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.