"Michikazu Hirata,Yasuhiko Minamide,Tetsuya Sato","Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL","14th Conference on Interactive Theorem Proving(ITP2023)",,,,,,2023,July
"Michikazu Hirata,Yasuhiko Minamide,Tetsuya Sato","Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL","16th International Symposium on Functional and Logic Programming(FLOPS 2022)","Lecture notes in computer science, LNCS",,"volume 13215",,,2022,May
"Tetsuya Sato,勝股審也","関係プログラム論理のためのモナド上のダイバージェンス","第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022)",,,,,,2022,Mar.
"Yusuke Kawamoto,Tetsuya Sato,Kohei Suenaga","Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic","18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022)","Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning",,,,,2021,Sept.
"Michikazu Hirata,Yasuhiko Minamide,Tetsuya Sato","Isabelle/HOLによる高階確率的プログラム検証","日本ソフトウェア科学会第38回大会",,,,,,2021,Aug.
"Alejandro Aguirre,Gilles Barthe,Marco Gaboardi,Deepak Garg,Shin-ya Katsumata,Tetsuya Sato","Higher-order probabilistic adversarial computations: categorical semantics and program logics",,"Proceedings of the ACM on Programming Languages",,"Vol. 5","No. ICFP","pp. 1-30",2021,Aug.
"Marco Gaboardi,Shin-ya Katsumata,Dominic Orchard,Tetsuya Sato","Graded Hoare Logic and its Categorical Semantics","30th European Symposium on Programming (ESOP 2021)","Lecture Notes in Computer Scienece (LNCS)","Springer International Publishing","Volume 2648",,"pp. 234-263",2021,Mar.
"Tetsuya Sato,Shin-ya Katsumata","Divergences on Monads and Relational Liftings","15th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2020)",,,,,,2020,Sept.
"Tetsuya Sato,Gilles Barthe,Marco Gaboardi,Justin Hsu,Shin-ya Katsumata","Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy","34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","IEEE",,,,2020,Aug.
"Borja Balle,Gilles Barthe,Marco Gaboardi,Justin Hsu,Tetsuya Sato","Hypothesis Testing Interpretations and Renyi Differential Privacy","The 23rd International Conference on Artificial Intelligence and Statistics (AISTATS 2020)","Proceedings of Machine Learning Research",,"volume 108",,"  2496-2506",2020,Aug.
"Gilles Barthe,Thomas Espitau,Justin Hsu,Tetsuya Sato,Pierre-Yves Strub","Relational *-Liftings for Differential Privacy.",,"Logical Methods in Computer Science",,"Volume 15","Issue 154",,2019,Dec.
"Tetsuya Sato,Alejandro Aguirre,Gilles Barthe,Marco Gaboardi,Deepak Garg,Justin Hsu","Formal Verification of Higher-order Probabilistic Programs","The 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019)","In Proceedings of the ACM on Programming Languages",,"Volume 3","Issue POPL",,2019,Jan.
"Tetsuya Sato","The Giry monad is not strong for the canonical symmetric monoidal closed structure on Meas",,"Journal of Pure and Applied Algebra",,"Vol. 222","No. 10","pp. 2888-2896",2018,Oct.
"Shin-ya Katsumata,Tetsuya Sato,Tarmo Uustalu","Codensity Lifting of Monads and its Dual",,"Logical Methods in Computer Science",,"Volume 14","Issue 4",,2018,Oct.
"Gilles Barthe,Thomas Espitau,Justin Hsu,Tetsuya Sato,Pierre-Yves Strub","?-liftings for differential privacy","44th International Colloquium on Automata, Languages, and Programming (ICALP 2017)","Leibniz International Proceedings in Informatics, LIPIcs","Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik","Vol. 80",,"pp. 1-12",2017,July
"Tetsuya Sato","Approximate Relational Hoare Logic for Continuous Random Samplings",,"Electronic Notes in Theoretical Computer Science","Elsevier B.V.","Volume 325",,"Page 277-298",2016,Oct.
"Shin-ya Katsumata,Tetsuya Sato","Codensity liftings of monads","6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)","Leibniz International Proceedings in Informatics, LIPIcs","Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik","Volume 35",,"pp. 156-170",2015,Oct.
"Tetsuya Sato","Identifying all preorders on the subdistribution monad","Mathematical Foundations of Programming Semantics Thirtieth Conference","Electronic Notes in Theoretical Computer Science","Elsevier B.V.","Volume 308",,"Page 309-327",2014,Oct.
"Shin-ya Katsumata,Tetsuya Sato","Preorders on monads and coalgebraic simulations","International Conference on Foundations of Software Science and Computational Structures (FoSSaCS 2013)","Lecture notes in computer science, LNCS","Springer-Verlag Berlin Heidelberg","Volume 7794",,"pp. 145-160",2013,Mar.