Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Yusuke Matsushita 0002

松下祐介

> Home > Persons

Person information

affiliation: University of Tokyo, Japan
unicode name: 松下祐介

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/NakayamaMSSK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/NakayamaMSSK24
Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi:
Borrowable Fractional Ownership Types for Verification. VMCAI (2) 2024: 224-246
2023
[i2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-20430
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-20430
Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi:
Borrowable Fractional Ownership Types for Verification. CoRR abs/2310.20430 (2023)
2022
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/MatsushitaDJD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/MatsushitaDJD22
Yusuke Matsushita, Xavier Denis, Jacques-Henri Jourdan, Derek Dreyer:
RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code. PLDI 2022: 841-856
2021
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/MatsushitaTK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/MatsushitaTK21
Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi:
RustHorn: CHC-based Verification for Rust Programs. ACM Trans. Program. Lang. Syst. 43(4): 15:1-15:54 (2021)
2020
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/0002T020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/0002T020
Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi:
RustHorn: CHC-Based Verification for Rust Programs. ESOP 2020: 484-514
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2002-09002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-09002
Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi:
RustHorn: CHC-based Verification for Rust Programs (full version). CoRR abs/2002.09002 (2020)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.