pldb wrapped

FZFangyi Zhou

3 papers

cited 33×

cites 48

Reply guy/gal

SJSung-Shik Jongmans

cited you 8×

Mutuals

1. SJSung-Shik Jongmans3 ⇄ 8
2. DCDavid Castro-Perez2 ⇄ 2
3. PTPeter Thiemann2 ⇄ 2
4. RHRaymond Hu7 ⇄ 2
5. SFSimon Fowler2 ⇄ 2

you ⇄ them

Parasocial crush

ASAlceste Scalas

you: 7 · them: 0

Secret admirer

LGLorenzo Gheri

them: 5 · you: 0

Main character

Statically verified refinements for multiparty protocols

OOPSLA 2020 · cited 22×

Ratio'd

SteelCore: an extensible concurrent separation logic for effectful dependently…

ICFP 2020 · cited 21× · by your 22×

Vintage

You cite like it's 2019

Deepest dig

Refinement Types for ML

PLDI 1991

Lamport number5

1. FZyou
2. NYNobuko Yoshida
3. DZDamien Zufferey
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.