Travelled to:1 × Italy
Collaborated with:S.Katsumata A.A.0001 G.Barthe M.Gaboardi D.G.0001 J.Hsu
Talks about:probabilist (1) coalgebra (1) preorder (1) bayesian (1) approxim (1) program (1) converg (1) reason (1) higher (1) formal (1)
Person: Tetsuya Sato
DBLP: Sato:Tetsuya
Contributed to:
2013
2019Wrote 2 papers:
- FoSSaCS-2013-KatsumataS #algebra #monad #simulation
- Preorders on Monads and Coalgebraic Simulations (SyK, TS), pp. 145–160.
- POPL-2019-SatoABGGH #approximate #convergence #higher-order #optimisation #probability #reasoning #source code #verification
- Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization (TS, AA0, GB, MG, DG0, JH), p. 30.