On the Statistical Thermodynamics of Reversible Communicating Processes. - Giorgio Bacci; Vincent Danos; Ohad Kammar (CALCO, 2011)

Algebraic foundations for effect-dependent optimisations. - Ohad Kammar; Gordon D. Plotkin (POPL, 2012)

Handlers in action. - Ohad Kammar; Sam Lindley; Nicolas Oury (ICFP, 2013)

Algebraic theory of type-and-effect systems. - Ohad Kammar (2014)

An absolute characterisation of locally determined omega-colimits. - Ohad Kammar (CoRR, 2015)

Bayesian Inversion by ω-Complete Cone Duality. - Fredrik Dahlqvist; Vincent Danos; Ilias Garnier; Ohad Kammar (CONCUR, 2016)

Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. - Sam Staton; Hongseok Yang; Frank D. Wood; Chris Heunen; Ohad Kammar (LICS, 2016)

A convenient category for higher-order probability theory. - Chris Heunen; Ohad Kammar; Sam Staton; Hongseok Yang (LICS, 2017)

A monad for full ground reference cells. - Ohad Kammar; Paul Blain Levy; Sean K. Moss; Sam Staton (LICS, 2017)

A monadic solution to the Cartwright-Felleisen-Wadler conjecture. - Ohad Kammar; Dylan McDermott (CoRR, 2017)

No value restriction is needed for algebraic effects and handlers. - Ohad Kammar; Matija Pretnar (J. Funct. Program., 2017)

On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control. - Yannick Forster 002; Ohad Kammar; Sam Lindley; Matija Pretnar (Proc. ACM Program. Lang., 2017)

Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics. - Ohad Kammar; Dylan McDermott (MFPS, 2018)

Functional programming for modular Bayesian inference. - Adam Scibior; Ohad Kammar; Zoubin Ghahramani (Proc. ACM Program. Lang., 2018)

Denotational validation of higher-order Bayesian inference. - Adam Scibior; Ohad Kammar; Matthijs Vákár; Sam Staton; Hongseok Yang; Yufei Cai; Klaus Ostermann; Sean K. Moss; Chris Heunen; Zoubin Ghahramani (Proc. ACM Program. Lang., 2018)

Partially-static data as free extension of algebras. - Jeremy Yallop; Tamara von Glehn; Ohad Kammar (Proc. ACM Program. Lang., 2018)

A domain theory for statistical probabilistic programming. - Matthijs Vákár; Ohad Kammar; Sam Staton (Proc. ACM Program. Lang., 2019)

An Algebraic Theory for Shared-State Concurrency. - Yotam Dvir; Ohad Kammar; Ori Lahav 001 (APLAS, 2022)

Fully abstract models for effectful λ-calculi via category-theoretic logical relations. - Ohad Kammar; Shin-ya Katsumata; Philip Saville (Proc. ACM Program. Lang., 2022)

Idris TyRE: a dependently typed regex parser. - Ohad Kammar; Katarzyna Marek (CoRR, 2023)

Frex: dependently-typed algebraic simplification. - Guillaume Allais; Edwin C. Brady; Nathan Corbyn; Ohad Kammar; Jeremy Yallop (CoRR, 2023)

Artifact for Shoggoth - A Formal Foundation for Strategic Rewriting. - Xueying Qin; Liam O'Connor; Rob van Glabbeek; Peter Höfner; Ohad Kammar; Michel Steuwer (Zenodo, 2023)

Artifact for Shoggoth - A Formal Foundation for Strategic Rewriting. - Xueying Qin; Liam O'Connor; Rob van Glabbeek; Peter Höfner; Ohad Kammar; Michel Steuwer (Zenodo, 2023)

A Denotational Approach to Release/Acquire Concurrency. - Yotam Dvir; Ohad Kammar; Ori Lahav 001 (ESOP (2), 2024)

Relaxed exception semantics for Arm-A (extended version). - Ben Simner; Alasdair Armstrong; Thomas Bauereiss; Brian Campbell 001; Ohad Kammar; Jean Pichon-Pharabod; Peter Sewell (CoRR, 2024)

Modular probabilistic programming with algebraic effects (MSc Thesis 2019). - Oliver Goldstein; Ohad Kammar (CoRR, 2024)

Shoggoth: A Formal Foundation for Strategic Rewriting. - Xueying Qin; Liam O'Connor; Rob van Glabbeek; Peter Höfner; Ohad Kammar; Michel Steuwer (Proc. ACM Program. Lang., 2024)

Coverage Semantics for Dependent Pattern Matching. - Joseph Eremondi; Ohad Kammar (ESOP (1), 2025)

Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics. - Yotam Dvir; Ohad Kammar; Ori Lahav 001; Gordon D. Plotkin (FoSSaCS, 2025)

Precise exceptions in relaxed architectures. - Ben Simner; Alasdair Armstrong; Thomas Bauereiss; Brian Campbell 001; Ohad Kammar; Jean Pichon-Pharabod; Peter Sewell (ISCA, 2025)

A Brookes-Style Denotational Semantics for Release/Acquire Concurrency. - Yotam Dvir; Ohad Kammar; Ori Lahav 001 (ACM Trans. Program. Lang. Syst., 2025)