Yusuke Matsushita

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 6

Top Topics

Prolog Programs

Functional Verification

Hardware Designs

Top Venues

Publications

Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi
Borrowable Fractional Ownership Types for Verification. VMCAI (2) (2024)
Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi
Borrowable Fractional Ownership Types for Verification. CoRR (2023)
Yusuke Matsushita, Xavier Denis, Jacques-Henri Jourdan, Derek Dreyer
RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code. PLDI (2022)
Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi
RustHorn: CHC-based Verification for Rust Programs. ACM Trans. Program. Lang. Syst. 43 (4) (2021)
Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi
RustHorn: CHC-based Verification for Rust Programs (full version). CoRR (2020)
Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi
RustHorn: CHC-Based Verification for Rust Programs. ESOP (2020)