pldb wrapped

NRKNeelakantan R. Krishnaswami

29 papers

cited 336×

cites 403

Reply guy/gal

BCSBruno C. d. S. Oliveira

cited you 17×

Mutuals

1. LBLars Birkedal23 ⇄ 9
2. RJRanjit Jhala14 ⇄ 8
3. BCPBenjamin C. Pierce8 ⇄ 6
4. BPBrigitte Pientka9 ⇄ 6
5. RKRobbert Krebbers10 ⇄ 6

you ⇄ them

Parasocial crush

JGMJ. Gregory Morrisett

you: 15 · them: 0

Secret admirer

MMMira Mezini

them: 7 · you: 0

Main character

Complete and easy bidirectional typechecking for higher-rank polymorphism

ICFP 2013 · cited 59×

Ratio'd

Local Type Inference

POPL 1998 · cited 55× · by your 59×

Vintage

You cite like it's 2010

Deepest dig

Syntactic Control of Interference

POPL 1978

Early adopter

cited 1 paper before they were published

e.g. Higher-order functional reactive… (2013) → Fair reactive programming (POPL 2014)

Lamport number3

1. NRKyou
2. BCPBenjamin C. Pierce
3. MAMartín Abadi
4. LLLeslie Lamport

Load-bearing co-author: Benjamin C. Pierce. 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.