フォロー
Ryosuke Sato
Ryosuke Sato
確認したメール アドレス: is.s.u-tokyo.ac.jp - ホームページ
タイトル
引用先
引用先
Predicate abstraction and CEGAR for higher-order model checking
N Kobayashi, R Sato, H Unno
Proceedings of the 32nd ACM SIGPLAN conference on Programming Language …, 2011
1512011
Towards a scalable software model checker for higher-order programs
R Sato, H Unno, N Kobayashi
Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and …, 2013
422013
ICE-based refinement type discovery for higher-order functional programs
A Champion, T Chiba, N Kobayashi, R Sato
Journal of Automated Reasoning 64 (7), 1393-1418, 2020
412020
Verifying relational properties of functional programs by first-order refinement
K Asada, R Sato, N Kobayashi
Science of Computer Programming 137, 2-62, 2017
282017
Verifying relational properties of functional programs by first-order refinement
K Asada, R Sato, N Kobayashi
Proceedings of the 2015 Workshop on Partial Evaluation and Program …, 2015
282015
Temporal verification of higher-order functional programs
A Murase, T Terauchi, N Kobayashi, R Sato, H Unno
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
272016
Predicate abstraction and CEGAR for disproving termination of higher-order functional programs
T Kuwahara, R Sato, H Unno, N Kobayashi
International Conference on Computer Aided Verification, 287-303, 2015
192015
Modular verification of higher-order functional programs
R Sato, N Kobayashi
European Symposium on Programming, 831-854, 2017
72017
Can Abstraction Be Taught? Refactoring-based Abstraction Learning.
N Ubayashi, Y Kamei, R Sato
MODELSWARD, 429-437, 2018
62018
Automatically disproving fair termination of higher-order functional programs
K Watanabe, R Sato, T Tsukada, N Kobayashi
ACM SIGPLAN Notices 51 (9), 243-255, 2016
62016
Poster: exploring uncertainty in GitHub OSS projects: when and how do developers face uncertainty?
N Ubayashi, H Muraoka, D Muramoto, Y Kamei, R Sato
2018 IEEE/ACM 40th International Conference on Software Engineering …, 2018
32018
Git-based integrated uncertainty manager
N Ubayashi, T Watanabe, Y Kamei, R Sato
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
22019
Modular programming and reasoning for living with uncertainty
N Ubayashi, Y Kamei, R Sato
International Conference on Software Technologies, 220-244, 2018
22018
Refinement type checking via assertion checking
R Sato, K Asada, N Kobayashi
Journal of information processing 23 (6), 827-834, 2015
22015
iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns.
N Ubayashi, Y Kamei, R Sato
ICSOFT, 210-218, 2018
12018
Stack Overflow を利用した自動バグ修正の検討
廣瀬賢幸, 鵜林尚靖, 亀井靖高, 佐藤亮介
コンピュータ ソフトウェア 35 (4), 144-150, 2018
2018
OSS 事前品質評価における重み付け手法の実証実験
中野大扉, 亀井靖高, 佐藤亮介, 鵜林尚靖, 高山修一, 岩崎孝司
コンピュータ ソフトウェア 35 (4), 136-143, 2018
2018
Toward automatic program repair using knowledge extracted from stack overflow
M Hirose, N Ubayashi, Y Kamei, R Sato
Computer Software 35 (4), 144-150, 2018
2018
An empirical study on weighting techniques for open source software assessment models
D Nakano, Y Kamei, R Sato, U Naoyasu, S Takayama, T Iwasaki
Computer Software 35 (4), 136-143, 2018
2018
OSS プロジェクトにおける Tangled コミットの実証分析
三浦圭裕, 亀井靖高, 鵜林尚靖, 佐藤亮介
日本ソフトウェア科学会大会論文集 34, 637-640, 2017
2017
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20