pldb wrapped

RKRobbert Krebbers

43 papers

cited 894×

cites 995

Reply guy/gal

SOGSimon Oddershede Gregersen

cited you 50×

Mutuals

1. ATAmin Timany31 ⇄ 46
2. LBLars Birkedal99 ⇄ 28
3. CHChung-Kil Hur27 ⇄ 27
4. FPFrançois Pottier27 ⇄ 36
5. PGPhilippa Gardner40 ⇄ 21

you ⇄ them

Parasocial crush

KSKasper Svendsen

you: 78 · them: 0

Secret admirer

AAAlejandro Aguirre

them: 25 · you: 0

Main character

Iris from the ground up: A modular foundation for higher-order concurrent…

JFP 2018 · cited 250×

Ratio'd

Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning

POPL 2015 · cited 197× · by your 250×

Vintage

You cite like it's 2015

Deepest dig

Representation Independence and Data Abstraction

POPL 1986

Early adopter

cited 3 papers before they were published

e.g. Iris from the ground up: A modular… (2018) → A separation logic for concurrent randomized… (POPL 2019)

Lamport number4

1. RKyou
2. KMKayvan Memarian
3. RARajeev Alur
4. RPKRobert P. Kurshan
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.