pldb wrapped

MFAMohamed Faouzi Atig

34 papers

cited 411×

cites 438

Reply guy/gal

OLOri Lahav

cited you 52×

Mutuals

1. OLOri Lahav50 ⇄ 52
2. VVViktor Vafeiadis42 ⇄ 49
3. JAJade Alglave36 ⇄ 20
4. MKMichalis Kokologiannakis18 ⇄ 46
5. MTMichael Tautschnig18 ⇄ 15

you ⇄ them

Parasocial crush

RARajeev Alur

you: 21 · them: 0

Secret admirer

VHVojtech Havlena

them: 21 · you: 0

Main character

Stateless Model Checking for TSO and PSO

TACAS 2015 · cited 62×

Ratio'd

Effective Program Verification for Relaxed Memory Models

CAV 2008 · cited 50× · by your 62×

Vintage

You cite like it's 2013

Deepest dig

Expressing Interesting Properties of Programs in Propositional Temporal Logic

POPL 1986

Lamport number4

1. MFAyou
2. SQShaz Qadeer
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.