pldb wrapped

KTKento Tanahashi

1 papers

cited 5×

cites 25

Reply guy/gal

Caterina Urban

cited you 1×

Mutuals

1. EKEric Koskinen1 ⇄ 1
2. HUHiroshi Unno6 ⇄ 1
3. HKHiroyuki Katsura1 ⇄ 1
4. TWThomas Wies1 ⇄ 1

you ⇄ them

Parasocial crush

TTTachio Terauchi

you: 4 · them: 0

Main character

HFL(Z) Validity Checking for Automated Program Verification

POPL 2023 · cited 5×

Vintage

You cite like it's 2014

Deepest dig

Linear Ranking with Reachability

CAV 2005

Lamport number4

1. KTyou
2. NKNaoki Kobayashi
3. BCPBenjamin C. Pierce
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: Naoki Kobayashi. Without them: 5.

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.