Takeshi Tsukada
Chiba University
H-index: 12
Asia-Japan
Top articles of Takeshi Tsukada
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Enriched Presheaf Model of Quantum FPC | Proceedings of the ACM on Programming Languages | Takeshi Tsukada Kazuyuki Asada | 2024/1/5 |
Optimal CHC Solving via Termination Proofs | Proceedings of the ACM on Programming Languages | Yu Gu Takeshi Tsukada Hiroshi Unno | 2023/1/9 |
HFL (Z) Validity Checking for Automated Program Verification | Proceedings of the ACM on Programming Languages | Naoki Kobayashi Kento Tanahashi Ryosuke Sato Takeshi Tsukada | 2023/1/9 |
Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱ | Takeshi Tsukada Kazuyuki Asada | 2022/8/2 | |
Automatic HFL (Z) Validity Checking for Program Verification | arXiv preprint arXiv:2203.07601 | Naoki Kobayashi Kento Tanahashi Ryosuke Sato Takeshi Tsukada | 2022/3/15 |
Software model-checking as cyclic-proof search | Proceedings of the ACM on Programming Languages | Takeshi Tsukada Hiroshi Unno | 2022/1/11 |
Counterexample generation for program verification based on ownership refinement types | Hideto Ueno John Toman Naoki Kobayashi Takeshi Tsukada | 2021/1/18 | |
RustHorn: CHC-based verification for Rust programs | ACM Transactions on Programming Languages and Systems (TOPLAS) | Yusuke Matsushita Takeshi Tsukada Naoki Kobayashi | 2021/10/31 |
Predicate Abstraction and CEGAR for νHFLZ Validity Checking | Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings | Takeshi Tsukada | 2021/1/12 |
Termination Analysis for the -Calculus by Reduction to Sequential Program Termination | Tsubasa Shoshi Takuma Ishikawa Naoki Kobayashi Ken Sakayori Ryosuke Sato | 2021/10/12 | |
Output Without Delay: A π-Calculus Compatible with Categorical Semantics | Ken Sakayori Takeshi Tsukada | 2021 | |
CPS transformation with affine types for call-by-value implicit polymorphism | Proceedings of the ACM on Programming Languages | Taro Sekiyama Takeshi Tsukada | 2021/8/18 |
Learning Heuristics for Template-based CEGIS of Loop Invariants with Reinforcement Learning | arXiv preprint arXiv:2107.09766 | Minchao Wu Takeshi Tsukada Hiroshi Unno Taro Sekiyama Kohei Suenaga | 2021/7/16 |
Enhancing Loop-Invariant Synthesis via Reinforcement Learning | arXiv preprint arXiv:2107.09766 | Takeshi Tsukada Hiroshi Unno Taro Sekiyama Kohei Suenaga | 2021/7 |
A probabilistic higher-order fixpoint logic | Logical Methods in Computer Science | Yo Mitani Naoki Kobayashi Takeshi Tsukada | 2021/12/2 |
A cyclic proof system for HFLN | arXiv preprint arXiv:2010.14891 | Mayuko Kori Takeshi Tsukada Naoki Kobayashi | 2020/10/28 |
Signature restriction for polymorphic algebraic effects | Proceedings of the ACM on Programming Languages | Taro Sekiyama Takeshi Tsukada Atsushi Igarashi | 2020/8/2 |
On computability of logical approaches to branching-time property verification of programs | Takeshi Tsukada | 2020/7/8 | |
On Average-Case Hardness of Higher-Order Model Checking | Yoshiki Nakamura Kazuyuki Asada Naoki Kobayashi Ryoma Sin'Ya Takeshi Tsukada | 2020 | |
A New Refinement Type System for Automated Validity Checking | Hiroyuki Katsura Naoki Iwayama Naoki Kobayashi Takeshi Tsukada | 2020/11/24 |
Co-Authors
