Shigeo Mitsunari

Identifiers

• name variant Shigeo Mitsunari 0.60 · backfill

Papers (2)

1. CV-Rules: Serializability Verification of Concurrency Control Protocols via Explicit Transaction Ordering cs.LO · 2026 · author #2
2. Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets cs.PL · 2026 · author #1

Mentions

• 2606.25409 #2 · arxiv_oai · confidence 0.70 Shigeo Mitsunari

Frequent Coauthors

• Takashi Hoshino 2 shared papers
• Ryoji Kurosawa 1 shared papers
• Sho Nakazono 1 shared papers
• Takashi Kambayashi 1 shared papers