Sohei Ito

Identifiers

• name variant Sohei Ito 0.60 · backfill

Papers (2)

1. Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic cs.LO · 2025 · author #1
2. Semantical Equivalence of the Control Flow Graph and the Program Dependence Graph cs.PL · 2018 · author #1

Mentions

• 2507.00465 #1 · arxiv_oai · confidence 0.70 Sohei Ito

Frequent Coauthors

• Makoto Tatsuta 1 shared papers