Tetsuya Sato

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 27

Top Topics

Differential Privacy

Differentially Private

Hypothesis Test

Top Venues

Proc. ACM Program. Lang.

Log. Methods Comput. Sci.

Publications

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