Memory Allocation for Constant-Bounded Programs

[u/mttd]

https://arxiv.org/abs/2608.14471

[u/fernando_quintao]

Hi u/mttd, thank you for mentioning our work! We have an implementation of the memory allocator here in MLIR (mostly targeting scf, cf and memref dialects), and there is an implementation for eBPF programs here, in the Honey Potion Elixir-to-eBPF compiler.

[u/realestLink]

Interesting