pldb wrapped

CACarlo Angiuli

6 papers

cited 30×

cites 39

Reply guy/gal

AVAndrea Vezzosi

cited you 4×

Mutuals

1. AVAndrea Vezzosi2 ⇄ 4
2. AAAndreas Abel2 ⇄ 4
3. RHRobert Harper2 ⇄ 3
4. WSWouter Swierstra2 ⇄ 2
5. ANAndreas Nuyts1 ⇄ 1

you ⇄ them

Parasocial crush

DRDavid Roundy

you: 2 · them: 0

Secret admirer

AMAssia Mahboubi

them: 3 · you: 0

Main character

Internalizing representation independence with univalence

POPL 2021 · cited 11×

Ratio'd

Parametric quantifiers for dependent type theory

ICFP 2017 · cited 10× · by your 11×

Vintage

You cite like it's 2013

Deepest dig

Incremental Evaluation for Attribute Grammars with Application to…

POPL 1981

Lamport number4

1. CAyou
2. RHRobert Harper
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.