-
Combining Higher-Order Model Checking with Refinement Type Inference (short paper).
Ryosuke Sato, Naoki Iwayama, Naoki Kobayashi.
-
HoIce: A ICE-based Non-Linear Horn Clause Solver (tool paper).
Adrien Champion, Naoki Kobayashi, Ryosuke Sato.
-
iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns.
Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato.
-
ICE-based Refinement Type Discovery for Higher-Order Functional Programs.
Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato.
-
Exploring uncertainty in GitHub OSS projects: when and how do developers face uncertainty?
Naoyasu Ubayashi, Hokuto Muraoka, Daiki Muramoto, Yasutaka Kamei, Ryosuke Sato.
In the 40th International Conference on Software Engineering: Companion Proceeedings (ICSE 2018), Gothenburg, Sweden, 2018.
-
Can Abstraction Be Taught? Refactoring-based Abstraction Learning.
Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato.
-
Modular Verification of Higher-order Functional Programs.
Ryosuke Sato, Naoki Kobayashi.
-
Automatically Disproving Fair Termination of Higher-Order Functional Programs.
Keiichi Watanabe, Ryosuke Sato, Takeshi Tsukada, Naoki Kobayashi.
-
Temporal Verification of Higher-order Functional Programs.
Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno.
-
Predicate Abstraction and CEGAR for Disproving Termination of Higher-order Functional Programs.
Takuya Kuwahara, Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi.
-
Verifying Relational Properties of Functional Programs by First-Order Refinement.
Kazuyuki Asada, Ryosuke Sato, Naoki Kabayashi.
-
Towards a Scalable Software Model Checker for Higher-Order Programs.
Ryosuke Sato, Hiroshi Unno, Naoki Kabayashi.
-
Predicate Abstraction and CEGAR for Higher-Order Model Checking.
Naoki Kabayashi, Ryosuke Sato, Hiroshi Unno.
-
Ordered Types for Stream Processing of Tree-Structured Data.
Ryosuke Sato, Kohei Suenaga, Naoki Kobayashi.
-
Combining Higher-Order Model Checking with Refinement Type Inference.
Ryosuke Sato, Naoki Iwayama, Naoki Kobayashi.
The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019), Fukuoka, Japan, October 2019.
-
Refinement Type Checking via Assertion Checking.
Ryosuke Sato, Kazuyuki Asada, Naoki Kobayashi.
Workshop on Higher-Order Program Analysis, Kyoto, Japan, July 2015.
-
MoCHi: Software Model Checker for a Higher-Order Functional Language.
Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi.
ACM SIGPLAN Workshop on ML, Denmark, September 2012.