Tag
该论文研究了 c2rust 自动 C 到 Rust 翻译中的性能回退问题，分析出九类常见性能问题，并提出基于 LLM 规则引导的 PerfR 方法，在多个项目上恢复甚至超越原始 C 性能。
LWN 报道了 Eurydice 项目——一个将 Rust 代码编译为结构清晰、可读的 C 代码的编译器工具，面向高可靠性软件验证场景，已用于后量子密码学例程的编译，由 Inria 与 Microsoft 团队维护的 Aeneas 项目的一部分。