| 2025 | CPP | Formalization of Differential Privacy in Isabelle/HOL. | Tetsuya Sato, Yasuhiko Minamide |
| 2023 | ITP | Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL. | Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato |
| 2023 | JELIA | Formalizing Statistical Causality via Modal Logic. | Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga |
| 2022 | FLOPS | Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL. | Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato |
| 2022 | HCI | Human-Centered Artificial Intelligence: Beyond a Two-Dimensional Framework. | Matthew Pacailler, Sarah E. Yahoodik, Tetsuya Sato, Jeremiah G. Ammons, Jeremiah D. Still |
| 2021 | ESOP | Graded Hoare Logic and its Categorical Semantics. | Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato |
| 2021 | KR | Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic. | Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga |
| 2020 | AISTATS | Hypothesis Testing Interpretations and Renyi Differential Privacy. | Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato |
| 2019 | LICS | Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy. | Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata |
| 2017 | ICALP | *-Liftings for Differential Privacy. | Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub |
| 2015 | CALCO | Codensity Liftings of Monads. | Shin-ya Katsumata, Tetsuya Sato |
| 2013 | FOSSACS | Preorders on Monads and Coalgebraic Simulations. | Shin-ya Katsumata, Tetsuya Sato |
| 2007 | PADS | Macro-Micro Economic System Simulation. | Bhakti S. S. Onggo, K. Kusano, Tetsuya Sato |
| 2003 | IGARSS | Modeling the Earth system. Critical computational technologies that enable us to predict our planet's future. | Robert D. Ferraro, Tetsuya Sato, Guy Brasseur, Cecelia DeLuca, Eric Guilyardi |
| 2002 | ICS | Can the earth simulator change the way humans think? | Tetsuya Sato |