pldb wrapped

CPChristopher Pulte

12 papers

cited 194×

cites 221

Reply guy/gal

VVViktor Vafeiadis

cited you 31×

Mutuals

1. Derek Dreyer14 ⇄ 14
2. VVViktor Vafeiadis13 ⇄ 31
3. OLOri Lahav8 ⇄ 28
4. JAJade Alglave52 ⇄ 6
5. JPJean Pichon-Pharabod6 ⇄ 13

you ⇄ them

Parasocial crush

DWDerek Williams

you: 20 · them: 0

Secret admirer

ZLZongyuan Liu

them: 22 · you: 0

Main character

Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models…

POPL 2018 · cited 55×

Ratio'd

Effective Program Verification for Relaxed Memory Models

CAV 2008 · cited 50× · by your 55×

Vintage

You cite like it's 2015

Deepest dig

Syntactic Control of Interference

POPL 1978

Lamport number3

1. CPyou
2. BCPBenjamin C. Pierce
3. MAMartín Abadi
4. LLLeslie Lamport

Load-bearing co-author: Benjamin C. Pierce. Without them: 4.

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.