Ryosuke Sato

According to our database, Ryosuke Sato authored at least 36 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Asynchronous unfold/fold transformation for fixpoint logic.

Mahmudul Faisal Al Ameen, Naoki Kobayashi, Ryosuke Sato

Sci. Comput. Program., January, 2024

Borrowable Fractional Ownership Types for Verification.

Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Productivity Verification for Functional Programs by Reduction to Termination Verification.

Ren Fukaishi, Naoki Kobayashi, Ryosuke Sato

Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2024

2023

Higher-Order Property-Directed Reachability.

Hiroyuki Katsura, Naoki Kobayashi, Ryosuke Sato

Proc. ACM Program. Lang., August, 2023

HFL(Z) Validity Checking for Automated Program Verification.

Naoki Kobayashi, Kento Tanahashi, Ryosuke Sato, Takeshi Tsukada

Proc. ACM Program. Lang., January, 2023

Refinement Types for Call-by-name Programs.

Ryosuke Sato

J. Inf. Process., 2023

Polyhedral Clinching Auctions with a Single Sample.

Ryosuke Sato

CoRR, 2023

Gradual Tensor Shape Checking.

Momoko Hattori, Naoki Kobayashi, Ryosuke Sato

Proceedings of the Programming Languages and Systems, 2023

Argument Reduction of Constrained Horn Clauses Using Equality Constraints.

Ryo Ikeda, Ryosuke Sato, Naoki Kobayashi

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2022

An empirical study on self-admitted technical debt in modern code review.

Yutaro Kashiwa, Ryoma Nishikawa, Yasutaka Kamei, Masanari Kondo, Emad Shihab, Ryosuke Sato, Naoyasu Ubayashi

Inf. Softw. Technol., 2022

Automatic HFL(Z) Validity Checking for Program Verification.

Kento Tanahashi, Naoki Kobayashi, Ryosuke Sato

CoRR, 2022

Parameterized Recursive Refinement Types for Automated Program Verification.

Ryoya Mukai, Naoki Kobayashi, Ryosuke Sato

Proceedings of the Static Analysis - 29th International Symposium, 2022

2021

Termination Analysis for the π-Calculus by Reduction to Sequential Program Termination.

Tsubasa Shoshi, Takuma Ishikawa, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato, Takeshi Tsukada

CoRR, 2021

Symbolic Automatic Relations and Their Applications to SMT and CHC Solving.

Takumi Shimoda, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato

Proceedings of the Static Analysis - 28th International Symposium, 2021

Inside-Outside Algorithm for Macro Grammars.

Ryuta Kambe, Naoki Kobayashi, Ryosuke Sato, Ayumi Shinohara, Ryo Yoshinaka

Proceedings of the 15th International Conference on Grammatical Inference, 2021

Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination.

Tsubasa Shoshi, Takuma Ishikawa, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato, Takeshi Tsukada

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020

ICE-Based Refinement Type Discovery for Higher-Order Functional Programs.

Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato

J. Autom. Reason., 2020

A Quantitative Study of Security Bug Fixes of GitHub Repositories.

Daito Nakano, Mingyang Yin, Ryosuke Sato, Abram Hindle, Yasutaka Kamei, Naoyasu Ubayashi

CoRR, 2020

How Fast and Effectively Can Code Change History Enrich Stack Overflow?

Ryujiro Nishinaka, Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

2019

When and Why Do Software Developers Face Uncertainty?

Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

Combining higher-order model checking with refinement type inference.

Ryosuke Sato, Naoki Iwayama, Naoki Kobayashi

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2019

Git-based integrated uncertainty manager.

Naoyasu Ubayashi, Takuya Watanabe, Yasutaka Kamei, Ryosuke Sato

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

Can Abstraction Be Taught? Refactoring-based Abstraction Learning.

Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Modular Programming and Reasoning for Living with Uncertainty.

Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato

Proceedings of the Software Technologies - 13th International Conference, 2018

iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns.

Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato

Proceedings of the 13th International Conference on Software Technologies, 2018

Exploring uncertainty in GitHub OSS projects: when and how do developers face uncertainty?

Naoyasu Ubayashi, Hokuto Muraoka, Daiki Muramoto, Yasutaka Kamei, Ryosuke Sato

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

HoIce: An ICE-Based Non-linear Horn Clause Solver.

Adrien Champion, Naoki Kobayashi, Ryosuke Sato

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

Verifying relational properties of functional programs by first-order refinement.

Kazuyuki Asada, Ryosuke Sato, Naoki Kobayashi

Sci. Comput. Program., 2017

Modular Verification of Higher-Order Functional Programs.

Ryosuke Sato, Naoki Kobayashi

Proceedings of the Programming Languages and Systems, 2017

2016

Temporal verification of higher-order functional programs.

Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Automatically disproving fair termination of higher-order functional programs.

Keiichi Watanabe, Ryosuke Sato, Takeshi Tsukada, Naoki Kobayashi

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015

Refinement Type Checking via Assertion Checking.

Ryosuke Sato, Kazuyuki Asada, Naoki Kobayashi

J. Inf. Process., 2015

Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs.

Takuya Kuwahara, Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2013

Towards a scalable software model checker for higher-order programs.

Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

2011

Ordered Types for Stream Processing of Tree-Structured Data.

Ryosuke Sato, Kohei Suenaga, Naoki Kobayashi

J. Inf. Process., 2011

Predicate abstraction and CEGAR for higher-order model checking.

Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011