"program decomposition"

This paper makes a case for writing unrestricted eBPF network functions which then get automatically decomposed between kernel and user-space.