What I am currently measuring, what is written up, and where the open questions are. Interests below, then manuscripts and filings, then talks.
Runtime-programmable kernels, in-kernel verification, eBPF as a first-class kernel primitive.
WCET analysis, schedulability admission, bounded interrupt paths on constrained hardware.
Reproducible benchmarking, provenance-gated evidence, negative results in speculative paging.
Safety monitors between software and actuators, observability on devices that cannot crash.
On making a distributed filesystem viable for robots and edge devices under latency constraints.