pldb wrapped

ABAles Bizjak

4 papers

cited 349×

cites 92

Reply guy/gal

ATAmin Timany

cited you 29×

Mutuals

1. ATAmin Timany8 ⇄ 29
2. PGPhilippa Gardner7 ⇄ 7
3. JTJoseph Tassarotti5 ⇄ 26
4. ANAleksandar Nanevski5 ⇄ 4
5. AWAAndrew W. Appel14 ⇄ 4

you ⇄ them

Parasocial crush

KSKasper Svendsen

you: 12 · them: 0

Secret admirer

MSMichael Sammler

them: 22 · 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 2014

Deepest dig

BI as an Assertion Language for Mutable Data Structures

POPL 2001

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 number4

1. AByou
2. LBLars Birkedal
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
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.