Ph.D. Tohoku University, 2013.
(POSL Research Group,
Graduate School and Faculty of Information Science and Electrical Engineering,
ICE-based Refinement Type Discovery for Higher-Order Functional Programs.
Adrien Champion, Tomoya Chiba, Naoki Kobayashi and Ryosuke Sato.
To appear in the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018), Thessaloniki, Greece, 2018.
Can Abstraction Be Taught? Refactoring-based Abstraction Learning.
Naoyasu Ubayashi, Yasutaka Kamei, and Ryosuke Sato.
In the 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), Funchal, Madeira - Portugal, 2018.
Modular Verification of Higher-order Functional Programs.
Ryosuke Sato, Naoki Kobayashi.
In the 26th European Symposium on Programming (ESOP 2017), Uppsala, Sweden, 2017.
Automatically Disproving Fair Termination of Higher-Order Functional Programs.
Keiichi Watanabe, Ryosuke Sato, Takeshi Tsukada, Naoki Kobayashi.
In the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016), Nara, Japan, 2016.
Temporal Verification of Higher-order Functional Programs.
Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno.
In the 43th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016), St. Petersburg, Florida, 2016.
Predicate Abstraction and CEGAR for Disproving Termination of Higher-order Functional Programs.
Takuya Kuwahara, Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi.
In the 27th International Conference on Computer Aided Verification (CAV 2015), San Francisco, California, 2015.
Verifying Relational Properties of Functional Programs by First-Order Refinement.
Kazuyuki Asada, Ryosuke Sato, Naoki Kabayashi.
In ACM SIGPLAN 2015 Workshop on Partial Evaluation and Program Manipulation (PEPM 2015), Mumbai, Italy, January 2015.
(Author-Izer, Short-version, Full-version)
Towards a Scalable Software Model Checker for Higher-Order Programs.
Ryosuke Sato, Hiroshi Unno, Naoki Kabayashi.
In ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM 2013), Rome, Italy, January 2013.
Predicate Abstraction and CEGAR for Higher-Order Model Checking.
Naoki Kabayashi, Ryosuke Sato, Hiroshi Unno.
In the 32nd ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2011), San Jose, CA, USA, June 2011.
Ordered Types for Stream Processing of Tree-Structured Data.
Ryosuke Sato, Kohei Suenaga, Naoki Kobayashi.
In ACM SIGPLAN Workshop on Programming Language Technologies for XML (PLAN-X 2009), Savannah, GA, USA, January 2009.
Ryosuke Sato, Kazuyuki Asada, Naoki Kobayashi.
Refinement Type Checking via Assertion Checking.
Workshop on Higher-Order Program Analysis, Kyoto, Japan, July 2015.
Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi.
MoCHi: Software Model Checker for a Higher-Order Functional Language.
ACM SIGPLAN Workshop on ML, Denmark, September 2012.
Ryosuke Sato, Naoki Kobayashi.
Type-Based Partial Buffering for Stream Processing.
The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007), Singapore, December 2007.