pldb wrapped

KMKayvan Memarian

14 papers

cited 295×

cites 273

Reply guy/gal

VVViktor Vafeiadis

cited you 31×

Mutuals

1. VVViktor Vafeiadis17 ⇄ 31
2. CHChung-Kil Hur13 ⇄ 14
3. RJRalf Jung20 ⇄ 11
4. Derek Dreyer10 ⇄ 12
5. LBLars Birkedal16 ⇄ 9

you ⇄ them

Parasocial crush

GRGrigore Rosu

you: 12 · them: 0

Secret admirer

CWConrad Watt

them: 16 · you: 0

Main character

RefinedC: automating the foundational verification of C code with refined…

PLDI 2021 · cited 53×

Ratio'd

The future is ours: prophecy variables in separation logic

POPL 2020 · cited 51× · by your 53×

Vintage

You cite like it's 2014

Deepest dig

Syntactic Control of Interference

POPL 1978

Lamport number3

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