AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Yusuke Matsushita

Yusuke Matsushita

Kyoto University - Kyoto / Japan
Engineering & Technology / Computer Science
AD Scientific Index ID: 5790858
京都大学
person_outline Yusuke Matsushita's MOST POPULAR ARTICLES
1-) RustHorn: CHC-based Verification for Rust Programs ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (4), 1-54, 2021
2-) RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code Proceedings of the 43rd ACM SIGPLAN Conference on Programming Language …, 2022
3-) RustHorn: CHC-Based Verification for Rust Programs European Symposium on Programming (ESOP), 484-514, 2020
4-) Borrowable Fractional Ownership Types for Verification International Conference on Verification, Model Checking, and Abstract …, 2024
5-) Extensible Functional-Correctness Verification of Rust Programs by the Technique of ProphecyY MatsushitaUniversity of Tokyo, 2021