default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ohad Kammar
@article{DBLP:journals/pacmpl/QinOGHKS24,
author = {Xueying Qin and
Liam O'Connor and
Rob van Glabbeek and
Peter H{\"{o}}fner and
Ohad Kammar and
Michel Steuwer},
title = {Shoggoth: {A} Formal Foundation for Strategic Rewriting},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {61--89},
year = {2024},
url = {https://doi.org/10.1145/3633211},
doi = {10.1145/3633211},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/QinOGHKS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DvirKL24,
author = {Yotam Dvir and
Ohad Kammar and
Ori Lahav},
editor = {Stephanie Weirich},
title = {A Denotational Approach to Release/Acquire Concurrency},
booktitle = {Programming Languages and Systems - 33rd European Symposium on Programming,
{ESOP} 2024, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2024, Luxembourg City, Luxembourg,
April 6-11, 2024, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14577},
pages = {121--149},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57267-8\_5},
doi = {10.1007/978-3-031-57267-8\_5},
timestamp = {Sat, 08 Jun 2024 13:13:57 +0200},
biburl = {https://dblp.org/rec/conf/esop/DvirKL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-04480,
author = {Ohad Kammar and
Katarzyna Marek},
title = {Idris TyRE: a dependently typed regex parser},
journal = {CoRR},
volume = {abs/2305.04480},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.04480},
doi = {10.48550/ARXIV.2305.04480},
eprinttype = {arXiv},
eprint = {2305.04480},
timestamp = {Fri, 12 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-04480.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-15375,
author = {Guillaume Allais and
Edwin C. Brady and
Nathan Corbyn and
Ohad Kammar and
Jeremy Yallop},
title = {Frex: dependently-typed algebraic simplification},
journal = {CoRR},
volume = {abs/2306.15375},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.15375},
doi = {10.48550/ARXIV.2306.15375},
eprinttype = {arXiv},
eprint = {2306.15375},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-15375.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KammarKS22,
author = {Ohad Kammar and
Shin{-}ya Katsumata and
Philip Saville},
title = {Fully abstract models for effectful {\(\lambda\)}-calculi via category-theoretic
logical relations},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--28},
year = {2022},
url = {https://doi.org/10.1145/3498705},
doi = {10.1145/3498705},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/KammarKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/DvirKL22,
author = {Yotam Dvir and
Ohad Kammar and
Ori Lahav},
editor = {Ilya Sergey},
title = {An Algebraic Theory for Shared-State Concurrency},
booktitle = {Programming Languages and Systems - 20th Asian Symposium, {APLAS}
2022, Auckland, New Zealand, December 5, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13658},
pages = {3--24},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21037-2\_1},
doi = {10.1007/978-3-031-21037-2\_1},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/DvirKL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/0002KLP19,
author = {Yannick Forster and
Ohad Kammar and
Sam Lindley and
Matija Pretnar},
title = {On the expressive power of user-defined effects: Effect handlers,
monadic reflection, delimited control},
journal = {J. Funct. Program.},
volume = {29},
pages = {e15},
year = {2019},
url = {https://doi.org/10.1017/S0956796819000121},
doi = {10.1017/S0956796819000121},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/0002KLP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/VakarKS19,
author = {Matthijs V{\'{a}}k{\'{a}}r and
Ohad Kammar and
Sam Staton},
title = {A domain theory for statistical probabilistic programming},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {36:1--36:29},
year = {2019},
url = {https://doi.org/10.1145/3290349},
doi = {10.1145/3290349},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/VakarKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ScibiorKG18,
author = {Adam {\'{S}}cibior and
Ohad Kammar and
Zoubin Ghahramani},
title = {Functional programming for modular Bayesian inference},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{ICFP}},
pages = {83:1--83:29},
year = {2018},
url = {https://doi.org/10.1145/3236778},
doi = {10.1145/3236778},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ScibiorKG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/YallopGK18,
author = {Jeremy Yallop and
Tamara von Glehn and
Ohad Kammar},
title = {Partially-static data as free extension of algebras},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{ICFP}},
pages = {100:1--100:30},
year = {2018},
url = {https://doi.org/10.1145/3236795},
doi = {10.1145/3236795},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/YallopGK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ScibiorKVSYCOMH18,
author = {Adam {\'{S}}cibior and
Ohad Kammar and
Matthijs V{\'{a}}k{\'{a}}r and
Sam Staton and
Hongseok Yang and
Yufei Cai and
Klaus Ostermann and
Sean K. Moss and
Chris Heunen and
Zoubin Ghahramani},
title = {Denotational validation of higher-order Bayesian inference},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {60:1--60:29},
year = {2018},
url = {https://doi.org/10.1145/3158148},
doi = {10.1145/3158148},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ScibiorKVSYCOMH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KammarM18,
author = {Ohad Kammar and
Dylan McDermott},
editor = {Sam Staton},
title = {Factorisation Systems for Logical Relations and Monadic Lifting in
Type-and-effect System Semantics},
booktitle = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
Canada, June 6-9, 2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {341},
pages = {239--260},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.entcs.2018.11.012},
doi = {10.1016/J.ENTCS.2018.11.012},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/KammarM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-03460,
author = {Ohad Kammar and
Dylan McDermott},
title = {Factorisation systems for logical relations and monadic lifting in
type-and-effect system semantics},
journal = {CoRR},
volume = {abs/1804.03460},
year = {2018},
url = {http://arxiv.org/abs/1804.03460},
eprinttype = {arXiv},
eprint = {1804.03460},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-03460.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-04196,
author = {Matthijs V{\'{a}}k{\'{a}}r and
Ohad Kammar and
Sam Staton},
title = {A Domain Theory for Statistical Probabilistic Programming},
journal = {CoRR},
volume = {abs/1811.04196},
year = {2018},
url = {http://arxiv.org/abs/1811.04196},
eprinttype = {arXiv},
eprint = {1811.04196},
timestamp = {Fri, 23 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-04196.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/KammarP17,
author = {Ohad Kammar and
Matija Pretnar},
title = {No value restriction is needed for algebraic effects and handlers},
journal = {J. Funct. Program.},
volume = {27},
pages = {e7},
year = {2017},
url = {https://doi.org/10.1017/S0956796816000320},
doi = {10.1017/S0956796816000320},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/KammarP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/0002KLP17,
author = {Yannick Forster and
Ohad Kammar and
Sam Lindley and
Matija Pretnar},
title = {On the expressive power of user-defined effects: effect handlers,
monadic reflection, delimited control},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{ICFP}},
pages = {13:1--13:29},
year = {2017},
url = {https://doi.org/10.1145/3110257},
doi = {10.1145/3110257},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/0002KLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HeunenKSY17,
author = {Chris Heunen and
Ohad Kammar and
Sam Staton and
Hongseok Yang},
title = {A convenient category for higher-order probability theory},
booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2017, Reykjavik, Iceland, June 20-23, 2017},
pages = {1--12},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/LICS.2017.8005137},
doi = {10.1109/LICS.2017.8005137},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HeunenKSY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KammarLMS17,
author = {Ohad Kammar and
Paul Blain Levy and
Sean K. Moss and
Sam Staton},
title = {A monad for full ground reference cells},
booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2017, Reykjavik, Iceland, June 20-23, 2017},
pages = {1--12},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/LICS.2017.8005109},
doi = {10.1109/LICS.2017.8005109},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KammarLMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HeunenKSY17,
author = {Chris Heunen and
Ohad Kammar and
Sam Staton and
Hongseok Yang},
title = {A Convenient Category for Higher-Order Probability Theory},
journal = {CoRR},
volume = {abs/1701.02547},
year = {2017},
url = {http://arxiv.org/abs/1701.02547},
eprinttype = {arXiv},
eprint = {1701.02547},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HeunenKSY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KammarLMS17,
author = {Ohad Kammar and
Paul Blain Levy and
Sean K. Moss and
Sam Staton},
title = {A monad for full ground reference cells},
journal = {CoRR},
volume = {abs/1702.04908},
year = {2017},
url = {http://arxiv.org/abs/1702.04908},
eprinttype = {arXiv},
eprint = {1702.04908},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KammarLMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KammarM17,
author = {Ohad Kammar and
Dylan McDermott},
title = {A monadic solution to the Cartwright-Felleisen-Wadler conjecture},
journal = {CoRR},
volume = {abs/1707.06685},
year = {2017},
url = {http://arxiv.org/abs/1707.06685},
eprinttype = {arXiv},
eprint = {1707.06685},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KammarM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-03219,
author = {Adam {\'{S}}cibior and
Ohad Kammar and
Matthijs V{\'{a}}k{\'{a}}r and
Sam Staton and
Hongseok Yang and
Yufei Cai and
Klaus Ostermann and
Sean K. Moss and
Chris Heunen and
Zoubin Ghahramani},
title = {Denotational validation of higher-order Bayesian inference},
journal = {CoRR},
volume = {abs/1711.03219},
year = {2017},
url = {http://arxiv.org/abs/1711.03219},
eprinttype = {arXiv},
eprint = {1711.03219},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-03219.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DahlqvistDGK16,
author = {Fredrik Dahlqvist and
Vincent Danos and
Ilias Garnier and
Ohad Kammar},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Bayesian Inversion by {\(\omega\)}-Complete Cone Duality},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {1:1--1:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.1},
doi = {10.4230/LIPICS.CONCUR.2016.1},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/DahlqvistDGK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/StatonYWHK16,
author = {Sam Staton and
Hongseok Yang and
Frank D. Wood and
Chris Heunen and
Ohad Kammar},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Semantics for probabilistic programming: higher-order functions, continuous
distributions, and soft constraints},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {525--534},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935313},
doi = {10.1145/2933575.2935313},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/StatonYWHK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/StatonYHKW16,
author = {Sam Staton and
Hongseok Yang and
Chris Heunen and
Ohad Kammar and
Frank D. Wood},
title = {Semantics for probabilistic programming: higher-order functions, continuous
distributions, and soft constraints},
journal = {CoRR},
volume = {abs/1601.04943},
year = {2016},
url = {http://arxiv.org/abs/1601.04943},
eprinttype = {arXiv},
eprint = {1601.04943},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/StatonYHKW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KammarP16,
author = {Ohad Kammar and
Matija Pretnar},
title = {No value restriction is needed for algebraic effects and handlers},
journal = {CoRR},
volume = {abs/1605.06938},
year = {2016},
url = {http://arxiv.org/abs/1605.06938},
eprinttype = {arXiv},
eprint = {1605.06938},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KammarP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ForsterKLP16,
author = {Yannick Forster and
Ohad Kammar and
Sam Lindley and
Matija Pretnar},
title = {On the Expressive Power of User-Defined Effects: Effect Handlers,
Monadic Reflection, Delimited Control},
journal = {CoRR},
volume = {abs/1610.09161},
year = {2016},
url = {http://arxiv.org/abs/1610.09161},
eprinttype = {arXiv},
eprint = {1610.09161},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ForsterKLP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Kammar15,
author = {Ohad Kammar},
title = {An absolute characterisation of locally determined omega-colimits},
journal = {CoRR},
volume = {abs/1508.05072},
year = {2015},
url = {http://arxiv.org/abs/1508.05072},
eprinttype = {arXiv},
eprint = {1508.05072},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Kammar15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Kammar14,
author = {Ohad Kammar},
title = {Algebraic theory of type-and-effect systems},
school = {University of Edinburgh, {UK}},
year = {2014},
url = {https://hdl.handle.net/1842/8910},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Kammar14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KammarLO13,
author = {Ohad Kammar and
Sam Lindley and
Nicolas Oury},
editor = {Greg Morrisett and
Tarmo Uustalu},
title = {Handlers in action},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
pages = {145--158},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2500365.2500590},
doi = {10.1145/2500365.2500590},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/KammarLO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KammarP12,
author = {Ohad Kammar and
Gordon D. Plotkin},
editor = {John Field and
Michael Hicks},
title = {Algebraic foundations for effect-dependent optimisations},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {349--360},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103656.2103698},
doi = {10.1145/2103656.2103698},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/KammarP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BacciDK11,
author = {Giorgio Bacci and
Vincent Danos and
Ohad Kammar},
editor = {Andrea Corradini and
Bartek Klin and
Corina C{\^{\i}}rstea},
title = {On the Statistical Thermodynamics of Reversible Communicating Processes},
booktitle = {Algebra and Coalgebra in Computer Science - 4th International Conference,
{CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6859},
pages = {1--18},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22944-2\_1},
doi = {10.1007/978-3-642-22944-2\_1},
timestamp = {Fri, 09 Apr 2021 18:48:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BacciDK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-10 20:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
