Follow
Yusuke Matsushita
Yusuke Matsushita
Verified email at fos.kuis.kyoto-u.ac.jp - Homepage
Title
Cited by
Cited by
Year
RustHorn: CHC-based Verification for Rust Programs
Y Matsushita, T Tsukada, N Kobayashi
ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (4), 1-54, 2021
832021
RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code
Y Matsushita, X Denis, JH Jourdan, D Dreyer
Proceedings of the 43rd ACM SIGPLAN Conference on Programming Language …, 2022
342022
Extensible Functional-Correctness Verification of Rust Programs by the Technique of Prophecy
Y Matsushita
University of Tokyo, 2021
32021
Borrowable Fractional Ownership Types for Verification
T Nakayama, Y Matsushita, K Sakayori, R Sato, N Kobayashi
International Conference on Verification, Model Checking, and Abstract …, 2023
12023
CHC-based Program Verification Exploiting Ownership Types
Y Matsushita
Senior Thesis. University of Tokyo, 2019
12019
RustHorn: CHC-Based Verification for Rust Programs
Y Matsushita, T Tsukada, N Kobayashi
European Symposium on Programming (ESOP), 484-514, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–6