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

POPL 2023 Committee Member in Program Committee within the POPL-track
LAFI 2023 Steering Committee Member in Steering Committee within the LAFI 2023-track
Author of Towards type-driven data-science in Idris within the LAFI 2023-track
PEPM 2023 Author of Modular Construction of Multi-sorted Free Extensions within the PEPM 2023-track
APLAS 2022 Author of An Algebraic Theory for Shared-State Concurrency within the APLAS-track
TyDe 2022 Author of Idris2-Table: evaluating dependently-typed tables with the Brown Benchmark for Table Types (Extended Abstract) within the TyDe 2022-track
Author of Normalization by Evaluation with Free Extensions (Extended Abstract) within the TyDe 2022-track
POPL 2022 Author of Fully Abstract Models for Effectful λ-Calculi via Category-Theoretic Logical Relations within the POPL-track
LAFI 2022 Session Chair of Keynote (part of LAFI)
Committee Member in Steering Committee within the LAFI-track
Session Chair of Keynote (part of LAFI)
ML 2021 Committee Member in Program Committee within the ML 2021-track
Session Chair of Inference + Short talks (part of ML 2021)
HOPE 2021 Co-chair in Program Committee within the HOPE 2021-track
Author of A Monad for Shared-State Concurrency within the HOPE 2021-track
LAFI 2021 Committee Member in Steering Committee within the LAFI 2021-track
HOPE 2020 Co-chair in Organizing Committee within the HOPE 2020-track
TyDe 2020 Author of Frex: indexing modulo equations with free extensions (Extended Abstract) within the TyDe 2020-track
REMS-DeepSpec 2020 Author of ARMv8 and RISC-V relaxed memory concurrency within the REMS-DeepSpec 2020-track
POPL 2020 Committee Member in Program Committee within the Research Papers-track
Session Chair of Probabilistic Programming (part of Research Papers)
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)
LAFI 2020 Co-chair in Program Committee within the LAFI (né PPS)-track
APLAS 2019 Ordinary PC member in Program Committee within the Research Papers-track
ICFP 2019 Committee Member in External Review Committee within the Research Papers-track
POPL 2019 Author of A Domain Theory for Statistical Probabilistic Programming within the Research Papers-track
LAFI 2019 Co-chair in Program Committee within the LAFI (né PPS)-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 2018 Author of A domain theory for statistical probabilistic programming within the HOPE 2018-track
POPL 2018 Author of Denotational validation of higher-order Bayesian inference 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 2017 Author of On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control within the Research Papers-track
HOPE 2017 Author of A monadic solution to the Cartwright-Felleisen-Wadler conjecture within the HOPE 2017-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