Denotational Semantics

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
ACM Transactions on Programming Languages and Systems (TOPLAS) 46 (1), 2024.
Preprint Cite DOI
Denotational Semantics for Symbolic Execution
Proc. ICTAC 2023. LNCS 14446 Springer 2023.
Preprint Cite DOI Github Artifact
Symbolic Semantics for Probabilistic Programs
Proc. QEST 2023. LNCS 14287. Springer 2023.
Preprint Cite DOI Artifact