pldb wrapped

RCRaphaëlle Crubillé

4 papers

cited 24×

cites 43

Reply guy/gal

AAAlejandro Aguirre

cited you 5×

Mutuals

1. LBLars Birkedal3 ⇄ 5
2. DSDavide Sangiorgi4 ⇄ 2
3. MPMichele Pagani4 ⇄ 2
4. SSSam Staton3 ⇄ 2
5. ACAndrew Cobb2 ⇄ 1

you ⇄ them

Parasocial crush

BAPBarak A. Pearlmutter

you: 3 · them: 0

Secret admirer

AKLAlexander K. Lew

them: 2 · you: 0

Main character

On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi

ESOP 2014 · cited 11×

Ratio'd

Relational Parametricity for a Polymorphic Linear Lambda Calculus

APLAS 2010 · cited 8× · by your 11×

Vintage

You cite like it's 2014

Deepest dig

Bisimulation Through Probabilistic Testing

POPL 1989

Lamport number4

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