Ryosuke SATO

Ph.D. Tohoku University, 2013.

Assistant Professor (POSL Research Group, Graduate School and Faculty of Information Science and Electrical Engineering, Kyushu University)

Software

• MoCHi: Software Model Checker for Higher-Order Programs [Web demo][Repository]

Papers

• Combining Higher-Order Model Checking with Refinement Type Inference (short paper).
  Ryosuke Sato, Naoki Iwayama, Naoki Kobayashi.
  In ACM SIGPLAN 2019 Workshop on Partial Evaluation and Program Manipulation (PEPM 2019), Cascais/Lisbon, Portugal, 2019.
  [Author-Izer, PDF, Benchmark programs]
• HoIce: A ICE-based Non-Linear Horn Clause Solver (tool paper).
  Adrien Champion, Naoki Kobayashi, Ryosuke Sato.
  In the 16th Asian Symposium on Programming Languages and Systems (APLAS 2018), Wellington, New Zealand, 2018.
  [PDF]
• iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns.
  Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato.
  In the 13th International Conference on Software Technologies (ICSOFT 2018), Porto, Portugal, 2018.
• ICE-based Refinement Type Discovery for Higher-Order Functional Programs.
  Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato.
  In the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018), Thessaloniki, Greece, 2018.
• 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.
  [Author-Izer]
• Can Abstraction Be Taught? Refactoring-based Abstraction Learning.
  Naoyasu Ubayashi, Yasutaka Kamei, 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.
  [PDF]
• 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.
  [Author-Izer, PDF]
• 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.
  [Author-Izer, PDF]
• 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.
  [PDF]
• 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.
  [Author-Izer]
• 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.
  [Author-Izer, PDF]
• 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.
  [PDF]

Talks

• 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.
  [PDF]

Poster presentation

• Type-Based Partial Buffering for Stream Processing.
  Ryosuke Sato, Naoki Kobayashi.
  The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007), Singapore, December 2007.

Professional Activities

• PPL 2020 : Organizing Chair
• PPL 2019 : Organizing Committee
• PPL 2017 : Program Committee
• PEPM 2017 : Program Committee
• PPL 2016 : Program Committee
• HOPA 2015 : Program Committee

Teaching Activities

• Project-Based Learing. Kyushu University. 2017-2019.
• Experiments of Software. Kyushu University. 2017-2019.
• Advanced Information Processing. Seinan Gakuin University. 2019.
• Basic Information Utilization. Seinan Gakuin University. 2019.