Sam Staton

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 58

Top Topics

Probability Theory

Compositional Semantics

Top Venues

Proc. ACM Program. Lang.

Publications

Jack Liell-Cock, Sam Staton
Compositional imprecise probability. CoRR (2024)
Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
Scoped Effects as Parameterized Algebraic Theories. CoRR (2024)
Dario Stein, Sam Staton
Probabilistic Programming with Exact Conditions. J. ACM 71 (1) (2024)
Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
Scoped Effects as Parameterized Algebraic Theories. ESOP (1) (2024)
Nathanael L. Ackerman, Cameron E. Freer, Younesse Kaddar, Jacek Karwowski, Sean K. Moss, Daniel M. Roy, Sam Staton, Hongseok Yang
Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets. Proc. ACM Program. Lang. 8 (POPL) (2024)
Alexander K. Lew, Mathieu Huot, Sam Staton, Vikash K. Mansinghka
ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs. Proc. ACM Program. Lang. 7 (POPL) (2023)
Dario Stein, Sam Staton
Probabilistic Programming with Exact Conditions. CoRR (2023)
Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka, Sam Staton
ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs. CoRR (2023)
Swaraj Dash, Younesse Kaddar, Hugo Paquet, Sam Staton
Affine Monads and Lazy Structures for Bayesian Programming. Proc. ACM Program. Lang. 7 (POPL) (2023)
Younesse Kaddar, Sam Staton
A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories. CoRR (2023)
Nathanael L. Ackerman, Cameron E. Freer, Younesse Kaddar, Jacek Karwowski, Sean K. Moss, Daniel M. Roy, Sam Staton, Hongseok Yang
Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets. CoRR (2023)
Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka, Sam Staton
ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs. LICS (2023)
Sam Staton, Christina Vasilakopoulou
Proceedings of the Sixth International Conference on Applied Category Theory 2023. CoRR (2023)
Cristina Matache, Sean K. Moss, Sam Staton, Ariadne Si Suo
Denotational semantics for languages for inference: semirings, monads, and tensors. CoRR (2023)
Swaraj Dash, Younesse Kaddar, Hugo Paquet, Sam Staton
Affine Monads and Lazy Structures for Bayesian Programming. CoRR (2022)
Alexander K. Lew, Mathieu Huot, Sam Staton, Vikash K. Mansinghka
ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs. CoRR (2022)
Mathieu Huot, Sam Staton, Matthijs Vákár
Higher Order Automatic Differentiation of Higher Order Functions. Log. Methods Comput. Sci. 18 (1) (2022)
Cristina Matache, Sean K. Moss, Sam Staton
Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction. LICS (2022)
Sam Staton, Ned Summers
Quantum de Finetti Theorems as Categorical Limits, and Limits of State Spaces of C*-algebras. CoRR (2022)
Cristina Matache, Sean K. Moss, Sam Staton
Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction). CoRR (2022)
Marcin Sabok, Sam Staton, Dario Stein, Michael Wolman
Probabilistic programming semantics for name generation. Proc. ACM Program. Lang. 5 (POPL) (2021)
Sam Staton
Some Formal Structures in Probability (Invited Talk). FSCD (2021)
Cristina Matache, Sean K. Moss, Sam Staton
Recursion and Sequentiality in Categories of Sheaves. FSCD (2021)
Dario Stein, Sam Staton
Compositional Semantics for Probabilistic Programs with Exact Conditioning. LICS (2021)
Cristina Matache, Sean K. Moss, Sam Staton
Recursion and Sequentiality in Categories of Sheaves. CoRR (2021)
Swaraj Dash, Sam Staton
Monads for Measurable Queries in Probabilistic Databases. MFPS (2021)
Dario Stein, Sam Staton
Compositional Semantics for Probabilistic Programs with Exact Conditioning. CoRR (2021)
Mathieu Huot, Sam Staton, Matthijs Vákár
Higher Order Automatic Differentiation of Higher Order Functions. CoRR (2021)
Bart Jacobs, Sam Staton
De Finetti's Construction as a Categorical Limit. CMCS (2020)
Mathieu Huot, Sam Staton, Matthijs Vákár
Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing. FoSSaCS (2020)
Mathys Rennela, Sam Staton
Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory. Log. Methods Comput. Sci. 16 (1) (2020)
Marcin Sabok, Sam Staton, Dario Stein, Michael Wolman
Probabilistic Programming Semantics for Name Generation. CoRR (2020)
Mathieu Huot, Sam Staton, Matthijs Vákár
Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing. CoRR (2020)
Swaraj Dash, Sam Staton
A Monad for Probabilistic Point Processes. ACT (2020)
Mathieu Huot, Sam Staton
Quantum channels as a categorical completion. CoRR (2019)
Mathieu Huot, Sam Staton
Quantum channels as a categorical completion. LICS (2019)
Cristina Matache, Sam Staton
A Sound and Complete Logic for Algebraic Effects. FoSSaCS (2019)
Matthijs Vákár, Ohad Kammar, Sam Staton
A domain theory for statistical probabilistic programming. Proc. ACM Program. Lang. 3 (POPL) (2019)
Mathieu Huot, Sam Staton
Universal Properties in Quantum Theory. QPL (2018)
Matthijs Vákár, Ohad Kammar, Sam Staton
A Domain Theory for Statistical Probabilistic Programming. CoRR (2018)
Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy
The Beta-Bernoulli process and algebraic effects. CoRR (2018)
Sam Staton
Preface. MFPS (2018)
Mathys Rennela, Sam Staton
Classical Control and Quantum Circuits in Enriched Category Theory. MFPS (2018)
Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy
The Beta-Bernoulli process and algebraic effects. ICALP (2018)
Sam Staton
Probability Theory from a Programming Perspective (Invited Paper). ICALP (2018)
Sam Staton, Sander Uijlen
Effect algebras, presheaves, non-locality and contextuality. Inf. Comput. 261 (2018)
Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani
Denotational validation of higher-order Bayesian inference. Proc. ACM Program. Lang. 2 (POPL) (2018)
Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang
A Convenient Category for Higher-Order Probability Theory. CoRR (2017)
Mathys Rennela, Sam Staton
Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory. CoRR (2017)
Ohad Kammar, Paul Blain Levy, Sean K. Moss, Sam Staton
A monad for full ground reference cells. CoRR (2017)
Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani
Denotational validation of higher-order Bayesian inference. CoRR (2017)
Ohad Kammar, Paul Blain Levy, Sean K. Moss, Sam Staton
A monad for full ground reference cells. LICS (2017)
Sam Staton
Commutative Semantics for Probabilistic Programming. ESOP (2017)
Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang
A convenient category for higher-order probability theory. LICS (2017)
Maciej Piróg, Sam Staton
Backtracking with cut via a distributive law and left-zero monoids. J. Funct. Program. 27 (2017)
Sam Staton, Hongseok Yang, Chris Heunen, Ohad Kammar, Frank D. Wood
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. CoRR (2016)
Sam Staton, Hongseok Yang, Frank D. Wood, Chris Heunen, Ohad Kammar
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. LICS (2016)
Mathys Rennela, Sam Staton, Robert Furber
Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras. QPL (2016)
Sam Staton, Sander Uijlen
Effect Algebras, Presheaves, Non-locality and Contextuality. ICALP (2) (2015)
Sam Staton
Algebraic Effects, Linearity, and Quantum Programming Languages. POPL (2015)
Mathys Rennela, Sam Staton
Complete Positivity and Natural Representation of Quantum Computations. MFPS (2015)
Robert Atkey, Neil Ghani, Fredrik Nordvall Forsberg, Timothy Revell, Sam Staton
Models for Polymorphism over Physical Dimension. TLCA (2015)
Sam Staton
Freyd categories are Enriched Lawvere Theories. Electron. Notes Theor. Comput. Sci. 303 (2014)
Paul Blain Levy, Sam Staton
Transition systems over games. CSL-LICS (2014)
Bart Jacobs, Alexandra Silva, Sam Staton
Preface. MFPS (2014)
Marcelo P. Fiore, Sam Staton
Substitution, jumps, and algebraic effects. CSL-LICS (2014)
Rasmus Ejlers Møgelberg, Sam Staton
Linear usage of state. Log. Methods Comput. Sci. 10 (1) (2014)
Sam Staton
An Algebraic Presentation of Predicate Logic - (Extended Abstract). FoSSaCS (2013)
Sam Staton
Instances of Computational Effects: An Algebraic Perspective. LICS (2013)
Danel Ahman, Sam Staton
Normalization by Evaluation and Algebraic Effects. MFPS (2013)
Sam Staton, Paul Blain Levy
Universal properties of impure programming languages. POPL (2013)
Sam Staton, Kurt Debattista, Thomas Bashford-Rogers, Alan Chalmers
Light Clustering for Dynamic Image Based Lighting. TPCG (2012)
Sam Staton
Relating coalgebraic notions of bisimulation Log. Methods Comput. Sci. 7 (1) (2011)
Rasmus Ejlers Møgelberg, Sam Staton
Linearly-Used State in Models of Call-by-Value. CALCO (2011)
Sam Staton
Completeness for Algebraic Theories of Local State. FoSSaCS (2010)
Sam Staton, Glynn Winskel
On the Expressivity of Symmetry in Event Structures. LICS (2010)
Thorsten Altenkirch, Paul Blain Levy, Sam Staton
Higher-Order Containers. CiE (2010)
Sam Staton
Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names. MFPS (2009)
Sam Staton
Relating Coalgebraic Notions of Bisimulation. CALCO (2009)
Marcelo P. Fiore, Sam Staton
A congruence rule format for name-passing process calculi. Inf. Comput. 207 (2) (2009)
Sam Staton
General Structural Operational Semantics through Categorical Logic. LICS (2008)
Marcelo P. Fiore, Sam Staton
A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics. LICS (2006)
Marcelo P. Fiore, Sam Staton
Comparing operational models of name-passing process calculi. Inf. Comput. 204 (4) (2006)
Marcelo P. Fiore, Sam Staton
Comparing Operational Models of Name-Passing Process Calculi. CMCS (2004)