https://yotamdvir.github.io/ https://yotamdvir.github.io/categories/ https://yotamdvir.github.io/categories/article/ https://yotamdvir.github.io/categories/article/page/1/ https://yotamdvir.github.io/categories/competition/ https://yotamdvir.github.io/categories/competition/page/1/ https://yotamdvir.github.io/categories/conference/ https://yotamdvir.github.io/categories/conference/page/1/ https://yotamdvir.github.io/categories/journal/ https://yotamdvir.github.io/categories/journal/page/1/ https://yotamdvir.github.io/categories/poster/ https://yotamdvir.github.io/categories/poster/page/1/ https://yotamdvir.github.io/categories/publication/ https://yotamdvir.github.io/categories/publication/page/1/ https://yotamdvir.github.io/categories/visit/ https://yotamdvir.github.io/categories/visit/page/1/ https://yotamdvir.github.io/categories/workshop/ https://yotamdvir.github.io/categories/workshop/page/1/ https://yotamdvir.github.io/posts/ https://yotamdvir.github.io/posts/gen-rat/ 2023-10-19 https://yotamdvir.github.io/posts/page/1/ https://yotamdvir.github.io/research/ https://yotamdvir.github.io/research/aplas-22/ 2022-11-25 https://yotamdvir.github.io/research/esop-24/ 2024-04-11 https://yotamdvir.github.io/research/fossacs-25/ 2025-02-05 https://yotamdvir.github.io/research/galop-24/ 2024-01-14 https://yotamdvir.github.io/research/page/1/ https://yotamdvir.github.io/research/page/2/ https://yotamdvir.github.io/research/popl-src-24/ 2024-01-17 https://yotamdvir.github.io/research/tableaux-19/ 2019-09-03 https://yotamdvir.github.io/research/toplas-24/ 2024-09-27 https://yotamdvir.github.io/research/visit-tartu-25/ 2025-05-19 https://yotamdvir.github.io/tags/ https://yotamdvir.github.io/tags/algebraic-effects/ https://yotamdvir.github.io/tags/algebraic-effects/page/1/ https://yotamdvir.github.io/tags/concurrency/ https://yotamdvir.github.io/tags/concurrency/page/1/ https://yotamdvir.github.io/tags/denotational-semantics/ https://yotamdvir.github.io/tags/denotational-semantics/page/1/ https://yotamdvir.github.io/tags/induction/ https://yotamdvir.github.io/tags/induction/page/1/ https://yotamdvir.github.io/tags/knowledge-management/ https://yotamdvir.github.io/tags/knowledge-management/page/1/ https://yotamdvir.github.io/tags/logic/ https://yotamdvir.github.io/tags/logic/page/1/ https://yotamdvir.github.io/tags/mathematics/ https://yotamdvir.github.io/tags/mathematics/page/1/ https://yotamdvir.github.io/tags/paraconsistency/ https://yotamdvir.github.io/tags/paraconsistency/page/1/ https://yotamdvir.github.io/tags/weak-memory/ https://yotamdvir.github.io/tags/weak-memory/page/1/