HELIX: Verified compilation of cyber-physical control systems to LLVM IR. - Vadim Zaliva; Yannick Zakowski; Ilia Zaichuk; Valerii Huhnin; Calvin Beck; Irene Yoon 001; Steve Zdancewic (CoRR, 2026)