What I am currently measuring, what is written up, and where the open questions are. Interests below, then papers, manuscripts and filings, then service and talks.
Two papers on safe runtime evolution of embodied agents accepted at AgenticOS and CL4FMAgents @ NeurIPS 2026. Served as a reviewer for CL4FMAgents.
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.
Safe runtime evolution of embodied agents: transactional controller publication, versioned authority, safe behavior replacement. Safety monitors between software and actuators.
Reviewed research on continual learning in foundation models and embodied agents.
On making a distributed filesystem viable for robots and edge devices under latency constraints.