| 2026 | LICS | A Convenient Fibration for Dependently-Typed Probability Theory. | Danel Ahman, Ohad Kammar, Rasmus Ejlers Mgelberg |
| 2025 | ESOP | Coverage Semantics for Dependent Pattern Matching. | Joseph Eremondi, Ohad Kammar |
| 2025 | FOSSACS | Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics. | Yotam Dvir, Ohad Kammar, Ori Lahav, Gordon D. Plotkin |
| 2025 | ISCA | Precise exceptions in relaxed architectures. | Ben Simner, Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Ohad Kammar, Jean Pichon-Pharabod, Peter Sewell |
| 2024 | ESOP | A Denotational Approach to Release/Acquire Concurrency. | Yotam Dvir, Ohad Kammar, Ori Lahav |
| 2022 | APLAS | An Algebraic Theory for Shared-State Concurrency. | Yotam Dvir, Ohad Kammar, Ori Lahav |
| 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 | CONCUR | Bayesian Inversion by ω-Complete Cone Duality. | Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Ohad Kammar |
| 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 |
| 2013 | ICFP | Handlers in action. | Ohad Kammar, Sam Lindley, Nicolas Oury |
| 2012 | POPL | Algebraic foundations for effect-dependent optimisations. | Ohad Kammar, Gordon D. Plotkin |
| 2011 | CALCO | On the Statistical Thermodynamics of Reversible Communicating Processes. | Giorgio Bacci, Vincent Danos, Ohad Kammar |