Ohad Kammar

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 27

Top Venues

CoRR

Proc. ACM Program. Lang.

LICS

J. Funct. Program.

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Yotam Dvir, Ohad Kammar, Ori Lahav
A Denotational Approach to Release/Acquire Concurrency. ESOP (2) (2024)
Xueying Qin, Liam O'Connor, Rob van Glabbeek, Peter Höfner, Ohad Kammar, Michel Steuwer
Shoggoth: A Formal Foundation for Strategic Rewriting. Proc. ACM Program. Lang. 8 (POPL) (2024)
Guillaume Allais, Edwin C. Brady, Nathan Corbyn, Ohad Kammar, Jeremy Yallop
Frex: dependently-typed algebraic simplification. CoRR (2023)
Ohad Kammar, Katarzyna Marek
Idris TyRE: a dependently typed regex parser. CoRR (2023)
Yotam Dvir, Ohad Kammar, Ori Lahav
An Algebraic Theory for Shared-State Concurrency. APLAS (2022)
Ohad Kammar, Shin-ya Katsumata, Philip Saville
Fully abstract models for effectful λ-calculi via category-theoretic logical relations. Proc. ACM Program. Lang. 6 (POPL) (2022)
Matthijs Vákár, Ohad Kammar, Sam Staton
A domain theory for statistical probabilistic programming. Proc. ACM Program. Lang. 3 (POPL) (2019)
Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar
On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control. J. Funct. Program. 29 (2019)
Matthijs Vákár, Ohad Kammar, Sam Staton
A Domain Theory for Statistical Probabilistic Programming. CoRR (2018)
Adam Scibior, Ohad Kammar, Zoubin Ghahramani
Functional programming for modular Bayesian inference. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Ohad Kammar, Dylan McDermott
Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics. MFPS (2018)
Jeremy Yallop, Tamara von Glehn, Ohad Kammar
Partially-static data as free extension of algebras. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Ohad Kammar, Dylan McDermott
Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics. CoRR (2018)
Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani
Denotational validation of higher-order Bayesian inference. Proc. ACM Program. Lang. 2 (POPL) (2018)
Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang
A Convenient Category for Higher-Order Probability Theory. CoRR (2017)
Ohad Kammar, Matija Pretnar
No value restriction is needed for algebraic effects and handlers. J. Funct. Program. 27 (2017)
Ohad Kammar, Paul Blain Levy, Sean K. Moss, Sam Staton
A monad for full ground reference cells. CoRR (2017)
Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani
Denotational validation of higher-order Bayesian inference. CoRR (2017)
Ohad Kammar, Paul Blain Levy, Sean K. Moss, Sam Staton
A monad for full ground reference cells. LICS (2017)
Ohad Kammar, Dylan McDermott
A monadic solution to the Cartwright-Felleisen-Wadler conjecture. CoRR (2017)
Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang
A convenient category for higher-order probability theory. LICS (2017)
Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar
On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control. CoRR (2016)
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Ohad Kammar
Bayesian Inversion by ω-Complete Cone Duality. CONCUR (2016)
Sam Staton, Hongseok Yang, Chris Heunen, Ohad Kammar, Frank D. Wood
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. CoRR (2016)
Sam Staton, Hongseok Yang, Frank D. Wood, Chris Heunen, Ohad Kammar
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. LICS (2016)
Ohad Kammar, Matija Pretnar
No value restriction is needed for algebraic effects and handlers. CoRR (2016)
Ohad Kammar
An absolute characterisation of locally determined omega-colimits. CoRR (2015)
Ohad Kammar, Sam Lindley, Nicolas Oury
Handlers in action. ICFP (2013)
Ohad Kammar, Gordon D. Plotkin
Algebraic foundations for effect-dependent optimisations. POPL (2012)
Giorgio Bacci, Vincent Danos, Ohad Kammar
On the Statistical Thermodynamics of Reversible Communicating Processes. CALCO (2011)

Ohad Kammar.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ohad Kammar