Yusuke Matsushita

日本の大学への公開時点の所属を確認できた著者表記を掲載しています。大学IDと完全一致の著者名でまとめており、人物の名寄せはしていません。同名別人や表記違いの可能性があり、現在所属・全業績・研究者の総合順位を表すものではありません。

公開時所属: 京都大学 · Top conference papers: 6

分野別内訳

• Programming Languages & Formal Methods 4
• Machine Learning 2

分野別の本数はcross-listにより重なる場合があります。合計本数は同一論文を1本に数えます。

論文一覧

1. 2026 · ICML

   SoftMatcha 2: A Fast and Soft Pattern Matcher for Trillion-Scale Corpora

   Masataka Yoneda, Yusuke Matsushita, Go Kamoda, Kohei Suenaga, Takuya Akiba, Masaki Waga, Sho Yokoi

   Machine Learning

   日本大学: 京都大学 / 東京大学

2. 2026 · PLDI

   Pure Borrow: Linear Haskell Meets Rust-Style Borrowing

   Yusuke Matsushita, Hiromi Ishii

   Programming Languages & Formal Methods

   日本大学: 京都大学

3. 2026 · PLDI

   VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System

   Travis Hance, Laila Elbeheiry, Yusuke Matsushita, Derek Dreyer

   Programming Languages & Formal Methods

   日本大学: 京都大学

4. 2026 · POPL

   RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing

   Yusuke Matsushita, Kengo Hirata, Ryo Wakizaka, Emanuele D'Osualdo

   Programming Languages & Formal Methods

   日本大学: 京都大学

5. 2025 · ICLR

   SoftMatcha: A Soft and Fast Pattern Matcher for Billion-Scale Corpus Searches

   Hiroyuki Deguchi, Go Kamoda, Yusuke Matsushita, Chihiro Taguchi, Kohei Suenaga, Masaki Waga, Sho Yokoi

   Machine Learning

   日本大学: 京都大学 / 東北大学

6. 2025 · PLDI

   Nola: Later-Free Ghost State for Verifying Termination in Iris

   Yusuke Matsushita, Takeshi Tsukada

   Programming Languages & Formal Methods

   日本大学: 千葉大学 / 京都大学