Ryosuke Sato

Publication Activity (10 Years)

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

Top Topics

Top Venues

Proc. ACM Program. Lang.

Sci. Comput. Program.

Publications

Mahmudul Faisal Al Ameen, Naoki Kobayashi, Ryosuke Sato
Asynchronous unfold/fold transformation for fixpoint logic. Sci. Comput. Program. 231 (2024)
Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi
Borrowable Fractional Ownership Types for Verification. VMCAI (2) (2024)
Ryosuke Sato
Refinement Types for Call-by-name Programs. J. Inf. Process. 31 (2023)
Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi
Borrowable Fractional Ownership Types for Verification. CoRR (2023)
Hiroyuki Katsura, Naoki Kobayashi, Ryosuke Sato
Higher-Order Property-Directed Reachability. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Naoki Kobayashi, Kento Tanahashi, Ryosuke Sato, Takeshi Tsukada
HFL(Z) Validity Checking for Automated Program Verification. Proc. ACM Program. Lang. 7 (POPL) (2023)
Ryosuke Sato
Polyhedral Clinching Auctions with a Single Sample. CoRR (2023)
Ryo Ikeda, Ryosuke Sato, Naoki Kobayashi
Argument Reduction of Constrained Horn Clauses Using Equality Constraints. APLAS (2023)
Momoko Hattori, Naoki Kobayashi, Ryosuke Sato
Gradual Tensor Shape Checking. ESOP (2023)
Ryoya Mukai, Naoki Kobayashi, Ryosuke Sato
Parameterized Recursive Refinement Types for Automated Program Verification. SAS (2022)
Ryosuke Sato, Kohei Suenaga, Naoki Kobayashi
Ordered Types for Stream Processing of Tree-Structured Data. Inf. Media Technol. 6 (2) (2011)