Yusuke Matsushita

12 papers A* 2A 1Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing.
Proc. ACM Program. Lang.
Yusuke Matsushita, Kengo Hirata, Ryo Wakizaka, Emanuele D'Osualdo
2026 J jnl
SoftMatcha 2: A Fast and Soft Pattern Matcher for Trillion-Scale Corpora.
CoRR
Masataka Yoneda, Yusuke Matsushita, Go Kamoda, Kohei Suenaga, Takuya Akiba, Masaki Waga, Sho Yokoi
2025 J jnl
Nola: Later-Free Ghost State for Verifying Termination in Iris.
Proc. ACM Program. Lang.
Yusuke Matsushita, Takeshi Tsukada
2025 J jnl
RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing.
CoRR
Yusuke Matsushita, Kengo Hirata, Ryo Wakizaka, Emanuele D'Osualdo
2025 A* conf
SoftMatcha: A Soft and Fast Pattern Matcher for Billion-Scale Corpus Searches.
ICLR
Hiroyuki Deguchi, Go Kamoda, Yusuke Matsushita, Chihiro Taguchi, Kohei Suenaga, Masaki Waga, Sho Yokoi
2025 J jnl
SoftMatcha: A Soft and Fast Pattern Matcher for Billion-Scale Corpus Searches.
CoRR
Hiroyuki Deguchi, Go Kamoda, Yusuke Matsushita, Chihiro Taguchi, Kohei Suenaga, Masaki Waga, Sho Yokoi
2024 — conf
Borrowable Fractional Ownership Types for Verification.
VMCAI (2)
Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi
2023 J jnl
Borrowable Fractional Ownership Types for Verification.
CoRR
Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi
2022 A* conf
RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code.
PLDI
Yusuke Matsushita, Xavier Denis, Jacques-Henri Jourdan, Derek Dreyer
2021 J jnl
RustHorn: CHC-based Verification for Rust Programs.
ACM Trans. Program. Lang. Syst.
Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi
2020 A conf
RustHorn: CHC-Based Verification for Rust Programs.
ESOP
Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi
2020 J jnl
RustHorn: CHC-based Verification for Rust Programs (full version).
CoRR
Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi