Sato Ryosuke 佐藤亮介

Researcher Number	10804677
Other IDs	https://orcid.org/0000-0001-8679-2747
Affiliation (Current)	2024: 東京農工大学, 学内共同利用施設等, 准教授
Affiliation (based on the past Project Information) *help	2024: 東京農工大学, 学内共同利用施設等, 准教授 2022: 東京大学, 大学院情報理工学系研究科, 特任講師 2020 – 2022: 東京大学, 大学院情報理工学系研究科, 助教 2020: 東京大学, 情報理工学系研究科, 助教 2017 – 2020: 九州大学, システム情報科学研究院, 助教
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related Except Principal Investigator Medium-sized Section 60:Information science, computer engineering, and related fields / Broad Section J / Theory of informatics
Keywords	Principal Investigator 名前呼び計算体系 / 高階関数型言語 / プログラム検証器 / プログラム検証 / 値呼び評価戦略 / 全自動検証 / 関数型言語 / 名前呼び評価戦略 / 型システム Except Principal Investigator 高階不動点論理 … More / プログラム検証 / 高階モデル検査 / 機械学習 / モデル検査 / 確率付き高階不動点論理 / 共通型 / 高階論理 / 確率付き文法 / 高階文法 / 不動点論理 / 関数型プログラム / 型システム / データ圧縮 / 群衆知 / 深層学習 / デバッグ / 自動バグ修正 / 群集知 / 人工知能 Less

Program Verification Based on Higher-Order Fixpoint Logic
- Principal Investigator
  
  小林直樹
- Project Period (FY)
  2020
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  The University of Tokyo
Program Verification Techniques for the AI Era
- Principal Investigator
  
  小林直樹
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (S)
- Review Section
  
  Broad Section J
- Research Institution
  The University of Tokyo
Program verification by refinment type system for call-by-name programsPrincipal Investigator
- Principal Investigator
  
  Sato Ryosuke
- Project Period (FY)
  2018 – 2022
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  The University of Tokyo
  Kyushu University
Crowd Knowledge Ecosystems for Automatic Bug Fixing
- Principal Investigator
  
  Ubayashi Naoyasu
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Kyushu University
Refinement and Extension of Higher-Order Model Checking
- Principal Investigator
  
  Kobayashi Naoki
- Project Period (FY)
  2015 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (S)
- Research Field
  
  Theory of informatics
- Research Institution
  The University of Tokyo

All 2023 2022 2021 2020 2019 2018 2017 2016 2015

All Journal Article Presentation

[Journal Article] HFL(Z) Validity Checking for Automated Program Verification2023
- Author(s)
  Naoki Kobayashi, Kento Tanahashi, Ryosuke Sato, and Takeshi Tsukada
- Journal Title
  
  Proceedings of the ACM on Programming Languages, Issue POPL, ACM
  
  Volume: 7 Issue: POPL Pages: 154-184
- DOI
  10.1145/3571199
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20H05703
[Journal Article] Gradual Tensor Shape Checking2023
- Author(s)
  Momoko Hattori, Naoki Kobayashi, Ryosuke Sato
- Journal Title
  
  Proceedings of ESOP 2023, Springer LNCS
  
  Volume: 13990 Pages: 197-224
- DOI
  10.1007/978-3-031-30044-8_8
- ISBN
  9783031300431, 9783031300448
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20H05703
[Journal Article] Parameterized Recursive Refinement Types for Automated Program Verification2022
- Author(s)
  Ryoya Mukai, Naoki Kobayashi, Ryosuke Sato
- Journal Title
  
  Proceedings of SAS 2022, Springer LNCS
  
  Volume: 13790 Pages: 397-421
- DOI
  10.1007/978-3-031-22308-2_18
- ISBN
  9783031223075, 9783031223082
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H05703
[Journal Article] Asynchronous Unfold/Fold Transformation for Fixpoint Logic2022
- Author(s)
  Mahmudul Faisal Al Ameen, Naoki Kobayashi, Ryosuke Sato
- Journal Title
  
  Proceedings of FLOPS 2022, Springer LNCS
  
  Volume: 13215 Pages: 39-56
- DOI
  10.1007/978-3-030-99461-7_3
- ISBN
  9783030994600, 9783030994617
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H05703
[Journal Article] Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination2021
- Author(s)
  Shoshi Tsubasa、Ishikawa Takuma、Kobayashi Naoki、Sakayori Ken、Sato Ryosuke、Tsukada Takeshi
- Journal Title
  
  Proceedings of APLAS 2021, Springer LNCS
  
  Volume: 13008 Pages: 265-284
- DOI
  10.1007/978-3-030-89051-3_15
- ISBN
  9783030890506, 9783030890513
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H05703
[Journal Article] ミドルウェア製品開発に対する自動バグ修正技術の適用事例2021
- Author(s)
  池田翔, 中野大扉, 亀井靖高, 佐藤亮介, 鵜林尚靖, 久保田学, 矢川博文, 吉武浩
- Journal Title
  
  情報処理学会論文誌デジタルプラクティス
  
  Volume: 12-4 Pages: 1-10
- NAID
  170000185593
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H04097
[Journal Article] Symbolic Automatic Relations and Their Applications to SMT and CHC Solving2021
- Author(s)
  Shimoda Takumi、Kobayashi Naoki、Sakayori Ken、Sato Ryosuke
- Journal Title
  
  Proceedings of SAS 2021, Springer LNCS
  
  Volume: 12913 Pages: 405-428
- DOI
  10.1007/978-3-030-88806-0_20
- ISBN
  9783030888053, 9783030888060
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H05703
[Journal Article] Inside-Outside Algorithm for Macro Grammars2021
- Author(s)
  Ryuta Kambe, Naoki Kobayashi, Ryosuke Sato, Ayumi Shinohara, Ryo Yoshinaka
- Journal Title
  
  Proceedings of Machine Learning Research
  
  Volume: 153 Pages: 32-46
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20H05703
[Journal Article] Toward Neural-Network-Guided Program Synthesis and Verification2021
- Author(s)
  Kobayashi Naoki、Sekiyama Taro、Sato Issei、Unno Hiroshi
- Journal Title
  
  Lecture Notes in Computer Science (SAS)
  
  Volume: 12913 Pages: 236-260
- DOI
  10.1007/978-3-030-88806-0_12
- ISBN
  9783030888053, 9783030888060
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K20247, KAKENHI-PROJECT-20H05703, KAKENHI-PROJECT-23K20380
[Journal Article] 教育支援の適用に向けた自動バグ修正手法の性能調査 [FOSE2020 推薦レター論文]2021
- Author(s)
  松尾春紀, 池田翔, 亀井靖高, 佐藤亮介, 島田敬士, 鵜林尚靖
- Journal Title
  
  日本ソフトウェア科学会誌コンピュータソフトウェア
  
  Volume: 38-4 Pages: 16-22
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H04097
[Journal Article] Decision Tree Learning in CEGIS-Based Termination Analysis2021
- Author(s)
  Kura Satoshi、Unno Hiroshi、Hasuo Ichiro
- Journal Title
  
  Proceedings of CAV 2021, Springer LNCS
  
  Volume: 12760 Pages: 75-98
- DOI
  10.1007/978-3-030-81688-9_4
- ISBN
  9783030816872, 9783030816889
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20H05703, KAKENHI-PROJECT-23K20380
[Journal Article] ICE-Based Refinement Type Discovery for Higher-Order Functional Programs2020
- Author(s)
  Champion Adrien、Chiba Tomoya、Kobayashi Naoki、Sato Ryosuke
- Journal Title
  
  Journal of Automated Reasoning
  
  Volume: 64 Issue: 7 Pages: 1393-1418
- DOI
  10.1007/s10817-020-09571-y
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H05706
[Journal Article] ソースコードメトリクスが自動バグ修正に与える影響の分析2020
- Author(s)
  中村司, 池田翔, 亀井靖高, 佐藤亮介, 鵜林尚靖
- Journal Title
  
  情報処理学会ソフトウェアエンジニアリングシンポジウム2020 (SES 2020)
  
  Volume: - Pages: 60-68
- NAID
  170000183327
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H04097
[Journal Article] 自動バグ修正における開発者によるバグ限局の効果 -Defects4J を対象にした初期評価-2020
- Author(s)
  山手響介, 首藤巧, 浅田翔, 佐藤亮介, 亀井靖高, 鵜林尚靖
- Journal Title
  
  日本ソフトウエア科学会第27回ソフトウェア工学の基礎ワークショップ (FOSE 2020)
  
  Volume: - Pages: 33-38
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H04097
[Journal Article] DAWGs for Parameterized Matching: Online Construction and Related Indexing Structures2020
- Author(s)
  Katsuhito Nakashima, Noriki Fujisato, Diptarama Hendrian, Yuto Nakashima, Ryo Yoshinaka, Shunsuke Inenaga, Hideo Bannai, Ayumi Shinohara, and Masayuki Takeda
- Journal Title
  
  Proceedings of CPM2020, LIPIcs
  
  Volume: 161
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15H05706
[Journal Article] 動的解析による自動バグ修正技術の静的解析ツールの警告への適用と初期評価2020
- Author(s)
  浅田翔, 首藤巧, 山手響介, 佐藤亮介, 亀井靖高, 鵜林尚靖
- Journal Title
  
  日本ソフトウエア科学会第27回ソフトウェア工学の基礎ワークショップ (FOSE 2020)
  
  Volume: - Pages: 13-22
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H04097
[Journal Article] ミドルウェア製品開発への自動バグ修正技術適用の試み2020
- Author(s)
  池田翔, 中野大扉, 亀井靖高, 佐藤亮介, 鵜林尚靖, 久保田学, 矢川博文, 吉武浩
- Journal Title
  
  情報処理学会ソフトウェアエンジニアリングシンポジウム2020 (SES 2020)
  
  Volume: - Pages: 79-87
- NAID
  170000183329
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H04097
[Journal Article] 教育支援の適用に向けた自動バグ修正手法の性能評価に関する調査2020
- Author(s)
  松尾春紀, 池田翔, 亀井靖高, 佐藤亮介, 島田敬士, 鵜林尚靖
- Journal Title
  
  日本ソフトウエア科学会第27回ソフトウェア工学の基礎ワークショップ (FOSE 2020)
  
  Volume: - Pages: 23-32
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H04097
[Journal Article] 集合知を用いた深層学習による自動バグ修正2019
- Author(s)
  高橋裕太, 鵜林尚靖, 佐藤亮介, 亀井靖高
- Journal Title
  
  情報処理学会ソフトウェアエンジニアリングシンポジウム2019 (SES 2019)
  
  Volume: - Pages: 87-96
- NAID
  170000150604
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H04097
[Journal Article] ソースコードの修正履歴と自動バグ修正結果の関係に関する分析2019
- Author(s)
  首藤巧, 亀井靖高, 鵜林尚靖, 佐藤亮介
- Journal Title
  
  日本ソフトウエア科学会第26回ソフトウェア工学の基礎ワークショップ (FOSE 2019)
  
  Volume: - Pages: 23-32
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H04097
[Journal Article] Combining higher-order model checking with refinement type inference2019
- Author(s)
  Sato Ryosuke、Iwayama Naoki、Kobayashi Naoki
- Journal Title
  
  Proceedings of PEPM 2019
  
  Volume: - Pages: 47-53
- DOI
  10.1145/3294032.3294081
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15H05706
[Journal Article] When and Why Do Software Developers Face Uncertainty?2019
- Author(s)
  Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato
- Journal Title
  
  19th IEEE International Conference on Software Quality, Reliability and Security (QRS 2019)
  
  Volume: - Pages: 288-299
- DOI
  10.1109/qrs.2019.00045
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H04097
[Journal Article] Git-based Integrated Uncertainty Manager2019
- Author(s)
  Naoyasu Ubayashi, Takuya Watanabe, Yasutaka Kamei, Ryosuke Sato
- Journal Title
  
  41st International Conference on Software Engineering (ICSE 2019) Companion Proceedings
  
  Volume: - Pages: 95-98
- DOI
  10.1109/icse-companion.2019.00047
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H04097
[Journal Article] An improvement of the Franek-Jennings-Smyth pattern matching algorithm2019
- Author(s)
  Satoshi Kobayashi, Diptarama Hendrian, Ryo Yoshinaka, and Ayumi Shinohara
- Journal Title
  
  Proceedings of the Prague Stringology Conference 2019 (PSC 2019)
  
  Volume: - Pages: 56-68
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15H05706
[Journal Article] HoIce: An ICE-Based Non-linear Horn Clause Solver2018
- Author(s)
  Champion Adrien、Kobayashi Naoki、Sato Ryosuke
- Journal Title
  
  Proceedings of APLAS 2018, Springer LNCS
  
  Volume: 11275 Pages: 146-156
- DOI
  10.1007/978-3-030-02768-1_8
- ISBN
  9783030027674, 9783030027681
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H05706
[Journal Article] ICE-Based Refinement Type Discovery for Higher-Order Functional Programs2018
- Author(s)
  Champion Adrien、Chiba Tomoya、Kobayashi Naoki、Sato Ryosuke
- Journal Title
  
  Proceedings of TACAS 2018, Springer LNCS
  
  Volume: 10805 Pages: 365-384
- DOI
  10.1007/978-3-319-89960-2_20
- ISBN
  9783319899596, 9783319899602
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15H05706
[Journal Article] Toward Automatic Program Repair using Knowledge Extracted from Stack Overflow．2018
- Author(s)
  廣瀬賢幸, 鵜林尚靖, 亀井靖高, 佐藤亮介
- Journal Title
  
  Computer Software
  
  Volume: 35 Issue: 4 Pages: 144-150
- DOI
  10.11309/jssst.35.144
- NAID
  130007514239
- ISSN
  0289-6540
- Year and Date
  2018-10-25
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18H04097
[Journal Article] Verifying relational properties of functional programs by first-order refinement2017
- Author(s)
  Asada Kazuyuki、Sato Ryosuke、Kobayashi Naoki
- Journal Title
  
  Science of Computer Programming
  
  Volume: 137 Pages: 2-62
- DOI
  10.1016/j.scico.2016.02.007
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H05706
[Journal Article] Modular Verification of Higher-Order Functional Programs2017
- Author(s)
  Sato Ryosuke、Kobayashi Naoki
- Journal Title
  
  Proceedings of ESOP 2017, Springer LNCS
  
  Volume: 10201 Pages: 831-854
- DOI
  10.1007/978-3-662-54434-1_31
- ISBN
  9783662544334, 9783662544341
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H05706
[Journal Article] Automatically disproving fair termination of higher-order functional programs2016
- Author(s)
  Watanabe Keiichi、Sato Ryosuke、Tsukada Takeshi、Kobayashi Naoki
- Journal Title
  
  Proceedings of ICFP 2016
  
  Volume: - Pages: 243-255
- DOI
  10.1145/2951913.2951919
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H05706
[Journal Article] Temporal Verification of Higher-Order Functional Programs2016
- Author(s)
  Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, and Hiroshi Unno
- Journal Title
  
  In Proceedings of the 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016), ACM SIGPLAN Notices
  
  Volume: 51 (1) Pages: 57-68
- DOI
  10.1145/2837614.2837667
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330082, KAKENHI-PROJECT-15H05706, KAKENHI-PROJECT-25730035, KAKENHI-PROJECT-25280020, KAKENHI-PROJECT-25280023
[Journal Article] Refinement Type Checking via Assertion Checking2015
- Author(s)
  Ryosuke Sato, Kazuyuki Asada, Naoki Kobayashi
- Journal Title
  
  Journal of Information Processing
  
  Volume: 23 Issue: 6 Pages: 827-834
- DOI
  10.2197/ipsjjip.23.827
- NAID
  130005109162
- ISSN
  1882-6652
- Language
  English
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15H05706
[Presentation] Refinement types for call-by-name programs2023
- Author(s)
  佐藤亮介
- Organizer
  第143回プログラミング研究発表会
- Data Source
  KAKENHI-PROJECT-18K18030
[Presentation] 自動バグ修正研究のためのプラットフォームjProphetの開発について2020
- Author(s)
  首藤巧, 亀井靖高, 鵜林尚靖, 佐藤亮介, 浅田翔, 山手響介
- Organizer
  情報処理学会研究報告 2020-SE-206, No.6
- Data Source
  KAKENHI-PROJECT-18H04097
[Presentation] 開発者によるバグ限局を考慮した自動バグ修正への影響分析2020
- Author(s)
  山手響介, 首藤巧, 浅田翔, 佐藤亮介, 亀井靖高, 鵜林尚靖
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会信学技報 SS2019-48
- Data Source
  KAKENHI-PROJECT-18H04097
[Presentation] 修正ソースコードの特徴が自動バグ修正に与える影響の分析2020
- Author(s)
  中村司, 池田翔, 亀井靖高, 佐藤亮介, 鵜林尚靖
- Organizer
  情報処理学会ソフトウェア工学研究会 2020-SE-204, No.2
- Data Source
  KAKENHI-PROJECT-18H04097
[Presentation] 文法エラーに対する自動バグ修正ツールの性能評価2020
- Author(s)
  松尾春紀, 池田翔, 亀井靖高, 佐藤亮介, 鵜林尚靖
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会信学技報 SS2019-47
- Data Source
  KAKENHI-PROJECT-18H04097
[Presentation] 静的解析ツールの警告に対する自動バグ修正技術の適用と初期評価2020
- Author(s)
  浅田翔, 首藤巧, 山手響介, 佐藤亮介, 亀井靖高, 鵜林尚靖
- Organizer
  情報処理学会ソフトウェア工学研究会 2020-SE-204, No.1
- Data Source
  KAKENHI-PROJECT-18H04097
[Presentation] 静的解析ツールの警告に対する自動バグ修正技術の適用と初期評価2020
- Author(s)
  浅田翔, 山手響介, 首藤巧, 佐藤亮介, 亀井靖高, 鵜林尚靖
- Organizer
  情報処理学会ソフトウェア工学研究会ウィンターワークショップ2020・イン・京都
- Data Source
  KAKENHI-PROJECT-18H04097
[Presentation] 開発者によるバグ限局が自動バグ修正の結果に与える影響の分析2020
- Author(s)
  山手響介, 浅田翔, 首藤巧, 佐藤亮介, 亀井靖高, 鵜林尚靖
- Organizer
  情報処理学会ソフトウェア工学研究会ウィンターワークショップ2020・イン・京都
- Data Source
  KAKENHI-PROJECT-18H04097
[Presentation] 関数型プログラムの条件式に関するバグの自動修正2019
- Author(s)
  松井健, 佐藤亮介, 鵜林尚靖, 亀井靖高
- Organizer
  情報処理学会第81回全国大会, 5M-03
- Data Source
  KAKENHI-PROJECT-18H04097
[Presentation] 関数型プログラムの条件式のための反例を用いた自動修正2019
- Author(s)
  松井健, 佐藤亮介, 鵜林尚靖, 亀井靖高
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会信学技報 SS2018-80
- Data Source
  KAKENHI-PROJECT-18H04097
[Presentation] ソースコード修正履歴が自動バグ修正の結果に与える影響の分析2019
- Author(s)
  首藤巧, 亀井靖高, 鵜林尚靖, 佐藤亮介
- Organizer
  情報処理学会ソフトウェア工学研究会研究報告 2019-SE-201, No.16
- Data Source
  KAKENHI-PROJECT-18H04097
[Presentation] ソースコード修正履歴を用いた自動バグ修正手法の性能理解2019
- Author(s)
  首藤巧, 亀井靖高, 佐藤亮介, 鵜林尚靖
- Organizer
  情報処理学会第81回全国大会, 7N-03
- Data Source
  KAKENHI-PROJECT-18H04097
[Presentation] Stack Overflow 記事の充実に向けたソースコード変更履歴の利用可能性評価2019
- Author(s)
  西中隆志郎, 佐藤亮介, 亀井靖高, 鵜林尚靖
- Organizer
  情報処理学会第81回全国大会, 6N-08
- Data Source
  KAKENHI-PROJECT-18H04097
[Presentation] 自動バグ修正技術の企業内ソースコードへの適用に向けて2019
- Author(s)
  池田翔, 中野大扉, 亀井靖高, 佐藤亮介, 鵜林尚靖, 吉武浩, 矢川博文
- Organizer
  情報処理学会第81回全国大会, 7N-04
- Data Source
  KAKENHI-PROJECT-18H04097
[Presentation] 敵対的サンプルに対するニューラルネットワークモデルの学習無し修正とその評価2019
- Author(s)
  松井健, 鵜林尚靖, 佐藤亮介, 亀井靖高
- Organizer
  日本ソフトウェア科学会第36回大会 22-L
- Data Source
  KAKENHI-PROJECT-18H04097
[Presentation] 企業内ソースコードに対する自動バグ修正技術適用の試み2019
- Author(s)
  池田翔, 中野大扉, 亀井靖高, 佐藤亮介, 鵜林尚靖, 吉武浩, 矢川博文
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会信学技報 SS2018-84
- Data Source
  KAKENHI-PROJECT-18H04097
[Presentation] StackOverflow投稿を用いた深層学習による自動バグ修正（ポスター）2018
- Author(s)
  高橋裕太, 佐藤亮介, 亀井靖高, 鵜林尚靖
- Organizer
  情報処理学会ソフトウェアエンジニアリングシンポジウム2018 (SES 2018)
- Data Source
  KAKENHI-PROJECT-18H04097
[Presentation] ソースコード変更履歴によるStack Overflow記事の充実に向けて2018
- Author(s)
  西中隆志郎, 佐藤亮介, 亀井靖高, 鵜林尚靖
- Organizer
  情報処理学会ソフトウェア工学研究会研究報告 2018-SE-200, No.10
- Data Source
  KAKENHI-PROJECT-18H04097
[Presentation] ソースコード履歴情報によるStackOverflow記事の充実に向けて（ポスター）2018
- Author(s)
  西中隆志郎, 佐藤亮介, 亀井靖高, 鵜林尚靖
- Organizer
  情報処理学会ソフトウェアエンジニアリングシンポジウム2018 (SES 2018)
- Data Source
  KAKENHI-PROJECT-18H04097
[Presentation] Stack Overflow投稿を用いた深層学習による自動バグ修正にむけて2018
- Author(s)
  高橋裕太, 佐藤亮介, 亀井靖高, 鵜林尚靖
- Organizer
  情報処理学会ソフトウェア工学研究会研究報告 2018-SE-200, No.3
- Data Source
  KAKENHI-PROJECT-18H04097

1. Kobayashi Naoki (00262155)

# of Collaborated Projects: 3 results

# of Collaborated Products: 15 results
2. 五十嵐淳 (40323456)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
3. 海野広志 (80569575)

# of Collaborated Projects: 3 results

# of Collaborated Products: 1 results
4. Ubayashi Naoyasu (80372762)

# of Collaborated Projects: 1 results

# of Collaborated Products: 30 results
5. 趙建軍 (20299580)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 亀井靖高 (10610222)

# of Collaborated Projects: 1 results

# of Collaborated Products: 30 results
7. 篠原歩 (00226151)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
8. 塚田武志 (50758951)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
9. 吉仲亮 (80466424)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
10. 関山太朗 (80828476)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
11. 佐藤一誠 (90610155)

# of Collaborated Projects: 1 results

# of Collaborated Products: 8 results
12. TERAUCHI Tachio

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Sato Ryosuke 佐藤 亮介

Research Projects

Research Products

Co-Researchers

Program Verification Based on Higher-Order Fixpoint Logic

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Program Verification Techniques for the AI Era

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Program verification by refinment type system for call-by-name programsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Crowd Knowledge Ecosystems for Automatic Bug Fixing

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Refinement and Extension of Higher-Order Model Checking

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] HFL(Z) Validity Checking for Automated Program Verification2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Gradual Tensor Shape Checking2023

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Parameterized Recursive Refinement Types for Automated Program Verification2022

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Asynchronous Unfold/Fold Transformation for Fixpoint Logic2022

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination2021

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] ミドルウェア製品開発に対する自動バグ修正技術の適用事例2021

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Symbolic Automatic Relations and Their Applications to SMT and CHC Solving2021

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Inside-Outside Algorithm for Macro Grammars2021

Author(s)

Journal Title

Data Source

[Journal Article] Toward Neural-Network-Guided Program Synthesis and Verification2021

Author(s)

Sato Ryosuke 佐藤亮介