Atsushi Igarashi

Identifiers

• name variant Atsushi Igarashi 0.60 · backfill

Papers (4)

1. Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types cs.PL · 2026 · author #2
2. Ownership Refinement Types for Pointer Arithmetic and Nested Arrays cs.PL · 2026 · author #4
3. Reasoning about Polymorphic Manifest Contracts cs.PL · 2018 · author #2
4. Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus cs.PL · 2008 · author #2

Mentions

• 0808.3307 #2 · backfill · confidence 0.70 Atsushi Igarashi

Frequent Coauthors

• Kohei Suenaga 1 shared papers
• Naokata Shikuma 1 shared papers
• Takashi Suwa 1 shared papers
• Taro Sekiyama 1 shared papers
• Yusuke Fujiwara 1 shared papers
• Yusuke Matsushita 1 shared papers