pldb wrapped

TTTakeshi Tsukada

25 papers

cited 102×

cites 443

Reply guy/gal

RSRyosuke Sato

cited you 15×

Mutuals

1. RSRyosuke Sato17 ⇄ 15
2. GFGrigory Fedyukovich7 ⇄ 7
3. HUHiroshi Unno33 ⇄ 7
4. JJJacques-Henri Jourdan10 ⇄ 5
5. Derek Dreyer28 ⇄ 4

you ⇄ them

Parasocial crush

ARAndrey Rybalchenko

you: 19 · them: 0

Secret admirer

RYRisa Yamada

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 2014

Deepest dig

Abstract Interpretation: A Unified Lattice Model for Static Analysis of…

POPL 1977

Lamport number4

1. TTyou
2. OPOded Padon
3. KLMKenneth L. McMillan
4. RPKRobert P. Kurshan
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.