pldb wrapped

HLHongjin Liang

10 papers

cited 133×

cites 157

Reply guy/gal

Derek Dreyer

cited you 15×

Mutuals

1. Derek Dreyer12 ⇄ 15
2. CHChung-Kil Hur10 ⇄ 10
3. OLOri Lahav8 ⇄ 11
4. LBLars Birkedal7 ⇄ 15
5. JKJeehoon Kang5 ⇄ 7

you ⇄ them

Parasocial crush

BLKBenjamin Lucien Kaminski

you: 7 · them: 0

Secret admirer

ANAleksandar Nanevski

them: 9 · you: 0

Main character

Modular verification of linearizability with non-fixed linearization points

PLDI 2013 · cited 50×

Ratio'd

Automatically Proving Linearizability

CAV 2010 · cited 48× · by your 50×

Vintage

You cite like it's 2015

Deepest dig

Tentative Steps Toward a Development Method for Interfering Programs

TOPLAS 1983

Lamport number5

1. HLyou
2. XFXinyu Feng
3. GTGang Tan
4. JGMJ. Gregory Morrisett
5. FBSFred B. Schneider
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.