pldb wrapped

BGBenjamin Grégoire

18 papers

cited 268×

cites 160

Reply guy/gal

AAAlejandro Aguirre

cited you 24×

Mutuals

1. BLKBenjamin Lucien Kaminski8 ⇄ 9
2. JKJoost-Pieter Katoen8 ⇄ 10
3. KCKrishnendu Chatterjee6 ⇄ 11
4. MGMarco Gaboardi5 ⇄ 18
5. AWAAndrew W. Appel5 ⇄ 4

you ⇄ them

Parasocial crush

AMAnnabelle McIver

you: 7 · them: 0

Secret admirer

KMKenji Maillard

them: 8 · you: 0

Main character

Formal certification of code-based cryptographic proofs

POPL 2009 · cited 69×

Ratio'd

Stochastic lambda calculus and monads of probability distributions

POPL 2002 · cited 51× · by your 69×

Vintage

You cite like it's 2014

Deepest dig

Termination of Probabilistic Concurrent Programs

POPL 1982

Lamport number3

1. BGyou
2. CFCédric Fournet
3. MAMartín Abadi
4. LLLeslie Lamport

Load-bearing co-author: Cédric Fournet. Without them: 4.

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.