We stand with Ukraine  

Yusuke Matsushita

Orcid: 0000-0002-5208-3106

Affiliations:
  • Kyoto University, Japan
  • University of Tokyo, Japan (former)


According to our database1, Yusuke Matsushita authored at least 10 papers between 2020 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
Ownership Refinement Types for Pointer Arithmetic and Nested Arrays.
[BibTeX]
[DOI]
Yusuke Fujiwara
,
Yusuke Matsushita
,
Kohei Suenaga
,
Atsushi Igarashi
CoRR, April, 2026

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing.
[BibTeX]
[DOI]
Yusuke Matsushita
,
Hiromi Ishii
CoRR, April, 2026

SoftMatcha 2: A Fast and Soft Pattern Matcher for Trillion-Scale Corpora.
[BibTeX]
[DOI]
Masataka Yoneda
,
Yusuke Matsushita
,
Go Kamoda
,
Kohei Suenaga
,
Takuya Akiba
,
Masaki Waga
,
Sho Yokoi
CoRR, February, 2026

RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing.
[BibTeX]
[DOI]
Yusuke Matsushita
,
Kengo Hirata
,
Ryo Wakizaka
,
Emanuele D'Osualdo
Proc. ACM Program. Lang., 2026

2025
Nola: Later-Free Ghost State for Verifying Termination in Iris.
[BibTeX]
[DOI]
Yusuke Matsushita
,
Takeshi Tsukada
Proc. ACM Program. Lang., 2025

SoftMatcha: A Soft and Fast Pattern Matcher for Billion-Scale Corpus Searches.
[BibTeX]
[DOI]
Hiroyuki Deguchi
,
Go Kamoda
,
Yusuke Matsushita
,
Chihiro Taguchi
,
Kohei Suenaga
,
Masaki Waga
,
Sho Yokoi
Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024
Borrowable Fractional Ownership Types for Verification.
[BibTeX]
[DOI]
Takashi Nakayama
,
Yusuke Matsushita
,
Ken Sakayori
,
Ryosuke Sato
,
Naoki Kobayashi
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2022
RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code.
[BibTeX]
[DOI]
Yusuke Matsushita
,
Xavier Denis
,
Jacques-Henri Jourdan
,
Derek Dreyer
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2020
RustHorn: CHC-based Verification for Rust Programs (full version).
[BibTeX]
[DOI]
Yusuke Matsushita
,
Takeshi Tsukada
,
Naoki Kobayashi
CoRR, 2020

RustHorn: CHC-Based Verification for Rust Programs.
[BibTeX]
[DOI]
Yusuke Matsushita
,
Takeshi Tsukada
,
Naoki Kobayashi
Proceedings of the Programming Languages and Systems, 2020


  Loading...