Ohad Kammar

According to our database, Ohad Kammar authored at least 23 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., January, 2024

A Denotational Approach to Release/Acquire Concurrency.

Yotam Dvir, Ohad Kammar, Ori Lahav

Proceedings of the Programming Languages and Systems, 2024

2023

Frex: dependently-typed algebraic simplification.

Guillaume Allais, Edwin C. Brady, Nathan Corbyn, Ohad Kammar, Jeremy Yallop

CoRR, 2023

Idris TyRE: a dependently typed regex parser.

Ohad Kammar, Katarzyna Marek

CoRR, 2023

2022

Fully abstract models for effectful λ-calculi via category-theoretic logical relations.

Ohad Kammar, Shin-ya Katsumata, Philip Saville

Proc. ACM Program. Lang., 2022

An Algebraic Theory for Shared-State Concurrency.

Yotam Dvir, Ohad Kammar, Ori Lahav

Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022

2019

A domain theory for statistical probabilistic programming.

Matthijs Vákár, Ohad Kammar, Sam Staton

Proc. ACM Program. Lang., 2019

2018

Partially-static data as free extension of algebras.

Jeremy Yallop, Tamara von Glehn, Ohad Kammar

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

Functional programming for modular Bayesian inference.

Adam Scibior, Ohad Kammar, Zoubin Ghahramani

Proc. ACM Program. Lang., 2018

Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics.

Ohad Kammar, Dylan McDermott

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

2017

On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control.

Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar

Proc. ACM Program. Lang., 2017

No value restriction is needed for algebraic effects and handlers.

Ohad Kammar, Matija Pretnar

J. Funct. Program., 2017

A monadic solution to the Cartwright-Felleisen-Wadler conjecture.

Ohad Kammar, Dylan McDermott

CoRR, 2017

A monad for full ground reference cells.

Ohad Kammar, Paul Blain Levy, Sean K. Moss, Sam Staton

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

A convenient category for higher-order probability theory.

Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016

Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints.

Sam Staton, Hongseok Yang, Frank D. Wood, Chris Heunen, Ohad Kammar

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Bayesian Inversion by ω-Complete Cone Duality.

Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Ohad Kammar

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

An absolute characterisation of locally determined omega-colimits.

Ohad Kammar

CoRR, 2015

2014

Algebraic theory of type-and-effect systems.

Ohad Kammar

PhD thesis, 2014

2013

Handlers in action.

Ohad Kammar, Sam Lindley, Nicolas Oury

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012

Algebraic foundations for effect-dependent optimisations.

Ohad Kammar, Gordon D. Plotkin

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2011

On the Statistical Thermodynamics of Reversible Communicating Processes.

Giorgio Bacci, Vincent Danos, Ohad Kammar

Proceedings of the Algebra and Coalgebra in Computer Science, 2011