Filter
Conference contribution

Search results

  • 2024

    A Denotational Approach to Release/Acquire Concurrency

    Dvir, Y., Kammar, O. & Lahav, O., 5 Apr 2024, Proceedings from the European Symposium on Programming (ESOP). Springer, Vol. 14577. p. 121-149 27 p. (Lecture Notes in Computer Science; vol. 14577).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2022

    An Algebraic Theory for Shared-State Concurrency

    Dvir, Y., Kammar, O. & Lahav, O., 25 Nov 2022, Programming Languages and Systems: 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings. Sergey, I. (ed.). Springer, Cham, p. 2-24 22 p. (Lecture Notes in Computer Science; vol. 13658).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2020

    Recalibrating classifiers for interpretable abusive content detection

    Vidgen, B., Staton, S., Hale, S., Kammar, O., Margetts, H., Melham, T. & Szymczak, M., 20 Nov 2020, Proceedings of the Fourth Workshop on Natural Language Processing and Computational Social Science. Bamman, D., Hovy, D., Jurgens, D., O'Connor, B. & Volkova, S. (eds.). ACL Anthology, p. 132-138 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2017

    A Convenient Category for Higher-Order Probability Theory

    Heunen, C., Kammar, O., Staton, S. & Yang, H., 18 Aug 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Institute of Electrical and Electronics Engineers (IEEE), p. 1-12 12 p. (IEEE Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • A monad for full ground reference cells

    Kammar, O., Levy, P. B., Moss, S. K. & Staton, S., 1 Jun 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Reykjavik, Iceland: Institute of Electrical and Electronics Engineers (IEEE), p. 1-12 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2016

    Bayesian Inversion by Omega-Complete Cone Duality (Invited Paper)

    Dahlqvist, F., Danos, V., Garnier, I. & Kammar, O., 26 Aug 2016, 27th International Conference on Concurrency Theory (CONCUR 2016). Desharnais, J. & Jagadeesan, R. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 1:1-1:15 16 p. 1. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 59).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints

    Staton, S., Yang, H., Heunen, C., Kammar, O. & Wood, F., 5 Jul 2016, LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. New York, USA: ACM, p. 525-534 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2013

    Handlers in action

    Kammar, O., Lindley, S. & Oury, N., 2013, ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013. ACM, p. 145-158 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2012

    Algebraic foundations for effect-dependent optimisations

    Kammar, O. & Plotkin, G. D., 2012, Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY, USA: ACM, p. 349-360 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2011

    On the Statistical Thermodynamics of Reversible Communicating Processes

    Bacci, G., Danos, V. & Kammar, O., 2011, Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Corradini, A., Klin, B. & Cîrstea, C. (eds.). Springer Berlin Heidelberg, Vol. 6859. p. 1-18 18 p. (Lecture Notes in Computer Science; vol. 6859).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution