Sam Staton - RankMe

98 papers A* 15A 1B 19C 1Journal 46Unranked 13

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories. CoRR Ohad Kammar, Jack Liell-Cock, Sam Lindley, Cristina Matache, Sam Staton
2026	J	`jnl`	An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories. Proc. ACM Program. Lang. Ohad Kammar, Jack Liell-Cock, Sam Lindley, Cristina Matache, Sam Staton
2026	J	`jnl`	Likelihood hacking in probabilistic program synthesis. CoRR Jacek Karwowski, Younesse Kaddar, Zihuiwen Ye, Nikolay Malkin, Sam Staton
2026	J	`jnl`	The Relative Monadic Metalanguage. Proc. ACM Program. Lang. Jack Liell-Cock, Zev Shirazi, Sam Staton
2025	J	`jnl`	Compositional Imprecise Probability: A Solution from Graded Monads and Markov Categories. Proc. ACM Program. Lang. Jack Liell-Cock, Sam Staton
2025	B	`conf`	Modular abstract syntax trees (MAST): substitution tensors with second-class sorts. MFPS Marcelo P. Fiore, Ohad Kammar, Georg Moser, Sam Staton
2025	J	`jnl`	Program Logics via Distributive Monoidal Categories. CoRR Filippo Bonchi, Elena Di Lavore, Mario Román, Sam Staton
2025	J	`jnl`	Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories. ACM Trans. Program. Lang. Syst. Cristina Matache, Sam Lindley, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
2025	J	`jnl`	The Relative Monadic Metalanguage. CoRR Jack Liell-Cock, Zev Shirazi, Sam Staton
2025	J	`jnl`	Uncertainty-Aware Step-wise Verification with Generative Reward Models. CoRR Zihuiwen Ye, Luckeciano Carvalho Melo, Younesse Kaddar, Phil Blunsom, Sam Staton, Yarin Gal
2024	J	`jnl`	Compositional imprecise probability. CoRR Jack Liell-Cock, Sam Staton
2024	J	`jnl`	Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets. Proc. ACM Program. Lang. Nathanael L. Ackerman, Cameron E. Freer, Younesse Kaddar, Jacek Karwowski, Sean K. Moss, Daniel M. Roy, Sam Staton, Hongseok Yang
2024	J	`jnl`	Probabilistic Programming with Exact Conditions. J. ACM Dario Stein, Sam Staton
2024	—	`conf`	Scoped Effects as Parameterized Algebraic Theories. ESOP (1) Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
2024	J	`jnl`	Scoped Effects as Parameterized Algebraic Theories. CoRR Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
2023	B	`conf`	A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories. MFPS Younesse Kaddar, Sam Staton
2023	J	`jnl`	ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs. Proc. ACM Program. Lang. Alexander K. Lew, Mathieu Huot, Sam Staton, Vikash K. Mansinghka
2023	J	`jnl`	Affine Monads and Lazy Structures for Bayesian Programming. Proc. ACM Program. Lang. Swaraj Dash, Younesse Kaddar, Hugo Paquet, Sam Staton
2023	J	`jnl`	Denotational semantics for languages for inference: semirings, monads, and tensors. CoRR Cristina Matache, Sean K. Moss, Sam Staton, Ariadne Si Suo
2023	J	`jnl`	Probabilistic Programming with Exact Conditions. CoRR Dario Stein, Sam Staton
2023	J	`jnl`	Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets. CoRR Nathanael L. Ackerman, Cameron E. Freer, Younesse Kaddar, Jacek Karwowski, Sean K. Moss, Daniel M. Roy, Sam Staton, Hongseok Yang
2023	—	`ed.`	Proceedings of the Sixth International Conference on Applied Category Theory 2023, ACT 2023, University of Maryland, 31 July - 4 August 2023. ACT Sam Staton, Christina Vasilakopoulou
2023	A*	`conf`	ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs. LICS Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka, Sam Staton
2023	J	`jnl`	ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs. CoRR Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka, Sam Staton
2022	J	`jnl`	ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs. CoRR Alexander K. Lew, Mathieu Huot, Sam Staton, Vikash K. Mansinghka
2022	J	`jnl`	Affine Monads and Lazy Structures for Bayesian Programming. CoRR Swaraj Dash, Younesse Kaddar, Hugo Paquet, Sam Staton
2022	J	`jnl`	Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction). CoRR Cristina Matache, Sean K. Moss, Sam Staton
2022	A*	`conf`	Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction. LICS Cristina Matache, Sean K. Moss, Sam Staton
2022	J	`jnl`	Higher Order Automatic Differentiation of Higher Order Functions. Log. Methods Comput. Sci. Mathieu Huot, Sam Staton, Matthijs Vákár
2022	—	`conf`	Quantum de Finetti Theorems as Categorical Limits, and Limits of State Spaces of C*-algebras. QPL Sam Staton, Ned Summers
2021	A*	`conf`	Compositional Semantics for Probabilistic Programs with Exact Conditioning. LICS Dario Stein, Sam Staton
2021	J	`jnl`	Compositional Semantics for Probabilistic Programs with Exact Conditioning. CoRR Dario Stein, Sam Staton
2021	J	`jnl`	Higher Order Automatic Differentiation of Higher Order Functions. CoRR Mathieu Huot, Sam Staton, Matthijs Vákár
2021	B	`conf`	Monads for Measurable Queries in Probabilistic Databases. MFPS Swaraj Dash, Sam Staton
2021	J	`jnl`	Probabilistic programming semantics for name generation. Proc. ACM Program. Lang. Marcin Sabok, Sam Staton, Dario Stein, Michael Wolman
2021	B	`conf`	Recursion and Sequentiality in Categories of Sheaves. FSCD Cristina Matache, Sean K. Moss, Sam Staton
2021	J	`jnl`	Recursion and Sequentiality in Categories of Sheaves. CoRR Cristina Matache, Sean K. Moss, Sam Staton
2021	B	`conf`	Some Formal Structures in Probability (Invited Talk). FSCD Sam Staton
2020	—	`conf`	A Monad for Probabilistic Point Processes. ACT Swaraj Dash, Sam Staton
2020	J	`jnl`	Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory. Log. Methods Comput. Sci. Mathys Rennela, Sam Staton
2020	B	`conf`	Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing. FoSSaCS Mathieu Huot, Sam Staton, Matthijs Vákár
2020	J	`jnl`	Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing. CoRR Mathieu Huot, Sam Staton, Matthijs Vákár
2020	—	`conf`	De Finetti's Construction as a Categorical Limit. CMCS Bart Jacobs, Sam Staton
2020	J	`jnl`	Probabilistic Programming Semantics for Name Generation. CoRR Marcin Sabok, Sam Staton, Dario Stein, Michael Wolman
2020	—	`ch.`	Probabilistic Programs as Measures. Foundations of Probabilistic Programming Sam Staton
2019	B	`conf`	A Sound and Complete Logic for Algebraic Effects. FoSSaCS Cristina Matache, Sam Staton
2019	J	`jnl`	A domain theory for statistical probabilistic programming. Proc. ACM Program. Lang. Matthijs Vákár, Ohad Kammar, Sam Staton
2019	—	`ed.`	Language, Logic, and Computation - 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers TbiLLC Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach
2019	A*	`conf`	Quantum channels as a categorical completion. LICS Mathieu Huot, Sam Staton
2019	J	`jnl`	Quantum channels as a categorical completion. CoRR Mathieu Huot, Sam Staton
2018	J	`jnl`	A Domain Theory for Statistical Probabilistic Programming. CoRR Matthijs Vákár, Ohad Kammar, Sam Staton
2018	B	`conf`	Classical Control and Quantum Circuits in Enriched Category Theory. MFPS Mathys Rennela, Sam Staton
2018	J	`jnl`	Denotational validation of higher-order Bayesian inference. Proc. ACM Program. Lang. Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani
2018	J	`jnl`	Effect algebras, presheaves, non-locality and contextuality. Inf. Comput. Sam Staton, Sander Uijlen
2018	B	`conf`	Preface. MFPS Sam Staton
2018	A*	`conf`	Probability Theory from a Programming Perspective (Invited Paper). ICALP Sam Staton
2018	B	`ed.`	Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2018, Dalhousie University, Halifax, Canada, June 6-9, 2018 MFPS Sam Staton
2018	A*	`conf`	The Beta-Bernoulli process and algebraic effects. ICALP Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy
2018	J	`jnl`	The Beta-Bernoulli process and algebraic effects. CoRR Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy
2018	—	`conf`	Universal Properties in Quantum Theory. QPL Mathieu Huot, Sam Staton
2017	J	`jnl`	A Convenient Category for Higher-Order Probability Theory. CoRR Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang
2017	A*	`conf`	A convenient category for higher-order probability theory. LICS Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang
2017	A*	`conf`	A monad for full ground reference cells. LICS Ohad Kammar, Paul Blain Levy, Sean K. Moss, Sam Staton
2017	J	`jnl`	A monad for full ground reference cells. CoRR Ohad Kammar, Paul Blain Levy, Sean K. Moss, Sam Staton
2017	J	`jnl`	Backtracking with cut via a distributive law and left-zero monoids. J. Funct. Program. Maciej Piróg, Sam Staton
2017	J	`jnl`	Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory. CoRR Mathys Rennela, Sam Staton
2017	A	`conf`	Commutative Semantics for Probabilistic Programming. ESOP Sam Staton
2017	J	`jnl`	Denotational validation of higher-order Bayesian inference. CoRR Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani
2016	—	`conf`	Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras. QPL Mathys Rennela, Sam Staton, Robert Furber
2016	A*	`conf`	Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. LICS Sam Staton, Hongseok Yang, Frank D. Wood, Chris Heunen, Ohad Kammar
2016	J	`jnl`	Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. CoRR Sam Staton, Hongseok Yang, Chris Heunen, Ohad Kammar, Frank D. Wood
2015	A*	`conf`	Algebraic Effects, Linearity, and Quantum Programming Languages. POPL Sam Staton
2015	B	`conf`	Complete Positivity and Natural Representation of Quantum Computations. MFPS Mathys Rennela, Sam Staton
2015	—	`conf`	Effect Algebras, Presheaves, Non-locality and Contextuality. ICALP (2) Sam Staton, Sander Uijlen
2015	—	`conf`	Models for Polymorphism over Physical Dimension. TLCA Robert Atkey, Neil Ghani, Fredrik Nordvall Forsberg, Timothy Revell, Sam Staton
2014	J	`jnl`	Linear usage of state. Log. Methods Comput. Sci. Rasmus Ejlers Møgelberg, Sam Staton
2014	B	`conf`	Preface. MFPS Bart Jacobs, Alexandra Silva, Sam Staton
2014	B	`ed.`	Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014, Ithaca, NY, USA, June 12-15, 2014 MFPS Bart Jacobs, Alexandra Silva, Sam Staton
2014	—	`conf`	Substitution, jumps, and algebraic effects. CSL-LICS Marcelo P. Fiore, Sam Staton
2014	—	`conf`	Transition systems over games. CSL-LICS Paul Blain Levy, Sam Staton
2013	B	`conf`	An Algebraic Presentation of Predicate Logic - (Extended Abstract). FoSSaCS Sam Staton
2013	—	`conf`	Freyd categories are Enriched Lawvere Theories. WACT Sam Staton
2013	A*	`conf`	Instances of Computational Effects: An Algebraic Perspective. LICS Sam Staton
2013	B	`conf`	Normalization by Evaluation and Algebraic Effects. MFPS Danel Ahman, Sam Staton
2013	A*	`conf`	Universal properties of impure programming languages. POPL Sam Staton, Paul Blain Levy
2012	—	`conf`	Light Clustering for Dynamic Image Based Lighting. TPCG Sam Staton, Kurt Debattista, Thomas Bashford-Rogers, Alan Chalmers
2011	B	`conf`	Linearly-Used State in Models of Call-by-Value. CALCO Rasmus Ejlers Møgelberg, Sam Staton
2011	J	`jnl`	Relating coalgebraic notions of bisimulation Log. Methods Comput. Sci. Sam Staton
2010	B	`conf`	Completeness for Algebraic Theories of Local State. FoSSaCS Sam Staton
2010	C	`conf`	Higher-Order Containers. CiE Thorsten Altenkirch, Paul Blain Levy, Sam Staton
2010	A*	`conf`	On the Expressivity of Symmetry in Event Structures. LICS Sam Staton, Glynn Winskel
2009	J	`jnl`	A congruence rule format for name-passing process calculi. Inf. Comput. Marcelo P. Fiore, Sam Staton
2009	B	`conf`	Relating Coalgebraic Notions of Bisimulation. CALCO Sam Staton
2009	B	`conf`	Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names. MFPS Sam Staton
2008	A*	`conf`	General Structural Operational Semantics through Categorical Logic. LICS Sam Staton
2006	A*	`conf`	A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics. LICS Marcelo P. Fiore, Sam Staton
2006	J	`jnl`	Comparing operational models of name-passing process calculi. Inf. Comput. Marcelo P. Fiore, Sam Staton
2004	—	`conf`	Comparing Operational Models of Name-Passing Process Calculi. CMCS Marcelo P. Fiore, Sam Staton