Sato Ryosuke

サトウリョウスケ | Sato Ryosuke

Affiliation and department：
Homepage URL (1)： https://ryosu-sato.github.io/

Research field (2)： Information theory , Software

Research keywords (4)： Higher-order Model Checking , Type Systems , Program Verification , Programming Languages

Research theme for competitive and other funds (6)：

Show all

Papers (40)：

Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi. Borrowable Fractional Ownership Types for Verification. 2024
Hiroyuki Katsura, Naoki Kobayashi, Ryosuke Sato. Higher-Order Property-Directed Reachability. Proceedings of the ACM on Programming Languages. 2023
Ryo Ikeda, Ryosuke Sato, Naoki Kobayashi. Argument Reduction of Constrained Horn Clauses Using Equality Constraints. 2023
Momoko Hattori, Naoki Kobayashi, Ryosuke Sato. Gradual Tensor Shape Checking. 2023
Naoki Kobayashi 0001, Kento Tanahashi, Ryosuke Sato 0001, Takeshi Tsukada. HFL(Z) Validity Checking for Automated Program Verification. Proc. ACM Program. Lang. 2023. 7. POPL. 154-184

ｍore...

MISC (47)：

池田翔, 中野大扉, 亀井靖高, 佐藤亮介, 鵜林尚靖, 久保田学, 矢川博文, 吉武浩. A Case Study of Applying Automatic Program Repair Against Middleware Product. 情報処理学会デジタルプラクティス(Web). 2021. 12. 4
松尾春紀, 池田翔, 亀井靖高, 佐藤亮介, 島田敬士, 鵜林尚靖. A performance study of an automatic bug fixing method for applying educational support. コンピュータソフトウェア. 2021. 38. 4
西川諒真, 亀井靖高, 佐藤亮介, 鵜林尚靖. コードレビューを通じたSelf-Admitted Technical Debtの追加・削除に関する実証的研究. ソフトウェアエンジニアリングシンポジウム2020論文集. 2020. 2020. 14-22
Empirical Study of Uncertainty Focusing on Revert. 2020. 61. 4. 918-929
浅田翔, 首藤巧, 山手響介, 佐藤亮介, 亀井靖高, 鵜林尚靖. 静的解析ツールの警告に対する自動バグ修正技術の適用と初期評価. 情報処理学会研究報告(Web). 2020. 2020. SE-204

ｍore...

Professional career (1)：

Awards (6)：

2023 - ソフトウェアテスト技術振興協会善吾賞ミドルウェア製品開発に対する自動バグ修正技術の適用事例
2021 - 情報処理学会情報処理学会論文誌ジャーナル/JIP特選論文 READMEファイルの進化に関する実証的分析
2020 - 情報処理学会情報処理学会論文誌ジャーナル/JIP特選論文 Revertに着目した不確かさに関する実証的分析
2019 - 情報処理学会ソフトウェアエンジニアリングシンポジウム2019 最優秀論文賞 Revertに着目した不確かさに関する実証的分析
2015 - Information Processing Society of Japan IPSJ Computer Science Research Award for Young Scientists Refinement Type Checking via Assertion Checking

Show all

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page