Ryosuke Sato

J-GLOBAL         Last updated: Nov 21, 2019 at 10:10
Ryosuke Sato
Kyushu University
Faculty of Information Science and Electrical EngineeringDepartment of Advanced Information Technology

Research Areas


Awards & Honors

Refinement Type Checking via Assertion Checking, IPSJ Computer Science Research Award for Young Scientists, Information Processing Society of Japan
Ordered Types for Stream Processing of Tree-Structured Data, IPSJ Outstanding Paper Award, Information Processing Society of Japan
Winner: Ryosuke Sato, Kohei Suenaga, Naoki Kobayashi

Published Papers

Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato
2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS)      2019   [Refereed]
Ryosuke Sato, Naoki Iwayama, Naoki Kobayashi
ACM SIGPLAN 2019 Workshop on Partial Evaluation and Program Manipulation (PEPM 2019), Cascais/Lisbon, Portugal      2019   [Refereed]
Adrien Champion,Naoki Kobayashi 0001,Ryosuke Sato
Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings   146-156   2018   [Refereed]
Adrien Champion,Tomoya Chiba,Naoki Kobayashi 0001,Array
Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedi   365-384   2018   [Refereed]
Naoyasu Ubayashi,Yasutaka Kamei,Ryosuke Sato
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018.   429-437   2018   [Refereed]


村本 大起, 佐藤 亮介, 鵜林 尚靖, 亀井 靖高
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   117(477) 63-68   Mar 2018
三浦 圭裕, 亀井 靖高, 鵜林 尚靖, 佐藤 亮介
日本ソフトウェア科学会大会論文集   34 637-640   Sep 2017
中村 隼也, 渡辺 啓介, 佐藤 亮介, 鵜林 尚靖, 亀井 靖高
日本ソフトウェア科学会大会論文集   34 545-552   Sep 2017
千葉 知也, 佐藤 亮介, 松田 一孝
日本ソフトウェア科学会大会論文集   32    Sep 2015

Research Grants & Projects

Japan Society for the Promotion of Science: Grant-in-Aid for Early-Career Scientists
Project Year: Apr 2018 - Mar 2022    Investigator(s): Ryosuke Sato
Crowd Knowledge Ecosystems for Automatic Bug Fixing
Japan Society for the Promotion of Science: Grant-in-Aid for Scientific Research (A)
Project Year: Apr 2018 - Mar 2022    Investigator(s): Naoyasu Ubayashi
Refinement and Extension of Higher-Order Model Checking
Japan Society for the Promotion of Science: Grant-in-Aid for Scientific Research (S)
Project Year: May 2015 - Mar 2020    Investigator(s): Naoki Kobayashi