Semantics

Correct and Complete Symbolic Execution for Free
Proc. IFM 2024. LNCS 15234. Springer 2025.
Preprint Cite DOI
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
Compositional Correctness and Completeness for Symbolic Partial Order Reduction
Proc. CONCUR 2023. LIPIcs 2023.
Preprint Cite DOI Github Artifact
Symbolic Semantics for Probabilistic Programs
Proc. QEST 2023. LNCS 14287. Springer 2023.
Preprint Cite DOI Artifact