pldb wrapped

GAKG. A. Kavvos

7 papers

cited 36×

cites 94

Reply guy/gal

JHJan Hoffmann

cited you 5×

Mutuals

1. SBStephanie Balzer2 ⇄ 3
2. BCPBenjamin C. Pierce2 ⇄ 1
3. BTBernardo Toninho1 ⇄ 1
4. DFDan Frumin1 ⇄ 1
5. FPFrank Pfenning5 ⇄ 1

you ⇄ them

Parasocial crush

Max S. New

you: 5 · them: 0

Secret admirer

DWDi Wang

them: 3 · you: 0

Main character

Recurrence extraction for functional programs through call-by-push-value

POPL 2020 · cited 19×

Ratio'd

Automating sized-type inference for complexity analysis

ICFP 2017 · cited 18× · by your 19×

Vintage

You cite like it's 2014

Deepest dig

An Efficient Unification Algorithm

TOPLAS 1982

Lamport number4

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