pldb wrapped

ISIan Stark

7 papers

cited 50×

cites 74

Reply guy/gal

JPJean Pichon-Pharabod

cited you 7×

Mutuals

1. LBLars Birkedal10 ⇄ 6
2. ALGAïna Linn Georges5 ⇄ 3
3. Derek Dreyer3 ⇄ 3
4. DDDominique Devriese8 ⇄ 3
5. ATAmin Timany3 ⇄ 2

you ⇄ them

Parasocial crush

SZSteve Zdancewic

you: 8 · them: 0

Secret admirer

JRJune Rousseau

them: 3 · you: 0

Main character

ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS

POPL 2019 · cited 32×

Ratio'd

Lem: reusable engineering of real-world semantics

ICFP 2014 · cited 26× · by your 32×

Vintage

You cite like it's 2014

Deepest dig

Equivalence in Functional Languages with Effects

JFP 1991

Lamport number4

1. ISyou
2. KMKayvan Memarian
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.