Takeshi Tsukada
Chiba University
H-index: 12
Asia-Japan
Top articles of Takeshi Tsukada
Enriched Presheaf Model of Quantum FPC
Proceedings of the ACM on Programming Languages
2024/1/5
Takeshi Tsukada
H-Index: 9
Kazuyuki Asada
H-Index: 7
HFL (Z) Validity Checking for Automated Program Verification
Proceedings of the ACM on Programming Languages
2023/1/9
Naoki Kobayashi
H-Index: 7
Takeshi Tsukada
H-Index: 9
Optimal CHC Solving via Termination Proofs
Proceedings of the ACM on Programming Languages
2023/1/9
Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱
2022/8/2
Takeshi Tsukada
H-Index: 9
Kazuyuki Asada
H-Index: 7
Automatic HFL (Z) Validity Checking for Program Verification
arXiv preprint arXiv:2203.07601
2022/3/15
Naoki Kobayashi
H-Index: 7
Takeshi Tsukada
H-Index: 9
Software model-checking as cyclic-proof search
Proceedings of the ACM on Programming Languages
2022/1/11
Takeshi Tsukada
H-Index: 9
Hiroshi Unno
H-Index: 12
A probabilistic higher-order fixpoint logic
Logical Methods in Computer Science
2021/12/2
Naoki Kobayashi
H-Index: 7
Takeshi Tsukada
H-Index: 9
RustHorn: CHC-based verification for Rust programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
2021/10/31
Takeshi Tsukada
H-Index: 9
Naoki Kobayashi
H-Index: 7
Termination Analysis for the -Calculus by Reduction to Sequential Program Termination
2021/10/12
Naoki Kobayashi
H-Index: 7
Takeshi Tsukada
H-Index: 9
CPS transformation with affine types for call-by-value implicit polymorphism
Proceedings of the ACM on Programming Languages
2021/8/18
Takeshi Tsukada
H-Index: 9
Learning Heuristics for Template-based CEGIS of Loop Invariants with Reinforcement Learning
arXiv preprint arXiv:2107.09766
2021/7/16
Enhancing Loop-Invariant Synthesis via Reinforcement Learning
arXiv preprint arXiv:2107.09766
2021/7
Counterexample generation for program verification based on ownership refinement types
2021/1/18
Predicate Abstraction and CEGAR for νHFLZ Validity Checking
Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings
2021/1/12
Takeshi Tsukada
H-Index: 9
Output Without Delay: A π-Calculus Compatible with Categorical Semantics
2021
Takeshi Tsukada
H-Index: 9
A New Refinement Type System for Automated Validity Checking
2020/11/24
Naoki Kobayashi
H-Index: 7
Takeshi Tsukada
H-Index: 9
Predicate Abstraction and CEGAR for Validity Checking
2020/11/18
A cyclic proof system for HFLN
arXiv preprint arXiv:2010.14891
2020/10/28
Takeshi Tsukada
H-Index: 9
Naoki Kobayashi
H-Index: 7
Signature restriction for polymorphic algebraic effects
Proceedings of the ACM on Programming Languages
2020/8/2
Takeshi Tsukada
H-Index: 9
Atsushi Igarashi
H-Index: 15
On computability of logical approaches to branching-time property verification of programs
2020/7/8
Takeshi Tsukada
H-Index: 9