pldb wrapped

Derek Dreyer

@herrdreyer.bsky.social

78 papers

cited 2,144×

cites 1,216

Reply guy/gal

ATAmin Timany

cited you 89×

Mutuals

1. LBLars Birkedal65 ⇄ 80
2. PGPhilippa Gardner55 ⇄ 43
3. PSPeter Sewell36 ⇄ 36
4. ZSZhong Shao45 ⇄ 36
5. ATAmin Timany32 ⇄ 89

you ⇄ them

Parasocial crush

Xavier Leroy

you: 34 · them: 0

Secret admirer

JLJanggun Lee

them: 55 · 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 2013

Deepest dig

Abstract Interpretation: A Unified Lattice Model for Static Analysis of…

POPL 1977

Early adopter

cited 5 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. you
2. BCPBenjamin C. Pierce
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.