Skip to main content
Darius Foo
dblp, Google Scholar
Staged Specification Logic for Verifying Higher-Order Imperative Programs
FM 2024
[ pdf | code | slides | transcript | slides | proofs ]
Specification and Verification for Unrestricted Algebraic Effects and Handling
ICFP 2024
[ pdf | code | video | slides ]
Protocol Conformance with Choreographic PlusCal
TASE 2023
[ pdf | code | slides ]
Automated Temporal Verification for Algebraic Effects
APLAS 2022
[ pdf | code | video | slides ]
Tracing OCaml Programs
OCaml 2022
[ pdf | code | video | slides ]
Automating Continuous Planning in SAFe
RCoSE 2020
[ pdf | code | slides ]
The Dynamics of Software Composition Analysis
ASE LBR 2019
[ pdf | poster ]
Efficient Static Checking of Library Updates
FSE 2018
[ pdf | slides ]
SGL: A DSL for large-scale analysis of open-source code
SecDev 2018
[ pdf | slides ]
Higher-Order Debugging and Logging for OCaml
Undergraduate dissertation (2016)
[ pdf | code | slides ]