Our TR, Expected Bounds: Resource Analysis for Probabilistic Programs (with Quentin Carbonneaux, and Jan Hoffmann), is now available.
Hyperlexia
Embedded real-time safety-critical SW, embedded Linux, OS kernel and hypervisor development, deploying ML models on embedded systems, programming languages and compilers development with LLVM, MLIR.