pldb wrapped

MNMichael Norrish

17 papers

cited 276×

cites 159

Reply guy/gal

PSPeter Sewell

cited you 17×

Mutuals

1. ACAdam Chlipala11 ⇄ 16
2. AWAAndrew W. Appel10 ⇄ 12
3. Derek Dreyer6 ⇄ 6
4. TSThomas Sewell5 ⇄ 10
5. CHChung-Kil Hur7 ⇄ 4

you ⇄ them

Parasocial crush

KSMKathryn S. McKinley

you: 7 · them: 0

Secret admirer

AEAndres Erbsen

them: 11 · you: 0

Main character

CakeML: a verified implementation of ML

POPL 2014 · cited 131×

Ratio'd

OutsideIn(X) Modular type inference with local assumptions

JFP 2011 · cited 51× · by your 131×

Vintage

You cite like it's 2010

Deepest dig

Efficient compilation of lazy evaluation

PLDI 1984

Lamport number4

1. MNyou
2. SOScott Owens
3. RARajeev Alur
4. RPKRobert P. Kurshan
5. 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.