TY  - RPRT
TI  - Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
AU  - Caleb Helbling
AU  - Graham Leach-Krouse
AU  - Michael Crystal
PY  - 2026
UR  - https://arxiv.org/abs/2605.12731
ID  - 2605.12731
ER  -