We stand with Ukraine  

Yusuke Matsushita

Orcid: 0000-0002-5208-3106

Affiliations:
  • University of Tokyo, Japan


According to our database1, Yusuke Matsushita authored at least 4 papers between 2020 and 2024.

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

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...