Zhenyuan Ruan

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM

Modern GPUs evolve rapidly, yet production compilers still rely on hand-crafted register allocation heuristics that require substantial re-tuning for each hardware generation. We introduce VeriLocc, a framework that combines large language models (LLMs) with formal compiler techniques to enable gene