pldb wrapped

YMYusuke Matsushita

9 papers

cited 76×

cites 246

Reply guy/gal

AGArmaël Guéneau

cited you 4×

Mutuals

1. Jonathan Protzenko4 ⇄ 4
2. LGLennard Gäher8 ⇄ 4
3. RKRobbert Krebbers28 ⇄ 4
4. RSRyosuke Sato8 ⇄ 4
5. SHSon Ho4 ⇄ 4

you ⇄ them

Parasocial crush

HDHoang-Hai Dang

you: 9 · them: 0

Secret admirer

NSNatasha Sharygina

them: 4 · you: 0

Main character

RustHorn: CHC-based Verification for Rust Programs

TOPLAS 2021 · cited 30×

Ratio'd

Quantified Invariants via Syntax-Guided Synthesis

CAV 2019 · cited 29× · by your 30×

Vintage

You cite like it's 2018

Deepest dig

Imperative Functional Programming

POPL 1993

Lamport number4

1. YMyou
2. THTravis Hance
3. THAThomas H. Austin
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.