SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification

Documenti analoghi

• Verifier-Guided Code Translation via Meta-Step Decoding
  di: Zhou, Tianyang, et al.
  Pubblicazione: (2026)
• Translating Large-Scale C Repositories to Idiomatic Rust
  di: Dehghan, Saman, et al.
  Pubblicazione: (2025)
• Auto-SPT: Automating Semantic Preserving Transformations for Code
  di: Hooda, Ashish, et al.
  Pubblicazione: (2025)
• Do Large Code Models Understand Programming Concepts? Counterfactual Analysis for Code Predicates
  di: Hooda, Ashish, et al.
  Pubblicazione: (2024)
• C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM
  di: Yan, Yanyan, et al.
  Pubblicazione: (2026)