Ken Sakayori

22 papers A* 1A 1B 6C 1Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
On Circuit Description Languages, Indexed Monads, and Resource Analysis.
Proc. ACM Program. Lang.
Ken Sakayori, Andrea Colledan, Ugo Dal Lago
2026 — conf
Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators.
ESOP (2)
Izumi Tanaka, Ken Sakayori, Shinya Takamaeda-Yamazaki, Naoki Kobayashi
2026 J jnl
Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators.
CoRR
Izumi Tanaka, Ken Sakayori, Shinya Takamaeda-Yamazaki, Naoki Kobayashi
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 J jnl
Extensional and Non-extensional Functions as Processes.
Log. Methods Comput. Sci.
Ken Sakayori, Davide Sangiorgi
2025 J jnl
On Circuit Description Languages, Indexed Monads, and Resource Analysis.
CoRR
Ken Sakayori, Andrea Colledan, Ugo Dal Lago
2025 — conf
On the Relationship between Dijkstra Monads and Higher-Order Fixpoint Logic.
ESOP (2)
Risa Yamada, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato
2024 — conf
Borrowable Fractional Ownership Types for Verification.
VMCAI (2)
Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi
2024 J jnl
Extensional and Non-extensional Functions as Processes.
CoRR
Ken Sakayori, Davide Sangiorgi
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
Ownership Types for Verification of Programs with Pointer Arithmetic.
PEPM
Izumi Tanaka, Ken Sakayori, 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
Extensional and Non-extensional Functions as Processes.
LICS
Ken Sakayori, Davide Sangiorgi
2023 J jnl
Ownership Types for Verification of Programs with Pointer Arithmetic.
CoRR
Izumi Tanaka, Ken Sakayori, Naoki Kobayashi
2021 B conf
Output Without Delay: A π-Calculus Compatible with Categorical Semantics.
FSCD
Ken Sakayori, Takeshi Tsukada
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
2019 A conf
A Categorical Model of an \mathbf i/o -typed \pi -calculus.
ESOP
Ken Sakayori, Takeshi Tsukada
2017 B conf
A Truly Concurrent Game Model of the Asynchronous \pi -Calculus.
FoSSaCS
Ken Sakayori, Takeshi Tsukada