pldb wrapped

XFXinyu Feng

23 papers

cited 325×

cites 252

Reply guy/gal

LBLars Birkedal

cited you 43×

Mutuals

1. Derek Dreyer14 ⇄ 33
2. MJPMatthew J. Parkinson14 ⇄ 16
3. ATAaron Turon11 ⇄ 15
4. AGAlexey Gotsman11 ⇄ 15
5. HYHongseok Yang11 ⇄ 13

you ⇄ them

Parasocial crush

CBJCliff B. Jones

you: 12 · them: 0

Secret admirer

ANAleksandar Nanevski

them: 21 · you: 0

Main character

Local rely-guarantee reasoning

POPL 2009 · cited 52×

Ratio'd

Automatically Proving Linearizability

CAV 2010 · cited 48× · by your 50×

Vintage

You cite like it's 2011

Deepest dig

Ten Years of Hoare's Logic: A Survey - Part 1

TOPLAS 1981

Lamport number4

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