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 6 papers between 2020 and 2025.

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

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

2021
RustHorn: CHC-based Verification for Rust Programs.
[BibTeX]
[DOI]
Yusuke Matsushita
,
Takeshi Tsukada
,
Naoki Kobayashi
ACM Trans. Program. Lang. Syst., 2021

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


  Loading...