Yusuke Matsushita

Identifiers

• name variant Yusuke Matsushita 0.60 · backfill

Papers (4)

1. Prophecy-Based Automated Verification of Message-Passing Programs cs.PL · 2026 · author #4
2. Ownership Refinement Types for Pointer Arithmetic and Nested Arrays cs.PL · 2026 · author #2
3. Pure Borrow: Linear Haskell Meets Rust-Style Borrowing cs.PL · 2026 · author #1
4. SoftMatcha 2: A Fast and Soft Pattern Matcher for Trillion-Scale Corpora cs.CL · 2026 · author #2

Mentions

• 2606.28066 #4 · arxiv_oai · confidence 0.70 Yusuke Matsushita
• 2602.10908 #2 · arxiv_oai · confidence 0.70 Yusuke Matsushita
• 2604.15290 #1 · arxiv_oai · confidence 0.70 Yusuke Matsushita

Frequent Coauthors

• Kohei Suenaga 2 shared papers
• Atsushi Igarashi 1 shared papers
• Go kamoda 1 shared papers
• Hiromi Ishii 1 shared papers
• Ken Sakayori 1 shared papers
• Masaki Waga 1 shared papers
• Masataka Yoneda 1 shared papers
• Musashi Katsura 1 shared papers
• Naoki Kobayashi 1 shared papers
• Sho Yokoi 1 shared papers
• Takashi Nagatomi 1 shared papers
• Takuya Akiba 1 shared papers
• Yusuke Fujiwara 1 shared papers