Ohad Kammar

44 papers A* 5A 1B 6Journal 29Unranked 2
YearRankTypeTitle / 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
2025 J jnl
A Brookes-Style Denotational Semantics for Release/Acquire Concurrency.
ACM Trans. Program. Lang. Syst.
Yotam Dvir, Ohad Kammar, Ori Lahav
2025 — conf
Coverage Semantics for Dependent Pattern Matching.
ESOP (1)
Joseph Eremondi, Ohad Kammar
2025 J jnl
Coverage Semantics for Dependent Pattern Matching.
CoRR
Joseph Eremondi, Ohad Kammar
2025 J jnl
Frex: Dependently Typed Algebraic Simplification.
Proc. ACM Program. Lang.
Guillaume Allais, Edwin C. Brady, Nathan Corbyn, Ohad Kammar, Jeremy Yallop
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 A* conf
Precise exceptions in relaxed architectures.
ISCA
Ben Simner, Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Ohad Kammar, Jean Pichon-Pharabod, Peter Sewell
2025 B conf
Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics.
FoSSaCS
Yotam Dvir, Ohad Kammar, Ori Lahav, Gordon D. Plotkin
2025 J jnl
Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics.
CoRR
Yotam Dvir, Ohad Kammar, Ori Lahav, Gordon D. Plotkin
2024 — conf
A Denotational Approach to Release/Acquire Concurrency.
ESOP (2)
Yotam Dvir, Ohad Kammar, Ori Lahav
2024 J jnl
Modular probabilistic programming with algebraic effects (MSc Thesis 2019).
CoRR
Oliver Goldstein, Ohad Kammar
2024 J jnl
Relaxed exception semantics for Arm-A (extended version).
CoRR
Ben Simner, Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Ohad Kammar, Jean Pichon-Pharabod, Peter Sewell
2024 J jnl
Shoggoth: A Formal Foundation for Strategic Rewriting.
Proc. ACM Program. Lang.
Xueying Qin, Liam O'Connor, Rob van Glabbeek, Peter Höfner, Ohad Kammar, Michel Steuwer
2023 J jnl
Frex: dependently-typed algebraic simplification.
CoRR
Guillaume Allais, Edwin C. Brady, Nathan Corbyn, Ohad Kammar, Jeremy Yallop
2023 J jnl
Idris TyRE: a dependently typed regex parser.
CoRR
Ohad Kammar, Katarzyna Marek
2022 B conf
An Algebraic Theory for Shared-State Concurrency.
APLAS
Yotam Dvir, Ohad Kammar, Ori Lahav
2022 J jnl
Fully abstract models for effectful λ-calculi via category-theoretic logical relations.
Proc. ACM Program. Lang.
Ohad Kammar, Shin-ya Katsumata, Philip Saville
2019 J jnl
A domain theory for statistical probabilistic programming.
Proc. ACM Program. Lang.
Matthijs Vákár, Ohad Kammar, Sam Staton
2019 J jnl
On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control.
J. Funct. Program.
Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar
2018 J jnl
A Domain Theory for Statistical Probabilistic Programming.
CoRR
Matthijs Vákár, Ohad Kammar, 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 B conf
Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics.
MFPS
Ohad Kammar, Dylan McDermott
2018 J jnl
Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics.
CoRR
Ohad Kammar, Dylan McDermott
2018 J jnl
Functional programming for modular Bayesian inference.
Proc. ACM Program. Lang.
Adam Scibior, Ohad Kammar, Zoubin Ghahramani
2018 J jnl
Partially-static data as free extension of algebras.
Proc. ACM Program. Lang.
Jeremy Yallop, Tamara von Glehn, Ohad Kammar
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
A monadic solution to the Cartwright-Felleisen-Wadler conjecture.
CoRR
Ohad Kammar, Dylan McDermott
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
2017 J jnl
No value restriction is needed for algebraic effects and handlers.
J. Funct. Program.
Ohad Kammar, Matija Pretnar
2017 J jnl
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control.
Proc. ACM Program. Lang.
Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar
2016 B conf
Bayesian Inversion by ω-Complete Cone Duality.
CONCUR
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Ohad Kammar
2016 J jnl
No value restriction is needed for algebraic effects and handlers.
CoRR
Ohad Kammar, Matija Pretnar
2016 J jnl
On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control.
CoRR
Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar
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 J jnl
An absolute characterisation of locally determined omega-colimits.
CoRR
Ohad Kammar
2014 — —
Algebraic theory of type-and-effect systems.
Ohad Kammar
2013 A conf
Handlers in action.
ICFP
Ohad Kammar, Sam Lindley, Nicolas Oury
2012 A* conf
Algebraic foundations for effect-dependent optimisations.
POPL
Ohad Kammar, Gordon D. Plotkin
2011 B conf
On the Statistical Thermodynamics of Reversible Communicating Processes.
CALCO
Giorgio Bacci, Vincent Danos, Ohad Kammar