佐藤亮介

サトウリョウスケ | Sato Ryosuke

所属機関・部署：
職名：准教授
ホームページURL (1件)： https://ryosu-sato.github.io/

研究分野 (2件)：情報学基礎論 , ソフトウェア

研究キーワード (4件)：高階モデル検査 , 型システム , プログラム検証 , プログラミング言語

競争的資金等の研究課題 (6件)：

全件表示

論文 (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

MISC (47件)：

池田翔, 中野大扉, 亀井靖高, 佐藤亮介, 鵜林尚靖, 久保田学, 矢川博文, 吉武浩. ミドルウェア製品開発に対する自動バグ修正技術の適用事例. 情報処理学会デジタルプラクティス(Web). 2021. 12. 4
松尾春紀, 池田翔, 亀井靖高, 佐藤亮介, 島田敬士, 鵜林尚靖. 教育支援の適用に向けた自動バグ修正手法の性能調査. コンピュータソフトウェア. 2021. 38. 4
西川諒真, 亀井靖高, 佐藤亮介, 鵜林尚靖. コードレビューを通じたSelf-Admitted Technical Debtの追加・削除に関する実証的研究. ソフトウェアエンジニアリングシンポジウム2020論文集. 2020. 2020. 14-22
村岡北斗, 鵜林尚靖, 亀井靖高, 佐藤亮介. Revertに着目した不確かさに関する実証的分析. 情報処理学会論文誌. 2020. 61. 4. 918-929
浅田翔, 首藤巧, 山手響介, 佐藤亮介, 亀井靖高, 鵜林尚靖. 静的解析ツールの警告に対する自動バグ修正技術の適用と初期評価. 情報処理学会研究報告(Web). 2020. 2020. SE-204

学位 (1件)：

受賞 (6件)：

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

全件表示

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

佐藤 亮介