TY  - RPRT
TI  - BeePL: Correct-by-compilation kernel extensions
AU  - Swarn Priya
AU  - Frédéric Besson
AU  - Connor Sughrue
AU  - Tim Steenvoorden
AU  - Jamie Fulford
AU  - Freek Verbeek
AU  - Binoy Ravindran
PY  - 2025
UR  - https://arxiv.org/abs/2507.09883
ID  - 2507.09883
ER  -