pldb wrapped

ARAlastair Reid

6 papers

cited 82×

cites 56

Reply guy/gal

JPJean Pichon-Pharabod

cited you 5×

Mutuals

1. ACAdam Chlipala2 ⇄ 2
2. LMLuc Maranget8 ⇄ 2
3. PSPeter Sewell2 ⇄ 2
4. AKAndrew Kennedy1 ⇄ 1
5. ASAnna Slobodová1 ⇄ 2

you ⇄ them

Parasocial crush

SSSusmit Sarkar

you: 7 · them: 0

Secret admirer

BSBen Simner

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

Deepest dig

Conversion of Control Dependence to Data Dependence

POPL 1983

Lamport number4

1. ARyou
2. PSPeter Sewell
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.