| 2024 | ESOP | Scoped Effects as Parameterized Algebraic Theories. | Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang |
| 2023 | LICS | ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs. | Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka, Sam Staton |
| 2022 | LICS | Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction. | Cristina Matache, Sean K. Moss, Sam Staton |
| 2021 | FSCD | Recursion and Sequentiality in Categories of Sheaves. | Cristina Matache, Sean K. Moss, Sam Staton |
| 2021 | FSCD | Some Formal Structures in Probability (Invited Talk). | Sam Staton |
| 2021 | LICS | Compositional Semantics for Probabilistic Programs with Exact Conditioning. | Dario Stein, Sam Staton |
| 2020 | FOSSACS | Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing. | Mathieu Huot, Sam Staton, Matthijs Vkr |
| 2019 | FOSSACS | A Sound and Complete Logic for Algebraic Effects. | Cristina Matache, Sam Staton |
| 2019 | LICS | Quantum channels as a categorical completion. | Mathieu Huot, Sam Staton |
| 2018 | ICALP | Probability Theory from a Programming Perspective (Invited Paper). | Sam Staton |
| 2018 | ICALP | The Beta-Bernoulli process and algebraic effects. | Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy |
| 2017 | ESOP | Commutative Semantics for Probabilistic Programming. | Sam Staton |
| 2017 | LICS | A convenient category for higher-order probability theory. | Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang |
| 2017 | LICS | A monad for full ground reference cells. | Ohad Kammar, Paul Blain Levy, Sean K. Moss, Sam Staton |
| 2016 | LICS | Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. | Sam Staton, Hongseok Yang, Frank D. Wood, Chris Heunen, Ohad Kammar |
| 2015 | ICALP | Effect Algebras, Presheaves, Non-locality and Contextuality. | Sam Staton, Sander Uijlen |
| 2015 | POPL | Algebraic Effects, Linearity, and Quantum Programming Languages. | Sam Staton |
| 2014 | CSL | Substitution, jumps, and algebraic effects. | Marcelo P. Fiore, Sam Staton |
| 2014 | CSL | Transition systems over games. | Paul Blain Levy, Sam Staton |
| 2013 | FOSSACS | An Algebraic Presentation of Predicate Logic - (Extended Abstract). | Sam Staton |
| 2013 | LICS | Instances of Computational Effects: An Algebraic Perspective. | Sam Staton |
| 2013 | POPL | Universal properties of impure programming languages. | Sam Staton, Paul Blain Levy |
| 2011 | CALCO | Linearly-Used State in Models of Call-by-Value. | Rasmus Ejlers Mgelberg, Sam Staton |
| 2010 | CiE | Higher-Order Containers. | Thorsten Altenkirch, Paul Blain Levy, Sam Staton |
| 2010 | FOSSACS | Completeness for Algebraic Theories of Local State. | Sam Staton |
| 2010 | LICS | On the Expressivity of Symmetry in Event Structures. | Sam Staton, Glynn Winskel |
| 2009 | CALCO | Relating Coalgebraic Notions of Bisimulation. | Sam Staton |
| 2008 | LICS | General Structural Operational Semantics through Categorical Logic. | Sam Staton |
| 2006 | LICS | A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics. | Marcelo P. Fiore, Sam Staton |