pldb wrapped

AGArthur Gervais

3 papers

cited 22×

cites 56

Reply guy/gal

ZSZhendong Su

cited you 6×

Mutuals

1. ZSZhendong Su9 ⇄ 6
2. CZChengyu Zhang2 ⇄ 1
3. DHDan Hao1 ⇄ 1
4. HLHan Liu1 ⇄ 1
5. JSJun Sun1 ⇄ 1

you ⇄ them

Parasocial crush

JRJohn Regehr

you: 6 · them: 0

Secret admirer

ASAugust Shi

them: 3 · you: 0

Main character

Finding typing compiler bugs

PLDI 2022 · cited 16×

Vintage

You cite like it's 2018

Deepest dig

Bounded Quantification is Undecidable

POPL 1992

Lamport number4

1. AGyou
2. BLBenjamin Livshits
3. CFCédric Fournet
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: Benjamin Livshits. Without them: 6.

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.