Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Takeshi Tsukada
conf.researchr.org general profile
APLAS 2019 profile
APLAS 2020 profile
ETAPS 2019 profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2019 profile
ICFP 2020 profile
ICFP 2021 profile
ICFP 2023 profile
POPL 2017 profile
POPL 2019 profile
POPL 2021 profile
POPL 2022 profile
POPL 2023 profile
SPLASH 2020 profile
SPLASH 2021 profile
SPLASH 2022 profile
Registered user since Mon 10 Jun 2019
Name:
Takeshi Tsukada
Country:
Japan
Affiliation:
Chiba University
Contributions
ICFP 2023
Committee Member in Program Committee within the ICFP Research Papers-track
POPL 2023
Author of HFL(Z) Validity Checking for Automated Program Verification within the POPL-track
Author of Optimal CHC Solving via Termination Proofs within the POPL-track
SPLASH 2022
Author of Software Model-Checking as Cyclic-Proof Search within the COVID Time Papers In Person-track
Author of A New Refinement Type System for Automated nu-HFLZ Validity Checking within the COVID Time Papers In Person-track
Author of Termination Analysis for the pi-Calculus by Reduction to Sequential Program Termination within the COVID Time Papers In Person-track
POPL 2022
Author of Software Model-Checking as Cyclic-Proof Search within the POPL-track
APLAS 2021
Author of Termination Analysis for the $\pi$-Calculus by Reduction to Sequential Program Termination within the Research Papers-track
ICFP 2021
Author of CPS Transformation with Affine Types for Call-By-Value Implicit Polymorphism within the Research Papers-track
PEPM 2021
Author of Counterexample Generation for Program Verification based on Ownership Refinement Types within the PEPM 2021-track
APLAS 2020
Author of A New Refinement Type System for Automated nu-HFLZ Validity Checking within the Research Papers-track
SAS 2020
Author of Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking within the SAS-track
ICFP 2020
Author of Signature restriction for polymorphic algebraic effects within the ICFP Program-track
APLAS 2019
Ordinary PC member in Program Committee within the Research Papers-track
Author of A Type-Based HFL Model Checking Algorithm within the Research Papers-track
ICFP 2019
Committee Member in External Review Committee within the Research Papers-track
ESOP 2019
Author of A Categorical Model of an i/o-typed pi-calculus within the ESOP 2019-track
PEPM 2019
Author of Reduction from Branching-Time Property Verification of Higher-Order Programs to HFL Validity Checking within the PEPM 2019-track
FSCD 2017
Author of Streett Automata Model Checking of Higher-Order Recursion Schemes within the FSCD 2017-track
PEPM 2017
Author of Verification of Code Generators via Higher-Order Model Checking within the PEPM 2017-track
ICFP 2016
Author of Automatically Disproving Fair Termination of Higher-Order Functional Programs within the Research Papers-track
Share
x
Fri 3 Feb 08:26