Eijiro Sumii

Identifiers

• name variant Eijiro Sumii 0.60 · backfill

Papers (3)

1. Type-based information flow analysis for $\pi$-calculus with a dynamically extensible security lattice cs.CR · 2026 · author #2
2. A Simple and Practical Linear Algebra Library Interface with Static Size Checking cs.PL · 2015 · author #2
3. Sound Bisimulations for Higher-Order Distributed Process Calculus cs.LO · 2010 · author #2

Mentions

• 2606.27059 #2 · arxiv_oai · confidence 0.70 Eijiro Sumii
• 1006.4943 #2 · backfill · confidence 0.70 Eijiro Sumii

Frequent Coauthors

• Adrien Pi\'erard 1 shared papers
• Akinori Abe 1 shared papers
• Yukihiro Oda 1 shared papers