Ohad's Research - Home
Ohad Kammar
Office 331 Department of Computer Science University of Oxford Wolfson Building Parks Road Oxford OX1 3QD Tel: +44 (0)1365 (2) 73618 Post: first name . family name @cs.ox.ac.uk
To schedule an appointment, consult my calendar .
Current project
I am currently working with Sam Staton on quantum computation as a programming language thanks to the Engineering and Physical Sciences Research Council and the Royal Society .
I am also involved with Ehud Lamm ’s Conceptual Biology Lab .
Research interests
Applied mathematics
Category theory
Logic
Ordinal notation systems
Universal algebra
Programming language theory
Semantics, in particular denotational semantics
Expressivity
Polymorphism
Computational effects
Effect type systems
Effect handlers
Delimited control
Monadic reflection
Probabilistic programming
Semantics
Structuring generative models
Variational inference and kernel methods
Concurrency
Event structures
Relaxed behaviour
Access control
Staging and metaprogramming
Conceptual biology
Coevolution
Drift
The Baldwin effect
Publications and preprints (abstracts )
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control , Preprint.
Yannick Forster, Ohad Kammar, Sam Lindley, and Matija Pretnar. 2017. Preprint, arXiv:1610.09161 .
A monad for full ground reference cells , Preprint.
Ohad Kammar, Paul Blain Levy, Sean Keith Moss, Sam Staton. 2017. Preprint, arXiv:1702.04908 .
A convenient category for higher-order probability theory , Preprint.
Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang. 2017. Preprint, arXiv:1701.02547 .
No value restriction is needed for algebraic effects and handlers , JFP , based on this Twelf formalisation .
Ohad Kammar and Matija Pretnar. 2017. Journal of Functional Programming Volume 27. Cambridge University Press, DOI: 10.1017/S0956796816000320 .
Bayesian inversion by omega-complete cone duality , CONCUR’16 , invited paper.
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, and Ohad Kammar. 2016. 27th International Conference on Concurrency Theory, Josée Desharnais and Radha Jagadeesan (Eds.), ISBN 978-3-95977-017-0, LIPICS Vol. 59.
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints , LICS’16 .
Sam Staton, Hongseok Yang, Chris Heunen, Ohad Kammar, and Frank Wood. 2016. Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science Pages 525-534, arXiv:1601.04943 , DOI: 10.1145/2933575.2935313 .
An absolute characterisation of locally determined omega-colimits , Preprint, Proposal accepted to Domains XI.
Ohad Kammar. 2014. Domains XI 2014 Workshop, arXiv:1508.05072 .
Inferring Co-Evolution , Philosophy of Science .
Ehud Lammar and Ohad Kammar. 2014. Philosophy of Science Vol. 81, No. 4 (October), pp. 592-611. Published by: The University of Chicago Press on behalf of the Philosophy of Science Association, DOI: 10.1086/678045 .
An algebraic theory of type-and-effect systems , Ph.D. thesis .
Ohad Kammar. 2014. Ph.D. thesis , Laboratory for Foundations of Computer Science, University of Edinburgh, UK.
Handlers in Action , ICFP’13 .
Ohad Kammar, Sam Lindley, and Nicolas Oury. 2013. Proceedings of the 18th ACM SIGPLAN international conference on Functional programming Pages 145-158, ISBN 978-1-4503-2326-0, DOI: 10.1145/2544174.2500590 .
Algebraic Foundations for Effect-Dependent Optimisations , POPL’12 .
Ohad Kammar and Gordon D. Plotkin. 2012. Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages Pages 349-360, ISBN: 978-1-4503-1083-3, DOI: 10.1145/2103656.2103698 .
On the statistical thermodynamics of reversible communicating processes , CALCO’11 , invited paper.
Giorgio Bacci, Vincent Danos and Ohad Kammar. 2011. Algebra and Coalgebra in Computer Science. Corradini A., Klin B., Cîrstea C. (Eds.). Lecture Notes in Computer Science, vol 6859. Springer, Berlin, Heidelberg, DOI: 10.1007/978-3-642-22944-2_1 .
Past projects
A monad for full ground reference cells , Oxford Advanced Seminar on Informatic Structures (OASIS) , Foundations Logic and Structures theme , University of Oxford Department of Computer Science , 10 March, 2017.
A monad for full ground reference cells , Logic and Semantics Seminar , Programming, Logic, and Semantics Group , University of Cambridge Computer Laboratory , 17 February, 2017.
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control without answer-type-modification, LSD Seminar, Programming, Logic, and Semantics Group , University of Cambridge Computer Laboratory , 17 February, 2017.
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control without answer-type-modification, Mathematically Structured Programming Group , University of Strathclyde Computer and Information Sciences Department , 06 February, 2017.
A monad for full ground reference cells , LFCS Seminar , Laboratory for foundations of Computer Science , University of Edinburgh School of Informatics , 31 January, 2017.
On the Expressive Power of Algebraic Effects and Handlers , 4th South of England Regional Programming Language Seminar (S-REPLS4 ), Imperial College London , 27 September, 2016.
Functional models of full ground, and general, reference cells (video ), HOPE’16 Workshop, 18 September, 2016.
No value restriction is needed for algebraic effects and handlers , Syntax and Semantics of Low-Level Languages (LOLA’16 ), 10 July, 2016.
No value restriction is needed for algebraic effects and handlers , Seminaire Gallium , INRIA Paris Rocquencourt , France., 17 June, 2016.
No value restriction is needed for algebraic effects and handlers, ANTIQUE seminar, École normale supérieure , Paris, France., 16 June, 2016.
No value restriction is needed for algebraic effects and handlers, 22nd International Conference on Types for Proofs and Programs (TYPES 2016 ), 26 May, 2016.
No value restriction is needed for algebraic effects and handlers, Logic and Semantics group seminar, Department of Computer Science , University of Aarhus , Denmark., 21 March, 2016.
No value restriction is needed for algebraic effects and handlers, Schloss Dagstuhl Seminar ‘From theory to practice of algebraic effects and handlers’, 18 March, 2016.
A denotational semantics for Hindley-Milner Polymorphism , 4th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE’15 ), 30 August, 2015.
A syllabus for algebraic effects (invited tutorial) , Mathematical Foundations of Programming Semantics XXXI (MFPS’15 ), 25 June, 2015.
A universal characterisation of locally determined omega-colimits , Domains XI Workshop, 09 September, 2014.
Graphical algebraic foundations for monad stacks , 3rd ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE’14) , 31 August, 2014.
Graphical algebraic foundations for monad stacks, Electronic and Software Systems seminar, University of Southhampton , 30 July, 2014.
Graphical algebraic foundations for monad stacks, University of Edinburgh LFCS PLInG , 02 June, 2014.
Graphical algebraic foundations for monad stacks, University of Strathclyde MSP 101 seminar series , 28 May, 2014.
An algebraic theory of type and effect systems, University of Cambridge Computer Laboratory Logic and Semantics Seminar , 13 December, 2013.
An algebraic theory of type and effect systems, MIT Programming Languages Seminar , 30 September, 2013.
A general theory of type-and-effect systems via universal algebra , Journées d’Informatique Fondamentale de Paris Diderot , 25 April, 2013.
An introduction to Programming Language Semantics , 1st join category theory and computer science seminar, University of Cambridge, 18 November, 2012.
Handlers in Action , 1st ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE’12) , 09 September, 2012.
Handlers in Action , Scottish Programming Lanugage Seminar (SPLS) , 15 March, 2012.
Algebraic Foundations for Effect-Dependent Optimisations , Principles of Programing Seminar (POP) , 30 January, 2012.
Algebraic Foundations for Effect-Dependent Optimisations , 39th Symposium on Principles of Programming Languages (POPL’12) , 26 January, 2012.
Algebraic Foundations for Effect-Dependent Optimisations , Functional Programming Lab Seminar , 11 January, 2012.
Programming Language Semantics: {Ret | Int | P}rospective Discussion , LFCS Lab Lunch , 20 September, 2011.
Algebraic Foundations for Type and Effect Analysis , European Workshop on Computational Effects , 18 March, 2011.
Take Action for Your State! , joint Scottish Programming Lanugage Seminar (SPLS) and Fun in the Afternoon , 24 November, 2010.
A well kept secret… , LFCS Lab Lunch , 19 January, 2010.
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control , Preprint.
Yannick Forster, Ohad Kammar, Sam Lindley, and Matija Pretnar. 2017. Preprint, arXiv:1610.09161 .
A monad for full ground reference cells , Preprint.
Ohad Kammar, Paul Blain Levy, Sean Keith Moss, Sam Staton. 2017. Preprint, arXiv:1702.04908 .
A convenient category for higher-order probability theory , Preprint.
Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang. 2017. Preprint, arXiv:1701.02547 .
An absolute characterisation of locally determined omega-colimits , Preprint, Proposal accepted to Domains XI.
Ohad Kammar. 2014. Domains XI 2014 Workshop, arXiv:1508.05072 .
Algebraic Aproaches to Semantics , Research Proposal, 24 February, 2010.
Upcoming gigs
Visiting nowhere currently, feel free to invite me over, 12 October, 1984 to 12 October, 2104.
2017
2016
2015 - current
2014
2013
2011
© 2016 University of Oxford Department of Computer Science