Registered user since Mon 8 May 2017

Name:Sam Staton
Country:United Kingdom
Affiliation:University of Oxford


POPL 2023 Author of ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs within the POPL-track
Author of Affine Monads and Lazy Structures for Bayesian Programming within the POPL-track
LAFI 2023 Author of What do posterior distributions of probabilistic programs look like? within the LAFI 2023-track
Author of Denotational semantics of languages for inference: semirings, monads, and tensors within the LAFI 2023-track
HOPE 2022 Author of Higher order programming with probabilistic effects: A model of stochastic memoization and name generation within the HOPE 2022-track
PLanQC 2022 Committee Member in Program Committee within the PLanQC-track
POPL 2022 Committee Member in Program Committee within the POPL-track
LAFI 2022 Keynote Speaker of Abstract types in probabilistic programming within the LAFI-track
POPL 2021 Author of Probabilistic Programming Semantics for Name Generation within the POPL-track
LAFI 2021 Author of An algebraic theory of conditioning within the LAFI 2021-track
LAFI 2020 Author of Name generation and Higher-order Probabilistic Programming (Or is new=rnd?) within the LAFI (né PPS)-track
Author of A Monad for Point Processes within the LAFI (né PPS)-track
ICFP 2019 Committee Member in Program Committee within the Research Papers-track
FOSSACS 2019 Author of A Sound and Complete Logic for Algebraic Effects within the FOSSACS 2019-track
POPL 2019 Author of A Domain Theory for Statistical Probabilistic Programming within the Research Papers-track
HOPE 2018 Author of A domain theory for statistical probabilistic programming within the HOPE 2018-track
POPL 2018 Author of Denotational validation of higher-order Bayesian inference within the Research Papers-track
PPS 2018 Author of The semantic structure of quasi-Borel spaces: algebra, logic, and recursion within the PPS 2018-track
PLMW 2017 Author of Panel Discussion: Careers in Programming Languages within the PLMW 2017-track
FSCD 2017 Conference Chair of Welcome message within the FSCD 2017-track
POPL 2017 Committee Member in Program Committee within the POPL-track
PPS 2017 Author of Exchangeable random process and data abstraction within the PPS-track
Session Chair of Session 3 (part of PPS)
PPS 2016 Author of Semantics of Higher-order Probabilistic Programs within the PPS 2016-track