Concepedia

Yusuke Matsushita

YM

3

Publications

100

Citations

3

H-Index

2016

Active since

Affiliations

The University of Tokyo(Current)

Yusuke Matsushita is an author at The University of Tokyo specializing in engineering, software systems, and automated reasoning.

ORCID

Top concepts

Publications per year

2016–2022

3

Publications

3

RustHorn: CHC-based Verification for Rust Programs

Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi · ACM Transactions on Programming Languages and Systems · 2021 · 48 citations · Full text

, , +20

RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code

Yusuke Matsushita, Xavier Denis, Jacques-Henri Jourdan et al. · 2022 · 38 citations · Full text

Body bias grain size exploration for a coarse grained reconfigurable accelerator

Yusuke Matsushita, Hayate Okuhara, Masuyama Koichiro et al. · 2016 · 14 citations

, , +16

Rows per page

1–3 of 3