Takashi Hoshino
Identifiers
- name variant Takashi Hoshino 0.60 · backfill
Papers (2)
- CV-Rules: Serializability Verification of Concurrency Control Protocols via Explicit Transaction Ordering cs.LO · 2026 · author #1
- Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets cs.PL · 2026 · author #2
Mentions
- 2606.25409 #1 · arxiv_oai · confidence 0.70 Takashi Hoshino
Frequent Coauthors
- Shigeo Mitsunari 2 shared papers
- Ryoji Kurosawa 1 shared papers
- Sho Nakazono 1 shared papers
- Takashi Kambayashi 1 shared papers