pldb wrapped

ECEvan Cavallo

2 papers

cited 17×

cites 23

Reply guy/gal

AMAnders Mörtberg

cited you 3×

Mutuals

1. AVAndrea Vezzosi2 ⇄ 3
2. AAAndreas Abel2 ⇄ 3
3. NTNicolas Tabareau2 ⇄ 2
4. ANAndreas Nuyts1 ⇄ 1
5. CCCyril Cohen1 ⇄ 3

you ⇄ them

Parasocial crush

JGJason Gross

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 2016

Deepest dig

Representation Independence and Data Abstraction

POPL 1986

Lamport number4

1. ECyou
2. RHRobert Harper
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
5. LLLeslie Lamport

Load-bearing co-author: Robert Harper. Without them: 5.

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.