pldb wrapped

ATAaron Turon

14 papers

cited 488×

cites 159

Reply guy/gal

RKRobbert Krebbers

cited you 55×

Mutuals

1. PGPhilippa Gardner12 ⇄ 17
2. XFXinyu Feng15 ⇄ 11
3. LBLars Birkedal8 ⇄ 12
4. MJPMatthew J. Parkinson18 ⇄ 8
5. TDThomas Dinsdale-Young11 ⇄ 7

you ⇄ them

Parasocial crush

MHMaurice Herlihy

you: 9 · them: 0

Secret admirer

JTJoseph Tassarotti

them: 31 · you: 0

Main character

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

POPL 2015 · cited 197×

Ratio'd

Concurrent Abstract Predicates

ECOOP 2010 · cited 107× · by your 197×

Vintage

You cite like it's 2008

Deepest dig

Tentative Steps Toward a Development Method for Interfering Programs

TOPLAS 1983

Early adopter

cited 1 paper before they were published

e.g. Metaprogramming with Traits (2007) → FeatherTrait: A modest extension of Featherweight… (TOPLAS 2008)

Lamport number4

1. ATyou
2. SOScott Owens
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.