pldb wrapped

MTMichael Tautschnig

17 papers

cited 340×

cites 189

Reply guy/gal

VVViktor Vafeiadis

cited you 33×

Mutuals

1. PSPeter Sewell21 ⇄ 18
2. MFAMohamed Faouzi Atig15 ⇄ 18
3. ABAhmed Bouajjani14 ⇄ 9
4. DBDirk Beyer8 ⇄ 24
5. PAAParosh Aziz Abdulla6 ⇄ 19

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 19 · them: 0

Secret admirer

OLOri Lahav

them: 27 · you: 0

Main character

Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory

TOPLAS 2014 · cited 115×

Ratio'd

Efficient and Correct Execution of Parallel Programs that Share Memory

TOPLAS 1988 · cited 87× · by your 115×

Vintage

You cite like it's 2009

Deepest dig

Automatic Discovery of Linear Restraints Among Variables of a Program

POPL 1978

Lamport number4

1. MTyou
2. STSerdar Tasiran
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.