home
publications
projects
resume
HELIX: Verified compilation of cyber-physical control systems to LLVM IR
Preprint, 2026. Manuscript under review.
[
arXiv
]
pdf