pldb wrapped

LBLars Birkedal

91 papers

cited 1,544×

cites 1,179

Reply guy/gal

RKRobbert Krebbers

cited you 99×

Mutuals

1. Derek Dreyer80 ⇄ 65
2. VVViktor Vafeiadis81 ⇄ 40
3. FPFrançois Pottier37 ⇄ 44
4. PGPhilippa Gardner47 ⇄ 36
5. RJRalf Jung34 ⇄ 47

you ⇄ them

Parasocial crush

BLKBenjamin Lucien Kaminski

you: 21 · them: 0

Secret admirer

IMIke Mulder

them: 44 · you: 0

Main character

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

JFP 2018 · cited 250×

Ratio'd

Checking Interference with Fractional Permissions

SAS 2003 · cited 160× · by your 250×

Vintage

You cite like it's 2014

Deepest dig

Unrestricted Procedure Calls in Hoare's Logic

POPL 1978

Early adopter

cited 2 papers before they were published

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

Lamport number3

1. LByou
2. JGMJ. Gregory Morrisett
3. FBSFred B. Schneider
4. LLLeslie Lamport

Load-bearing co-author: J. Gregory Morrisett. 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.