pldb wrapped

AMAnders Mörtberg

8 papers

cited 71×

cites 56

Reply guy/gal

AMAssia Mahboubi

cited you 8×

Mutuals

1. NTNicolas Tabareau4 ⇄ 8
2. DDDominique Devriese3 ⇄ 3
3. Éric Tanter3 ⇄ 4
4. FNFFredrik Nordvall Forsberg2 ⇄ 2
5. MSMatthieu Sozeau5 ⇄ 2

you ⇄ them

Parasocial crush

CMConor McBride

you: 4 · them: 0

Secret admirer

ECEnzo Crance

them: 8 · you: 0

Main character

Cubical agda: a dependently typed programming language with univalence and…

ICFP 2019 · cited 30×

Ratio'd

HoTTSQL: proving query rewrites with univalent SQL semantics

PLDI 2017 · cited 24× · by your 30×

Vintage

You cite like it's 2017

Deepest dig

Representation Independence and Data Abstraction

POPL 1986

Lamport number4

1. AMyou
2. MDMaxime Dénès
3. BCPBenjamin C. Pierce
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: Maxime Dénès. 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.