https://akhirsch.science/ https://akhirsch.science/area/ https://akhirsch.science/area/authorization-logic/ https://akhirsch.science/area/concurrency/ https://akhirsch.science/area/effects/ https://akhirsch.science/area/ifc/ https://akhirsch.science/awards/ https://akhirsch.science/awards/distinguished-paper-award/ https://akhirsch.science/papers/ https://akhirsch.science/papers/alice-or-bob/ 2024-01-23 https://akhirsch.science/papers/belief-semantics/ 2013-11-04 https://akhirsch.science/papers/choreographic-quick-changes/ 2025-06-18 https://akhirsch.science/papers/choreographies-as-macros/ 2025-05-27 https://akhirsch.science/papers/compositional-security-definitions-where-declassification/ 2023-04-06 https://akhirsch.science/papers/flafol/ 2020-08-04 https://akhirsch.science/papers/pc-label-semantics/ 2021-01-04 https://akhirsch.science/papers/pirouette/ 2022-01-12 https://akhirsch.science/papers/semantics-for-noninterference-with-itrees/ 2023-07-11 https://akhirsch.science/papers/strict-and-lazy-effects/ 2018-07-30 https://akhirsch.science/posts/ https://akhirsch.science/projects/ https://akhirsch.science/projects/choret/ 2025-06-04 https://akhirsch.science/projects/open-choreographies/ 2025-06-04 https://akhirsch.science/projects/pirouette-compiler/ 2025-06-04 https://akhirsch.science/research-projects/ https://akhirsch.science/research-projects/choret/ https://akhirsch.science/research-projects/pircomp/ https://akhirsch.science/students/ https://akhirsch.science/teaching/ https://akhirsch.science/teaching/cse413-sp26/ 2026-01-21