pldb wrapped

RHRobert Harper

54 papers

cited 1,081×

cites 546

Reply guy/gal

ZSZhong Shao

cited you 48×

Mutuals

1. LBLars Birkedal27 ⇄ 26
2. Derek Dreyer23 ⇄ 28
3. Xavier Leroy23 ⇄ 22
4. AWAAndrew W. Appel19 ⇄ 16
5. JGMJ. Gregory Morrisett14 ⇄ 14

you ⇄ them

Parasocial crush

GDPGordon D. Plotkin

you: 16 · them: 0

Secret admirer

BCSBruno C. d. S. Oliveira

them: 22 · you: 0

Main character

TIL: A Type-Directed Optimizing Compiler for ML

PLDI 1996 · cited 106×

Ratio'd

ORBIT: an optimizing compiler for scheme

PLDI 1986 · cited 102× · by your 106×

Vintage

You cite like it's 2001

Deepest dig

An Introduction to the Construction and Verification of Alphard Programs…

ICSE 1976

Lamport number3

1. RHyou
2. JGMJ. Gregory Morrisett
3. FBSFred B. Schneider
4. 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.