pldb wrapped

BCBrian Campbell

9 papers

cited 89×

cites 133

Reply guy/gal

LBLars Birkedal

cited you 13×

Mutuals

1. LBLars Birkedal12 ⇄ 13
2. JPJean Pichon-Pharabod8 ⇄ 10
3. RKRobbert Krebbers4 ⇄ 5
4. ATAmin Timany3 ⇄ 4
5. ALGAïna Linn Georges5 ⇄ 3

you ⇄ them

Parasocial crush

SSSusmit Sarkar

you: 22 · them: 0

Secret admirer

JHJan Hoffmann

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

The Essence of Compiling with Continuations

PLDI 1993

Lamport number4

1. BCyou
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.