TY - RPRT TI - VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM AU - Lesheng Jin AU - Zhenyuan Ruan AU - Haohui Mai AU - Jingbo Shang PY - 2025 UR - https://arxiv.org/abs/2506.17506 ID - 2506.17506 ER -