Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tetsuya Sato
conf.researchr.org general profile
FLOPS 2022 profile
ICFP 2021 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
POPL 2025 profile
Registered user since Fri 22 Nov 2024
Name:
Tetsuya Sato
Country:
Japan
Affiliation:
Tokyo Institute of Technology
Contributions
2025
CPP
Author of Formalization of Differential Privacy in Isabelle/HOL within the CPP 2025-track
2022
FLOPS
Author of Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL within the FLOPS 2022-track
2021
ICFP
Author of Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics within the Research Papers-track
2019
POPL
Author of Formal Verification of Higher-Order Probabilistic Programs within the Research Papers-track
2018
LAFI
Author of Reasoning about Divergences via Span-liftings within the PPS 2018-track
2017
POPL
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Share
x
Sat 21 Dec 19:29