Concepedia

Author

Yusuke Matsushita

The University of TokyoORCID

Also Known As

Matsushita, Yusuke, Yusuke MATSUSHITA, Yusuke Matsushita

18

Publications

124

Citations

5

H-Index

21

Concepts

All Affiliations

The University of Tokyo
YM

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

62

2

Computer Engineering

1

1

14

3

Computer Science

1

1

48

4

Electrical Engineering

1

1

14

5

Compilers

1

1

48

Yusuke Matsushita

×

3

Publications

100

Citations

3

H-Index

YearCitations

RustHorn: CHC-based Verification for Rust Programs

Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi

ACM Transactions on Programming Languages and Systems

2021

48

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

Yusuke Matsushita, Xavier Denis, Jacques-Henri Jourdan,

2022

38

Body bias grain size exploration for a coarse grained reconfigurable accelerator

Yusuke Matsushita, Hayate Okuhara, Masuyama Koichiro,

2016

14

Page 1