pldb wrapped

PSPeter Sewell

54 papers

cited 874×

cites 594

Reply guy/gal

VVViktor Vafeiadis

cited you 105×

Mutuals

1. VVViktor Vafeiadis50 ⇄ 105
2. Derek Dreyer36 ⇄ 36
3. CHChung-Kil Hur30 ⇄ 40
4. JKJeehoon Kang21 ⇄ 29
5. OLOri Lahav21 ⇄ 99

you ⇄ them

Parasocial crush

SVASarita V. Adve

you: 23 · them: 0

Secret admirer

CWConrad Watt

them: 27 · you: 0

Main character

Mathematizing C++ concurrency

POPL 2011 · cited 147×

Ratio'd

Foundations of the C++ concurrency memory model

PLDI 2008 · cited 122× · by your 147×

Vintage

You cite like it's 2011

Deepest dig

How to Design a System in Which Modules Can Be Changed on the Fly

ICSE 1976

Early adopter

cited 1 paper before they were published

e.g. Ott: effective tool support for the… (2007) → Engineering formal metatheory (POPL 2008)

Lamport number3

1. PSyou
2. RARajeev Alur
3. RPKRobert P. Kurshan
4. 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.