pldb wrapped

JJJacques-Henri Jourdan

16 papers

cited 729×

cites 279

Reply guy/gal

JTJoseph Tassarotti

cited you 45×

Mutuals

1. LBLars Birkedal33 ⇄ 44
2. ATAmin Timany12 ⇄ 33
3. Derek Dreyer15 ⇄ 11
4. PGPhilippa Gardner11 ⇄ 14
5. RJRalf Jung11 ⇄ 9

you ⇄ them

Parasocial crush

ATAaron Turon

you: 21 · them: 0

Secret admirer

MSMichael Sammler

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

Deepest dig

A Unified Approach to Global Program Optimization

POPL 1973

Early adopter

cited 4 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. JJyou
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.