pldb wrapped

HPLHernán Ponce de León

8 papers

cited 56×

cites 176

Reply guy/gal

DBDirk Beyer

cited you 20×

Mutuals

1. DBDirk Beyer10 ⇄ 20
2. MKMichalis Kokologiannakis7 ⇄ 6
3. VVViktor Vafeiadis23 ⇄ 6
4. FHFei He5 ⇄ 4
5. ZSZhihang Sun4 ⇄ 4

you ⇄ them

Parasocial crush

JAJade Alglave

you: 26 · them: 0

Secret admirer

SSSimmo Saan

them: 4 · you: 0

Main character

BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings

CAV 2019 · cited 31×

Ratio'd

Stateless Model Checking for POWER

CAV 2016 · cited 30× · by your 31×

Vintage

You cite like it's 2016

Deepest dig

Efficient and Correct Execution of Parallel Programs that Share Memory

TOPLAS 1988

Lamport number5

1. HPLyou
2. RMRoland Meyer
3. Rupak Majumdar
4. RARajeev Alur
5. RPKRobert P. Kurshan
6. 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.