Ryosuke Sato - RankMe

48 papers A* 2A 3B 7C 7Misc 1Journal 19Unranked 9

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types. SAS Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato
2025	J	`jnl`	Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types. CoRR Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato
2025	—	`conf`	On the Relationship between Dijkstra Monads and Higher-Order Fixpoint Logic. ESOP (2) Risa Yamada, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato
2025	J	`jnl`	Solvable Tuple Patterns and Their Applications to Program Verification. CoRR Naoki Kobayashi, Ryosuke Sato, Ayumi Shinohara, Ryo Yoshinaka
2024	J	`jnl`	Asynchronous unfold/fold transformation for fixpoint logic. Sci. Comput. Program. Mahmudul Faisal Al Ameen, Naoki Kobayashi, Ryosuke Sato
2024	—	`conf`	Borrowable Fractional Ownership Types for Verification. VMCAI (2) Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi
2024	B	`conf`	Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem. APLAS Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato
2024	C	`conf`	Productivity Verification for Functional Programs by Reduction to Termination Verification. PEPM Ren Fukaishi, Naoki Kobayashi, Ryosuke Sato
2023	B	`conf`	Argument Reduction of Constrained Horn Clauses Using Equality Constraints. APLAS Ryo Ikeda, Ryosuke Sato, Naoki Kobayashi
2023	J	`jnl`	Borrowable Fractional Ownership Types for Verification. CoRR Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi
2023	A	`conf`	Gradual Tensor Shape Checking. ESOP Momoko Hattori, Naoki Kobayashi, Ryosuke Sato
2023	J	`jnl`	HFL(Z) Validity Checking for Automated Program Verification. Proc. ACM Program. Lang. Naoki Kobayashi, Kento Tanahashi, Ryosuke Sato, Takeshi Tsukada
2023	J	`jnl`	Higher-Order Property-Directed Reachability. Proc. ACM Program. Lang. Hiroyuki Katsura, Naoki Kobayashi, Ryosuke Sato
2023	J	`jnl`	Polyhedral Clinching Auctions with a Single Sample. CoRR Ryosuke Sato
2023	J	`jnl`	Refinement Types for Call-by-name Programs. J. Inf. Process. Ryosuke Sato
2022	J	`jnl`	An empirical study on self-admitted technical debt in modern code review. Inf. Softw. Technol. Yutaro Kashiwa, Ryoma Nishikawa, Yasutaka Kamei, Masanari Kondo, Emad Shihab, Ryosuke Sato, Naoyasu Ubayashi
2022	Misc	`conf`	Asynchronous Unfold/Fold Transformation for Fixpoint Logic. FLOPS Mahmudul Faisal Al Ameen, Naoki Kobayashi, Ryosuke Sato
2022	J	`jnl`	Automatic HFL(Z) Validity Checking for Program Verification. CoRR Kento Tanahashi, Naoki Kobayashi, Ryosuke Sato
2022	J	`jnl`	Gradual Tensor Shape Checking. CoRR Momoko Hattori, Naoki Kobayashi, Ryosuke Sato
2022	B	`conf`	Parameterized Recursive Refinement Types for Automated Program Verification. SAS Ryoya Mukai, Naoki Kobayashi, Ryosuke Sato
2021	—	`conf`	Inside-Outside Algorithm for Macro Grammars. ICGI Ryuta Kambe, Naoki Kobayashi, Ryosuke Sato, Ayumi Shinohara, Ryo Yoshinaka
2021	B	`conf`	Symbolic Automatic Relations and Their Applications to SMT and CHC Solving. SAS Takumi Shimoda, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato
2021	J	`jnl`	Symbolic Automatic Relations and Their Applications to SMT and CHC Solving. CoRR Takumi Shimoda, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato
2021	B	`conf`	Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination. APLAS Tsubasa Shoshi, Takuma Ishikawa, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato, Takeshi Tsukada
2021	J	`jnl`	Termination Analysis for the π-Calculus by Reduction to Sequential Program Termination. CoRR Tsubasa Shoshi, Takuma Ishikawa, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato, Takeshi Tsukada
2020	J	`jnl`	A Quantitative Study of Security Bug Fixes of GitHub Repositories. CoRR Daito Nakano, Mingyang Yin, Ryosuke Sato, Abram Hindle, Yasutaka Kamei, Naoyasu Ubayashi
2020	C	`conf`	How Fast and Effectively Can Code Change History Enrich Stack Overflow? QRS Ryujiro Nishinaka, Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato
2020	J	`jnl`	ICE-Based Refinement Type Discovery for Higher-Order Functional Programs. J. Autom. Reason. Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato
2019	—	`conf`	Combining higher-order model checking with refinement type inference. PEPM@POPL Ryosuke Sato, Naoki Iwayama, Naoki Kobayashi
2019	—	`conf`	Git-based integrated uncertainty manager. ICSE (Companion Volume) Naoyasu Ubayashi, Takuya Watanabe, Yasutaka Kamei, Ryosuke Sato
2019	C	`conf`	When and Why Do Software Developers Face Uncertainty? QRS Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato
2018	C	`conf`	Can Abstraction Be Taught? Refactoring-based Abstraction Learning. MODELSWARD Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato
2018	—	`conf`	Exploring uncertainty in GitHub OSS projects: when and how do developers face uncertainty? ICSE (Companion Volume) Naoyasu Ubayashi, Hokuto Muraoka, Daiki Muramoto, Yasutaka Kamei, Ryosuke Sato
2018	B	`conf`	HoIce: An ICE-Based Non-linear Horn Clause Solver. APLAS Adrien Champion, Naoki Kobayashi, Ryosuke Sato
2018	—	`conf`	ICE-Based Refinement Type Discovery for Higher-Order Functional Programs. TACAS (1) Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato
2018	—	`conf`	Modular Programming and Reasoning for Living with Uncertainty. ICSOFT (Selected Papers) Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato
2018	C	`conf`	iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns. ICSOFT Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato
2017	A	`conf`	Modular Verification of Higher-Order Functional Programs. ESOP Ryosuke Sato, Naoki Kobayashi
2017	J	`jnl`	Verifying relational properties of functional programs by first-order refinement. Sci. Comput. Program. Kazuyuki Asada, Ryosuke Sato, Naoki Kobayashi
2016	A	`conf`	Automatically disproving fair termination of higher-order functional programs. ICFP Keiichi Watanabe, Ryosuke Sato, Takeshi Tsukada, Naoki Kobayashi
2016	A*	`conf`	Temporal verification of higher-order functional programs. POPL Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno
2015	—	`conf`	Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs. CAV (2) Takuya Kuwahara, Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi
2015	J	`jnl`	Refinement Type Checking via Assertion Checking. J. Inf. Process. Ryosuke Sato, Kazuyuki Asada, Naoki Kobayashi
2015	C	`conf`	Verifying Relational Properties of Functional Programs by First-Order Refinement. PEPM Kazuyuki Asada, Ryosuke Sato, Naoki Kobayashi
2013	C	`conf`	Towards a scalable software model checker for higher-order programs. PEPM Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi
2011	J	`jnl`	Ordered Types for Stream Processing of Tree-Structured Data. Inf. Media Technol. Ryosuke Sato, Kohei Suenaga, Naoki Kobayashi
2011	J	`jnl`	Ordered Types for Stream Processing of Tree-Structured Data. J. Inf. Process. Ryosuke Sato, Kohei Suenaga, Naoki Kobayashi
2011	A*	`conf`	Predicate abstraction and CEGAR for higher-order model checking. PLDI Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno