Tetsuya Sato

34 papers A* 3A 2B 7Misc 1Journal 21
YearRankTypeTitle / Venue / Authors
2025 J jnl
Differential Privacy.
Arch. Formal Proofs
Tetsuya Sato, Yasuhiko Minamide
2025 B conf
Formalization of Differential Privacy in Isabelle/HOL.
CPP
Tetsuya Sato, Yasuhiko Minamide
2024 J jnl
Formalization of Differential Privacy in Isabelle/HOL.
CoRR
Tetsuya Sato, Yasuhiko Minamide
2024 J jnl
Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs.
Artif. Intell.
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
2023 J jnl
Divergences on monads for relational program logics.
Math. Struct. Comput. Sci.
Tetsuya Sato, Shin-ya Katsumata
2023 B conf
Formalizing Statistical Causality via Modal Logic.
JELIA
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
2023 J jnl
Program logic for higher-order probabilistic programs in Isabelle/HOL.
Sci. Comput. Program.
Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato
2023 B conf
Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL.
ITP
Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato
2022 J jnl
Divergences on Monads for Relational Program Logics.
CoRR
Tetsuya Sato, Shin-ya Katsumata
2022 J jnl
Formalizing Statistical Causality via Modal Logic.
CoRR
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
2022 Misc conf
Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL.
FLOPS
Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato
2022 J jnl
Quasi-Borel Spaces.
Arch. Formal Proofs
Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato
2022 J jnl
Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs.
CoRR
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
2021 A* conf
Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic.
KR
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
2021 A conf
Graded Hoare Logic and its Categorical Semantics.
ESOP
Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato
2021 J jnl
Higher-order probabilistic adversarial computations: Categorical semantics and program logics.
CoRR
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato
2021 J jnl
Higher-order probabilistic adversarial computations: categorical semantics and program logics.
Proc. ACM Program. Lang.
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato
2020 J jnl
Graded Hoare Logic and its Categorical Semantics.
CoRR
Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato
2020 A conf
Hypothesis Testing Interpretations and Renyi Differential Privacy.
AISTATS
Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato
2019 A* conf
Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy.
LICS
Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata
2019 J jnl
Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization.
Proc. ACM Program. Lang.
Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu
2019 J jnl
Hypothesis Testing Interpretations and Renyi Differential Privacy.
CoRR
Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato
2019 J jnl
Relational ⋆⋆\star-Liftings for Differential Privacy.
Log. Methods Comput. Sci.
Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub
2018 J jnl
Codensity Lifting of Monads and its Dual.
CoRR
Shin-ya Katsumata, Tetsuya Sato, Tarmo Uustalu
2018 J jnl
Codensity Lifting of Monads and its Dual.
Log. Methods Comput. Sci.
Shin-ya Katsumata, Tetsuya Sato, Tarmo Uustalu
2018 J jnl
Formal verification of higher-order probabilistic programs.
CoRR
Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu
2017 A* conf
*-Liftings for Differential Privacy.
ICALP
Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub
2017 J jnl
*-Liftings for Differential Privacy.
CoRR
Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub
2017 J jnl
Reasoning about Divergences for Relaxations of Differential Privacy.
CoRR
Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata
2016 J jnl
Approximate Relational Hoare Logic for Continuous Random Samplings.
CoRR
Tetsuya Sato
2016 B conf
Approximate Relational Hoare Logic for Continuous Random Samplings.
MFPS
Tetsuya Sato
2015 B conf
Codensity Liftings of Monads.
CALCO
Shin-ya Katsumata, Tetsuya Sato
2014 B conf
Identifying All Preorders on the Subdistribution Monad.
MFPS
Tetsuya Sato
2013 B conf
Preorders on Monads and Coalgebraic Simulations.
FoSSaCS
Shin-ya Katsumata, Tetsuya Sato