Sam Staton -

Registered user since Mon 8 May 2017

Name:Sam Staton

Country:United Kingdom

Affiliation:University of Oxford

Personal website: http://www.cs.ox.ac.uk/people/samuel.staton/main.html

Contributions

2025

POPL

Author of Compositional imprecise probability: a solution from graded monads and Markov categories within the POPL-track

LAFI

Committee Member in Program Committee within the LAFI 2025-track

2024

WQS

Committee Member in Program Committee within the WQS-track

POPL

Author of Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets within the POPL-track

LAFI

Author of A slice sampler for the Indian Buffet Process: expressivity in nonparametric probabilistic programming within the LAFI 2024-track

2023

POPL

LAFI

2022

HOPE

Author of Higher order programming with probabilistic effects: A model of stochastic memoization and name generation within the HOPE 2022-track

PLanQC

Committee Member in Program Committee within the PLanQC-track

POPL

Committee Member in Program Committee within the POPL-track

LAFI

Keynote Speaker of Abstract types in probabilistic programming within the LAFI-track

2021

POPL

Author of Probabilistic Programming Semantics for Name Generation within the POPL-track

LAFI

Author of An algebraic theory of conditioning within the LAFI 2021-track

2020

LAFI

2019

ICFP

Committee Member in Program Committee within the Research Papers-track

FOSSACS

Author of A Sound and Complete Logic for Algebraic Effects within the FOSSACS 2019-track

POPL

Author of A Domain Theory for Statistical Probabilistic Programming within the Research Papers-track

2018

HOPE

Author of A domain theory for statistical probabilistic programming within the HOPE 2018-track

POPL

Author of Denotational validation of higher-order Bayesian inference within the Research Papers-track

LAFI

Author of The semantic structure of quasi-Borel spaces: algebra, logic, and recursion within the PPS 2018-track

2017

PLMW

Author of Panel Discussion: Careers in Programming Languages within the PLMW 2017-track

FSCD

Conference Chair of Welcome message within the FSCD 2017-track

POPL

Committee Member in Program Committee within the POPL-track

LAFI

2016

LAFI

Author of Semantics of Higher-order Probabilistic Programs within the PPS 2016-track