Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps. - Yalong Du; Chaozheng Wang; Huaijin Wang 001 (CoRR, 2025)