pldb wrapped

KMKenji Maillard

16 papers

cited 152×

cites 326

Reply guy/gal

TWThéo Winterhalter

cited you 13×

Mutuals

1. TWThéo Winterhalter11 ⇄ 13
2. MGMarco Gaboardi10 ⇄ 7
3. GBGilles Barthe17 ⇄ 5
4. LBLars Birkedal18 ⇄ 5
5. Stephanie Weirich5 ⇄ 5

you ⇄ them

Parasocial crush

ANAleksandar Nanevski

you: 12 · them: 0

Secret admirer

CACezar-Constantin Andrici

them: 12 · you: 0

Main character

Dijkstra monads for free

POPL 2017 · cited 31×

Ratio'd

Combining proofs and programs in a dependently typed language

POPL 2014 · cited 28× · by your 31×

Vintage

You cite like it's 2015

Deepest dig

Principal Type-Schemes for Functional Programs

POPL 1982

Early adopter

cited 1 paper before they were published

e.g. SSProve: A Foundational Framework for… (2023) → The Last Yard: Foundational End-to-End… (CPP 2024)

Lamport number3

1. KMyou
2. CFCédric Fournet
3. MAMartín Abadi
4. 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.