@article{CTT100875917,
  author = {Michikazu Hirata and Yasuhiko Minamide and Tetsuya Sato},
  title = {Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL},
  journal = {Lecture notes in computer science, LNCS},
  year = 2022,
}

@article{CTT100875916,
  author = {Alejandro Aguirre and Gilles Barthe and Marco Gaboardi and Deepak Garg and Shin-ya Katsumata and Tetsuya Sato},
  title = {Higher-order probabilistic adversarial computations: categorical semantics and program logics},
  journal = {Proceedings of the ACM on Programming Languages},
  year = 2021,
}

@article{CTT100837279,
  author = {Gilles Barthe and Thomas Espitau and Justin Hsu and Tetsuya Sato and Pierre-Yves Strub},
  title = {Relational *-Liftings for Differential Privacy.},
  journal = {Logical Methods in Computer Science},
  year = 2019,
}

@article{CTT100837269,
  author = {Tetsuya Sato},
  title = {The Giry monad is not strong for the canonical symmetric monoidal closed structure on Meas},
  journal = {Journal of Pure and Applied Algebra},
  year = 2018,
}

@article{CTT100837286,
  author = {Shin-ya Katsumata and Tetsuya Sato and Tarmo Uustalu},
  title = {Codensity Lifting of Monads and its Dual},
  journal = {Logical Methods in Computer Science},
  year = 2018,
}

@article{CTT100837273,
  author = {Tetsuya Sato},
  title = {Identifying all preorders on the subdistribution monad},
  journal = {Electronic Notes in Theoretical Computer Science},
  year = 2014,
}

@inproceedings{CTT100875918,
  author = {佐藤哲也 and 勝股審也},
  title = {関係プログラム論理のためのモナド上のダイバージェンス},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100875920,
  author = {Yusuke Kawamoto and Tetsuya Sato and Kohei Suenaga},
  title = {Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic},
  booktitle = {Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning},
  year = 2021,
}

@inproceedings{CTT100875475,
  author = {平田路和 and 南出靖彦 and 佐藤哲也},
  title = {Isabelle/HOLによる高階確率的プログラム検証},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100854442,
  author = {Marco Gaboardi and Shin-ya Katsumata and Dominic Orchard and Tetsuya Sato},
  title = {Graded Hoare Logic and its Categorical Semantics},
  booktitle = {Lecture Notes in Computer Scienece (LNCS)},
  year = 2021,
}

@inproceedings{CTT100837295,
  author = {Tetsuya Sato and Shin-ya Katsumata},
  title = {Divergences on Monads and Relational Liftings},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100837293,
  author = {Tetsuya Sato and Gilles Barthe and Marco Gaboardi and Justin Hsu and Shin-ya Katsumata},
  title = {Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy},
  booktitle = {2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
  year = 2020,
}

@inproceedings{CTT100837277,
  author = {Borja Balle and Gilles Barthe and Marco Gaboardi and Justin Hsu and Tetsuya Sato},
  title = {Hypothesis Testing Interpretations and Renyi Differential Privacy},
  booktitle = {Proceedings of Machine Learning Research},
  year = 2020,
}

@inproceedings{CTT100854443,
  author = {Tetsuya Sato and Alejandro Aguirre and Gilles Barthe and Marco Gaboardi and Deepak Garg and Justin Hsu},
  title = {Formal Verification of Higher-order Probabilistic Programs},
  booktitle = {In Proceedings of the ACM on Programming Languages},
  year = 2019,
}

@inproceedings{CTT100837270,
  author = {Gilles Barthe and Thomas Espitau and Justin Hsu and Tetsuya Sato and Pierre-Yves Strub},
  title = {∗-liftings for differential privacy},
  booktitle = {Leibniz International Proceedings in Informatics, LIPIcs},
  year = 2017,
}

@inproceedings{CTT100837271,
  author = {Tetsuya Sato},
  title = {Approximate Relational Hoare Logic for Continuous Random Samplings},
  booktitle = {Electronic Notes in Theoretical Computer Science},
  year = 2016,
}

@inproceedings{CTT100837272,
  author = {Shin-ya Katsumata and Tetsuya Sato},
  title = {Codensity liftings of monads},
  booktitle = {Leibniz International Proceedings in Informatics, LIPIcs},
  year = 2015,
}

@inproceedings{CTT100837274,
  author = {Shin-ya Katsumata and Tetsuya Sato},
  title = {Preorders on monads and coalgebraic simulations},
  booktitle = {Lecture notes in computer science, LNCS},
  year = 2013,
}