Staged Specification Logic for Verifying Higher-Order Imperative Programs
Specification and Verification for Unrestricted Algebraic Effects and Handling
Automated Temporal Verification for Algebraic Effects
Tracing OCaml Programs
Automating Continuous Planning in SAFe
The Dynamics of Software Composition Analysis
SGL: A DSL for large-scale analysis of open-source code