Research output per year
Research output per year
Fingerprint
Dive into the research topics where Ohad Kammar is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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 proceeding › Conference contribution
Open AccessFile -
Shoggoth: A Formal Foundation for Strategic Rewriting
Qin, X., O’Connor, L., van Glabbeek, R., Höfner, P., Kammar, O. & Steuwer, M., 5 Jan 2024, In: Proceedings of the ACM on Programming Languages. 8, POPL, p. 61-89 29 p., 3.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Artifact for Shoggoth: A formal foundation for strategic rewriting
Qin, X. (Developer), O'Connor, L. (Developer), van Glabbeek, R. (Developer), Höfner, P. (Developer), Kammar, O. (Developer) & Steuwer, M. (Developer), 14 Nov 2023Research output: Non-textual form › Software
Open Access -
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, p. 2-24 22 p. (Lecture Notes in Computer Science; vol. 13658).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Fully abstract models for effectful λ-calculi via category-theoretic logical relations
Kammar, O., Katsumata, S. Y. & Saville, P., 11 Jan 2022, In: Proceedings of the ACM on Programming Languages. 6, POPL, 28 p., 44.Research output: Contribution to journal › Article › peer-review
Open AccessFile
-
Qbs4Safety: Core Representation Underlying Safeguarded AI
Kammar, O. (Principal Investigator)
Advanced Research and Invention Agency
15/10/24 → 14/10/25
Project: Research
-
Foundations for type-driven data-science (renewal)
Kammar, O. (Principal Investigator)
1/01/24 → 31/12/26
Project: Research
-
Improved Semantics for Dependently Typed Pattern Matching
Kammar, O. (Principal Investigator)
1/01/23 → 31/12/24
Project: Research
-
Improved Semantics for Dependently Typed Pattern Matching
Kammar, O. (Principal Investigator)
1/01/23 → 31/12/24
Project: Research
-
Effectful theories of programming languages: mathematically structured programming
Kammar, O. (Principal Investigator)
1/12/21 → 31/12/23
Project: Research