default search action

combined dblp search
author search
venue search
publication search

ask others

Ryosuke Sato 0001

> Home > Persons

Person information

affiliation: University of Tokyo, Japan
affiliation (former): Kyushu University, Japan
not to be confused with: Ryosuke Sato 0002

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/AmeenKS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AmeenKS24
Mahmudul Faisal Al Ameen, Naoki Kobayashi, Ryosuke Sato:
Asynchronous unfold/fold transformation for fixpoint logic. Sci. Comput. Program. 231: 103014 (2024)
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/KatsuraKSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/KatsuraKSS24
Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato:
Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem. APLAS 2024: 325-345
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/FukaishiKS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/FukaishiKS24
Ren Fukaishi, Naoki Kobayashi, Ryosuke Sato:
Productivity Verification for Functional Programs by Reduction to Termination Verification. PEPM 2024: 70-82
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/NakayamaMSSK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/NakayamaMSSK24
Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi:
Borrowable Fractional Ownership Types for Verification. VMCAI (2) 2024: 224-246
2023
[j9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jip/Sato23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jip/Sato23
Ryosuke Sato:
Refinement Types for Call-by-name Programs. J. Inf. Process. 31: 708-721 (2023)
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/KatsuraKS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/KatsuraKS23
Hiroyuki Katsura, Naoki Kobayashi, Ryosuke Sato:
Higher-Order Property-Directed Reachability. Proc. ACM Program. Lang. 7(ICFP): 48-77 (2023)
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/KobayashiTST23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/KobayashiTST23
Naoki Kobayashi, Kento Tanahashi, Ryosuke Sato, Takeshi Tsukada:
HFL(Z) Validity Checking for Automated Program Verification. Proc. ACM Program. Lang. 7(POPL): 154-184 (2023)
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/IkedaSK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/IkedaSK23
Ryo Ikeda, Ryosuke Sato, Naoki Kobayashi:
Argument Reduction of Constrained Horn Clauses Using Equality Constraints. APLAS 2023: 246-265
[c23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/HattoriKS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/HattoriKS23
Momoko Hattori, Naoki Kobayashi, Ryosuke Sato:
Gradual Tensor Shape Checking. ESOP 2023: 197-224
[i7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-03458
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-03458
Ryosuke Sato:
Polyhedral Clinching Auctions with a Single Sample. CoRR abs/2302.03458 (2023)
[i6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-20430
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-20430
Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi:
Borrowable Fractional Ownership Types for Verification. CoRR abs/2310.20430 (2023)
2022
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/KashiwaNKKSSU22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/KashiwaNKKSSU22
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: 106855 (2022)
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/flops/AmeenKS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/AmeenKS22
Mahmudul Faisal Al Ameen, Naoki Kobayashi, Ryosuke Sato:
Asynchronous Unfold/Fold Transformation for Fixpoint Logic. FLOPS 2022: 39-56
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/MukaiKS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/MukaiKS22
Ryoya Mukai, Naoki Kobayashi, Ryosuke Sato:
Parameterized Recursive Refinement Types for Automated Program Verification. SAS 2022: 397-421
[i5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-07601
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-07601
Kento Tanahashi, Naoki Kobayashi, Ryosuke Sato:
Automatic HFL(Z) Validity Checking for Program Verification. CoRR abs/2203.07601 (2022)
[i4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-08402
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-08402
Momoko Hattori, Naoki Kobayashi, Ryosuke Sato:
Gradual Tensor Shape Checking. CoRR abs/2203.08402 (2022)
2021
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/ShoshiIKSST21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/ShoshiIKSST21
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: 265-284
[c19]
- view
  - electronic edition @ mlr.press (open access)
  - details & citations
- export record
  dblp key:
  - conf/icgi/Kambe0SSY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icgi/Kambe0SSY21
Ryuta Kambe, Naoki Kobayashi, Ryosuke Sato, Ayumi Shinohara, Ryo Yoshinaka:
Inside-Outside Algorithm for Macro Grammars. ICGI 2021: 32-46
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/ShimodaKSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/ShimodaKSS21
Takumi Shimoda, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato:
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving. SAS 2021: 405-428
[d1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/ShimodaKSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/ShimodaKSS21
Takumi Shimoda, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato:
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving. Zenodo, 2021
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2108-07642
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-07642
Takumi Shimoda, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato:
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving. CoRR abs/2108.07642 (2021)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2109-00311
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-00311
Tsubasa Shoshi, Takuma Ishikawa, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato, Takeshi Tsukada:
Termination Analysis for the π-Calculus by Reduction to Sequential Program Termination. CoRR abs/2109.00311 (2021)
2020
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ChampionCKS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ChampionCKS20
Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato:
ICE-Based Refinement Type Discovery for Higher-Order Functional Programs. J. Autom. Reason. 64(7): 1393-1418 (2020)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/NishinakaUKS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/NishinakaUKS20
Ryujiro Nishinaka, Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato:
How Fast and Effectively Can Code Change History Enrich Stack Overflow? QRS 2020: 467-478
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2012-08053
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-08053
Daito Nakano, Mingyang Yin, Ryosuke Sato, Abram Hindle, Yasutaka Kamei, Naoyasu Ubayashi:
A Quantitative Study of Security Bug Fixes of GitHub Repositories. CoRR abs/2012.08053 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/UbayashiWKS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/UbayashiWKS19
Naoyasu Ubayashi, Takuya Watanabe, Yasutaka Kamei, Ryosuke Sato:
Git-based integrated uncertainty manager. ICSE (Companion Volume) 2019: 95-98
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/SatoI019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/SatoI019
Ryosuke Sato, Naoki Iwayama, Naoki Kobayashi:
Combining higher-order model checking with refinement type inference. PEPM@POPL 2019: 47-53
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/UbayashiKS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/UbayashiKS19
Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato:
When and Why Do Software Developers Face Uncertainty? QRS 2019: 288-299
2018
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/Champion0S18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/Champion0S18
Adrien Champion, Naoki Kobayashi, Ryosuke Sato:
HoIce: An ICE-Based Non-linear Horn Clause Solver. APLAS 2018: 146-156
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/UbayashiMMKS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/UbayashiMMKS18
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: 272-273
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/UbayashiKS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/UbayashiKS18
Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato:
iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns. ICSOFT 2018: 210-218
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/UbayashiKS18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/UbayashiKS18a
Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato:
Modular Programming and Reasoning for Living with Uncertainty. ICSOFT (Selected Papers) 2018: 220-244
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/UbayashiKS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/UbayashiKS18
Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato:
Can Abstraction Be Taught? Refactoring-based Abstraction Learning. MODELSWARD 2018: 429-437
[c8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChampionC0S18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChampionC0S18
Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato:
ICE-Based Refinement Type Discovery for Higher-Order Functional Programs. TACAS (1) 2018: 365-384
2017
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/AsadaSK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AsadaSK17
Kazuyuki Asada, Ryosuke Sato, Naoki Kobayashi:
Verifying relational properties of functional programs by first-order refinement. Sci. Comput. Program. 137: 2-62 (2017)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Sato017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Sato017
Ryosuke Sato, Naoki Kobayashi:
Modular Verification of Higher-Order Functional Programs. ESOP 2017: 831-854
2016
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/WatanabeST016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/WatanabeST016
Keiichi Watanabe, Ryosuke Sato, Takeshi Tsukada, Naoki Kobayashi:
Automatically disproving fair termination of higher-order functional programs. ICFP 2016: 243-255
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/MuraseT0SU16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/MuraseT0SU16
Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno:
Temporal verification of higher-order functional programs. POPL 2016: 57-68
2015
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jip/SatoA015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jip/SatoA015
Ryosuke Sato, Kazuyuki Asada, Naoki Kobayashi:
Refinement Type Checking via Assertion Checking. J. Inf. Process. 23(6): 827-834 (2015)
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KuwaharaSU015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KuwaharaSU015
Takuya Kuwahara, Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi:
Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs. CAV (2) 2015: 287-303
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/AsadaS015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/AsadaS015
Kazuyuki Asada, Ryosuke Sato, Naoki Kobayashi:
Verifying Relational Properties of Functional Programs by First-Order Refinement. PEPM 2015: 61-72
2013
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/SatoUK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/SatoUK13
Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi:
Towards a scalable software model checker for higher-order programs. PEPM 2013: 53-62
2011
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/imt/SatoSK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/imt/SatoSK11
Ryosuke Sato, Kohei Suenaga, Naoki Kobayashi:
Ordered Types for Stream Processing of Tree-Structured Data. Inf. Media Technol. 6(2): 385-398 (2011)
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jip/SatoSK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jip/SatoSK11
Ryosuke Sato, Kohei Suenaga, Naoki Kobayashi:
Ordered Types for Stream Processing of Tree-Structured Data. J. Inf. Process. 19: 74-87 (2011)
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/KobayashiSU11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/KobayashiSU11
Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno:
Predicate abstraction and CEGAR for higher-order model checking. PLDI 2011: 222-233

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.