Yusuke Matsushita
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2009–2026
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | Prophecy-Based Automated Verification of Message-Passing Programs. | Takashi Nagatomi, Musashi Katsura, Naoki Kobayashi, Yusuke Matsushita, Ken Sakayori |
| 2026 | ECOOP | Ownership Refinement Types for Pointer Arithmetic and Nested Arrays. | Yusuke Fujiwara, Yusuke Matsushita, Kohei Suenaga, Atsushi Igarashi |
| 2025 | ICLR | SoftMatcha: A Soft and Fast Pattern Matcher for Billion-Scale Corpus Searches. | Hiroyuki Deguchi, Go Kamoda, Yusuke Matsushita, Chihiro Taguchi, Kohei Suenaga, Masaki Waga, Sho Yokoi |
| 2024 | VMCAI | Borrowable Fractional Ownership Types for Verification. | Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi |
| 2022 | PLDI | RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code. | Yusuke Matsushita, Xavier Denis, Jacques-Henri Jourdan, Derek Dreyer |
| 2020 | ESOP | RustHorn: CHC-Based Verification for Rust Programs. | Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi |
| 2019 | FPL | Demonstration of Low Power Stream Processing Using a Variable Pipelined CGRA. | Takuya Kojima, Naoki Ando, Yusuke Matsushita, Hideharu Amano |
| 2016 | FPL | Body bias grain size exploration for a coarse grained reconfigurable accelerator. | Yusuke Matsushita, Hayate Okuhara, Koichiro Masuyama, Yu Fujita, Ryuta Kawano, Hideharu Amano |
| 2009 | PSIVT | Principal Component Hashing: An Accelerated Approximate Nearest Neighbor Search. | Yusuke Matsushita, Toshikazu Wada |