TY  - RPRT
TI  - HELIX: Verified compilation of cyber-physical control systems to LLVM IR
AU  - Vadim Zaliva
AU  - Yannick Zakowski
AU  - Ilia Zaichuk
AU  - Valerii Huhnin
AU  - Calvin Beck
AU  - Irene Yoon
AU  - Steve Zdancewic
PY  - 2026
UR  - https://arxiv.org/abs/2604.18593
ID  - 2604.18593
ER  -