pldb wrapped

YSYoungju Song

9 papers

cited 115×

cites 170

Reply guy/gal

ZSZhong Shao

cited you 12×

Mutuals

1. ZSZhong Shao14 ⇄ 12
2. JKJérémie Koenig11 ⇄ 8
3. YZYannick Zakowski8 ⇄ 8
4. SZSteve Zdancewic16 ⇄ 6
5. Derek Dreyer18 ⇄ 5

you ⇄ them

Parasocial crush

Xavier Leroy

you: 12 · them: 0

Secret admirer

ACArthur Correnson

them: 4 · you: 0

Main character

Taming undefined behavior in LLVM

PLDI 2017 · cited 28×

Ratio'd

Verified peephole optimizations for CompCert

PLDI 2016 · cited 27× · by your 28×

Vintage

You cite like it's 2015

Deepest dig

Proving Liveness Properties of Concurrent Programs

TOPLAS 1982

Lamport number4

1. YSyou
2. Derek Dreyer
3. BCPBenjamin C. Pierce
4. MAMartín Abadi
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.