Ohad Kammar -

Registered user since Thu 4 May 2017

Name: Ohad Kammar

Country: United Kingdom

Affiliation: University of Edinburgh

Personal website: http://denotational.co.uk

Contributions

TyDe 2020	Author of Frex: indexing modulo equations with free extensions (Extended Abstract) within the TyDe 2020-track
HOPE 2020	Co-chair in Organizing Committee within the HOPE 2020-track
REMS-DeepSpec 2020	Author of ARMv8 and RISC-V relaxed memory concurrency within the REMS-DeepSpec 2020-track
LAFI 2020	Co-chair in Program Committee within the LAFI (né PPS)-track
PEPM 2020	Invited Speaker of Frex: Free extensions for normalisation by evaluation (invited talk) within the PEPM 2020-track Session Chair of Sessions 1 & 2 (part of PEPM 2020)
POPL 2020	Committee Member in Program Committee within the Research Papers-track Session Chair of Probabilistic Programming (part of Research Papers)
APLAS 2019	Ordinary PC member in Program Committee within the Research Papers-track
LAFI 2019	Co-chair in Program Committee within the LAFI (né PPS)-track
POPL 2019	Author of A Domain Theory for Statistical Probabilistic Programming within the Research Papers-track
HOPE 2018	Author of A domain theory for statistical probabilistic programming within the HOPE 2018-track
ICFP 2019	Committee Member in External Review Committee within the Research Papers-track
PEPM 2018	Author of Partially Static Data as Free Extension of Algebras (Short Paper) within the PEPM 2018-track
PPS 2018	Author of The semantic structure of quasi-Borel spaces: algebra, logic, and recursion within the PPS 2018-track Committee Member in Program Committee within the PPS 2018-track
ICFP 2018	Author of Functional Programming for Modular Bayesian Inference within the Research Papers-track Author of Partially-Static Data as Free Extension of Algebras within the Research Papers-track
HOPE 2017	Author of A monadic solution to the Cartwright-Felleisen-Wadler conjecture within the HOPE 2017-track
ICFP 2017	Author of On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control within the Research Papers-track
POPL 2018	Author of Denotational validation of higher-order Bayesian inference within the Research Papers-track
HOPE 2016	Author of Functional models of full ground, and general, reference cells within the HOPE-track
PPS 2016	Author of Semantics of Higher-order Probabilistic Programs within the PPS 2016-track