pldb wrapped

AAArthur Adjedj

2 papers

cited 22×

cites 31

Reply guy/gal

JZSJason Z. S. Hu

cited you 3×

Mutuals

1. NTNicolas Tabareau10 ⇄ 3
2. MSMatthieu Sozeau3 ⇄ 2
3. AKAmbrus Kaposi2 ⇄ 1
4. AMAssia Mahboubi1 ⇄ 1
5. BPBrigitte Pientka1 ⇄ 2

you ⇄ them

Parasocial crush

AAAndreas Abel

you: 3 · them: 0

Secret admirer

Stephanie Weirich

them: 3 · you: 0

Main character

Martin-Löf à la Coq

CPP 2024 · cited 21×

Vintage

You cite like it's 2019

Deepest dig

Typing Algorithm in Type Theory with Inheritance

POPL 1997

Lamport number4

1. AAyou
2. KMKenji Maillard
3. CFCédric Fournet
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: Kenji Maillard. Without them: 6.

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.