pldb wrapped

LMLuc Maranget

21 papers

cited 488×

cites 183

Reply guy/gal

OLOri Lahav

cited you 64×

Mutuals

1. OLOri Lahav14 ⇄ 64
2. MFAMohamed Faouzi Atig13 ⇄ 27
3. ABAhmed Bouajjani10 ⇄ 11
4. PSPeter Sewell10 ⇄ 17
5. SOScott Owens22 ⇄ 9

you ⇄ them

Parasocial crush

MOMMagnus O. Myreen

you: 13 · them: 0

Secret admirer

TPThibaut Pérami

them: 24 · 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 2012

Deepest dig

Minimal and Optimal Computations of Recursive Programs

POPL 1977

Early adopter

cited 1 paper before they were published

e.g. Expressive Synchronization Types for… (2003) → Modern concurrency abstractions for C# (TOPLAS 2004)

Lamport number3

1. LMyou
2. RARajeev Alur
3. RPKRobert P. Kurshan
4. LLLeslie Lamport

Load-bearing co-author: Rajeev Alur. Without them: 4.

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.