Our TR, Expected Bounds: Resource Analysis for Probabilistic Programs (with Quentin Carbonneaux, and Jan Hoffmann), is now available.
Hyperlexia
Research interests are in embedded safety-critical systems and embedded Linux, development and deploying ML models on embedded systems, programming languages, compilers, and language-based security using infrastructures LLVM, MLIR.