Ryosuke Sato

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 34

Top Topics

Functional Programs

Top Venues

ICSE (Companion Volume)

Publications

Ren Fukaishi, Naoki Kobayashi, Ryosuke Sato
Productivity Verification for Functional Programs by Reduction to Termination Verification. PEPM (2024)
Yutaro Kashiwa, Ryoma Nishikawa, Yasutaka Kamei, Masanari Kondo, Emad Shihab, Ryosuke Sato, Naoyasu Ubayashi
An empirical study on self-admitted technical debt in modern code review. Inf. Softw. Technol. 146 (2022)
Momoko Hattori, Naoki Kobayashi, Ryosuke Sato
Gradual Tensor Shape Checking. CoRR (2022)
Mahmudul Faisal Al Ameen, Naoki Kobayashi, Ryosuke Sato
Asynchronous Unfold/Fold Transformation for Fixpoint Logic. FLOPS (2022)
Hiroshi Hirai, Ryosuke Sato
Polyhedral Clinching Auctions for Two-Sided Markets. Math. Oper. Res. 47 (1) (2022)
Kento Tanahashi, Naoki Kobayashi, Ryosuke Sato
Automatic HFL(Z) Validity Checking for Program Verification. CoRR (2022)
Tsubasa Shoshi, Takuma Ishikawa, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato, Takeshi Tsukada
Termination Analysis for the π-Calculus by Reduction to Sequential Program Termination. CoRR (2021)
Ryosuke Sato, Mizuto Nakamura, Atsushi Takada, Kyoko Yamagoe
Bayesian network equipped workflow engine to coordinate Artificial Intelligence for automating network operation. APNOMS (2021)
Takumi Shimoda, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving. SAS (2021)
Yuichi Suto, Ryosuke Sato, Yuichiro Ishizuka, Kosuke Sakata, Yoshikazu Hagiwara, Tsuyoshi Furukawa
Orchestrator for Automating Failure Response in Telecom Carriers. APNOMS (2021)
Tsubasa Shoshi, Takuma Ishikawa, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato, Takeshi Tsukada
Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination. APLAS (2021)
Ryosuke Sato
SimpleBounce: A simple package for the false vacuum decay. Comput. Phys. Commun. 258 (2021)
Ryuta Kambe, Naoki Kobayashi, Ryosuke Sato, Ayumi Shinohara, Ryo Yoshinaka
Inside-Outside Algorithm for Macro Grammars. ICGI (2021)
Takumi Shimoda, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving. CoRR (2021)
Aiko Oi, Ryosuke Sato, Yuichi Suto, Kosuke Sakata, Motomu Nakajima, Tsuyoshi Furukawa
A Study on Automation of Network Maintenance in Telecom Carriers for Zero-Touch Operations. APNOMS (2020)
Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato
ICE-Based Refinement Type Discovery for Higher-Order Functional Programs. J. Autom. Reason. 64 (7) (2020)
Ryujiro Nishinaka, Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato
How Fast and Effectively Can Code Change History Enrich Stack Overflow? QRS (2020)
Daito Nakano, Mingyang Yin, Ryosuke Sato, Abram Hindle, Yasutaka Kamei, Naoyasu Ubayashi
A Quantitative Study of Security Bug Fixes of GitHub Repositories. CoRR (2020)
Naoyasu Ubayashi, Takuya Watanabe, Yasutaka Kamei, Ryosuke Sato
Git-based integrated uncertainty manager. ICSE (Companion Volume) (2019)
Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato
When and Why Do Software Developers Face Uncertainty? QRS (2019)
Ryosuke Sato, Naoki Iwayama, Naoki Kobayashi
Combining higher-order model checking with refinement type inference. PEPM@POPL (2019)
Adrien Champion, Naoki Kobayashi, Ryosuke Sato
HoIce: An ICE-Based Non-linear Horn Clause Solver. APLAS (2018)
Namgyu Kang, Ryosuke Sato
Proposal for an Affective Skateboard Using Various Lighting Patterns. HCI (29) (2018)
Naoyasu Ubayashi, Hokuto Muraoka, Daiki Muramoto, Yasutaka Kamei, Ryosuke Sato
Exploring uncertainty in GitHub OSS projects: when and how do developers face uncertainty? ICSE (Companion Volume) (2018)
Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato
Can Abstraction Be Taught? Refactoring-based Abstraction Learning. MODELSWARD (2018)
Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato
iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns. ICSOFT (2018)
Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato
Modular Programming and Reasoning for Living with Uncertainty. ICSOFT (Selected Papers) (2018)
Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato
ICE-Based Refinement Type Discovery for Higher-Order Functional Programs. TACAS (1) (2018)
Ryosuke Sato, Naoki Kobayashi
Modular Verification of Higher-Order Functional Programs. ESOP (2017)
Hiroshi Hirai, Ryosuke Sato
Polyhedral Clinching Auctions for Two-sided Markets. CoRR (2017)
Kazuyuki Asada, Ryosuke Sato, Naoki Kobayashi
Verifying relational properties of functional programs by first-order refinement. Sci. Comput. Program. 137 (2017)
Ryosuke Sato, Koichi Fujiwara, Masahiro Tani, Junichi Mori, Junji Ise, Kohhei Harada, Manabu Kano
Causal analysis based on non-time-series kernel Granger causality in a steelmaking process. ASCC (2017)
Keiichi Watanabe, Ryosuke Sato, Takeshi Tsukada, Naoki Kobayashi
Automatically disproving fair termination of higher-order functional programs. ICFP (2016)
Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno
Temporal verification of higher-order functional programs. POPL (2016)
Takuya Kuwahara, Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi
Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs. CAV (2) (2015)
Kazuyuki Asada, Ryosuke Sato, Naoki Kobayashi
Verifying Relational Properties of Functional Programs by First-Order Refinement. PEPM (2015)
Ryosuke Sato, Kazuyuki Asada, Naoki Kobayashi
Refinement Type Checking via Assertion Checking. J. Inf. Process. 23 (6) (2015)
Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi
Towards a scalable software model checker for higher-order programs. PEPM (2013)
Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno
Predicate abstraction and CEGAR for higher-order model checking. PLDI (2011)
Ryosuke Sato, Kohei Suenaga, Naoki Kobayashi
Ordered Types for Stream Processing of Tree-Structured Data. J. Inf. Process. 19 (2011)