Hypothesis testing interpretations and renyi differential privacy B Balle, G Barthe, M Gaboardi, J Hsu, T Sato
International Conference on Artificial Intelligence and Statistics, 2496-2506, 2020
92 2020 Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, bayesian inference, and optimization T Sato, A Aguirre, G Barthe, M Gaboardi, D Garg, J Hsu
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
36 2019 Approximate relational Hoare logic for continuous random samplings T Sato
Electronic Notes in Theoretical Computer Science 325, 277-298, 2016
28 2016 Approximate span liftings: Compositional semantics for relaxations of differential privacy T Sato, G Barthe, M Gaboardi, J Hsu, S Katsumata
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2019
22 2019 Codensity liftings of monads S Katsumata, T Sato
6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), 2015
21 2015 Preorders on monads and coalgebraic simulations S Katsumata, T Sato
Foundations of Software Science and Computation Structures: 16th …, 2013
21 2013 Codensity lifting of monads and its dual S Katsumata, T Sato, T Uustalu
Logical Methods in Computer Science 14, 2018
19 2018 Higher-order probabilistic adversarial computations: categorical semantics and program logics A Aguirre, G Barthe, M Gaboardi, D Garg, S Katsumata, T Sato
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-30, 2021
11 2021 The Giry monad is not strong for the canonical symmetric monoidal closed structure on Meas T Sato
Journal of Pure and Applied Algebra 222 (10), 2888-2896, 2018
11 2018 Graded Hoare logic and its categorical semantics M Gaboardi, S Katsumata, D Orchard, T Sato
Programming Languages and Systems: 30th European Symposium on Programming …, 2021
10 2021 ⋆-Liftings for differential privacy G Barthe, T Espitau, J Hsu, T Sato, PY Strub
9 2017 Relational -Liftings for Differential Privacy G Barthe, T Espitau, J Hsu, T Sato, PY Strub
Logical Methods in Computer Science 15, 2019
5 2019 Program logic for higher-order probabilistic programs in Isabelle/HOL M Hirata, Y Minamide, T Sato
Science of Computer Programming 230, 102993, 2023
4 2023 Identifying all preorders on the subdistribution monad T Sato
Electronic Notes in Theoretical Computer Science 308, 309-327, 2014
3 2014 Semantic foundations of higher-order probabilistic programs in Isabelle/HOL M Hirata, Y Minamide, T Sato
14th International Conference on Interactive Theorem Proving (ITP 2023), 2023
2 2023 Formalizing statistical beliefs in hypothesis testing using program logic Y Kawamoto, T Sato, K Suenaga
Proceedings of the International Conference on Principles of Knowledge …, 2021
2 2021 A probabilistic monad with nondeterminism for coalgebraic trace semantics T Sato
CALCO Young Researchers Workshop CALCO-jnr 2011, 12, 2011
2 2011 Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs Y Kawamoto, T Sato, K Suenaga
Artificial Intelligence 326, 104045, 2024
1 2024 Formalizing statistical causality via modal logic Y Kawamoto, T Sato, K Suenaga
European Conference on Logics in Artificial Intelligence, 681-696, 2023
1 2023 A nondeterministic probabilistic monad for deterministic schedulers on probabilistic automata T Sato
Master’s thesis, Research Institute for Mathematical Sciences, Kyoto University, 2011
1 2011