Takashi Hoshino

Identifiers

• name variant Takashi Hoshino 0.60 · backfill

Papers (2)

1. CV-Rules: Serializability Verification of Concurrency Control Protocols via Explicit Transaction Ordering cs.LO · 2026 · author #1
2. 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