Code Quality Analysis of Translations from C to Rust
Fuente:
arXiv
Salvato in:
| Autori principali: | Tadesse, Biruk, Nitin, Vikram, Salah, Mazin, Ray, Baishakhi, d'Amorim, Marcelo, Assunção, Wesley |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
di: Nitin, Vikram, et al.
Pubblicazione: (2025)
di: Nitin, Vikram, et al.
Pubblicazione: (2025)
SpecTra: Enhancing the Code Translation Ability of Language Models by Generating Multi-Modal Specifications
di: Nitin, Vikram, et al.
Pubblicazione: (2024)
di: Nitin, Vikram, et al.
Pubblicazione: (2024)
Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language
di: Nitin, Vikram, et al.
Pubblicazione: (2023)
di: Nitin, Vikram, et al.
Pubblicazione: (2023)
FaultLine: Automated Proof-of-Vulnerability Generation Using LLM Agents
di: Nitin, Vikram, et al.
Pubblicazione: (2025)
di: Nitin, Vikram, et al.
Pubblicazione: (2025)
Bug Histories as Sources of Compiler Fuzzing Mutators
di: Liu, Lingjun, et al.
Pubblicazione: (2025)
di: Liu, Lingjun, et al.
Pubblicazione: (2025)
A Case Study of LLM for Automated Vulnerability Repair: Assessing Impact of Reasoning and Patch Validation Feedback
di: Kulsum, Ummay, et al.
Pubblicazione: (2024)
di: Kulsum, Ummay, et al.
Pubblicazione: (2024)
Configuration Defects in Kubernetes
di: Zhang, Yue, et al.
Pubblicazione: (2025)
di: Zhang, Yue, et al.
Pubblicazione: (2025)
Just another copy and paste? Comparing the security vulnerabilities of ChatGPT generated code and StackOverflow answers
di: Hamer, Sivana, et al.
Pubblicazione: (2024)
di: Hamer, Sivana, et al.
Pubblicazione: (2024)
XMutant: XAI-based Fuzzing for Deep Learning Systems
di: Chen, Xingcheng, et al.
Pubblicazione: (2025)
di: Chen, Xingcheng, et al.
Pubblicazione: (2025)
Misbehavior Forecasting for Focused Autonomous Driving Systems Testing
di: Naziri, M M Abid, et al.
Pubblicazione: (2025)
di: Naziri, M M Abid, et al.
Pubblicazione: (2025)
Testing Deep Learning Libraries via Neurosymbolic Constraint Learning
di: Naziri, M M Abid, et al.
Pubblicazione: (2026)
di: Naziri, M M Abid, et al.
Pubblicazione: (2026)
Improving Deep Learning Library Testing with Machine Learning
di: Molina, Facundo, et al.
Pubblicazione: (2026)
di: Molina, Facundo, et al.
Pubblicazione: (2026)
Evaluating the Effectiveness of Coverage-Guided Fuzzing for Testing Deep Learning Library APIs
di: Qin, Feiran, et al.
Pubblicazione: (2025)
di: Qin, Feiran, et al.
Pubblicazione: (2025)
Beyond Resolution Rates: Behavioral Drivers of Coding Agent Success and Failure
di: Mehtiyev, Tural, et al.
Pubblicazione: (2026)
di: Mehtiyev, Tural, et al.
Pubblicazione: (2026)
RustRepoTrans: Repository-level Code Translation Benchmark Targeting Rust
di: Ou, Guangsheng, et al.
Pubblicazione: (2024)
di: Ou, Guangsheng, et al.
Pubblicazione: (2024)
A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation
di: Shen, Zhuohang, et al.
Pubblicazione: (2025)
di: Shen, Zhuohang, et al.
Pubblicazione: (2025)
C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM
di: Yan, Yanyan, et al.
Pubblicazione: (2026)
di: Yan, Yanyan, et al.
Pubblicazione: (2026)
Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
di: Eniser, Hasan Ferit, et al.
Pubblicazione: (2024)
di: Eniser, Hasan Ferit, et al.
Pubblicazione: (2024)
Agentic LMs: Hunting Down Test Smells
di: Melo, Rian, et al.
Pubblicazione: (2025)
di: Melo, Rian, et al.
Pubblicazione: (2025)
The Effects of Computational Resources on Flaky Tests
di: Silva, Denini, et al.
Pubblicazione: (2023)
di: Silva, Denini, et al.
Pubblicazione: (2023)
To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions
di: Hong, Jaemin, et al.
Pubblicazione: (2024)
di: Hong, Jaemin, et al.
Pubblicazione: (2024)
Integrating Rules and Semantics for LLM-Based C-to-Rust Translation
di: Luo, Feng, et al.
Pubblicazione: (2025)
di: Luo, Feng, et al.
Pubblicazione: (2025)
Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis
di: Hong, Jaemin, et al.
Pubblicazione: (2025)
di: Hong, Jaemin, et al.
Pubblicazione: (2025)
SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence
di: Shiraishi, Momoko, et al.
Pubblicazione: (2024)
di: Shiraishi, Momoko, et al.
Pubblicazione: (2024)
CYCLE: Learning to Self-Refine the Code Generation
di: Ding, Yangruibo, et al.
Pubblicazione: (2024)
di: Ding, Yangruibo, et al.
Pubblicazione: (2024)
Dynamic Benchmarking of Reasoning Capabilities in Code Large Language Models Under Data Contamination
di: Chen, Simin, et al.
Pubblicazione: (2025)
di: Chen, Simin, et al.
Pubblicazione: (2025)
CodeAssistBench (CAB): Dataset & Benchmarking for Multi-turn Chat-Based Code Assistance
di: Kim, Myeongsoo, et al.
Pubblicazione: (2025)
di: Kim, Myeongsoo, et al.
Pubblicazione: (2025)
Dependency-Guided Repository-Level C-to-Rust Translation with Reinforcement Alignment
di: Feng, Jia, et al.
Pubblicazione: (2026)
di: Feng, Jia, et al.
Pubblicazione: (2026)
Secure or Suspect? Investigating Package Hallucinations of Shell Command in Original and Quantized LLMs
di: Haque, Md Nazmul, et al.
Pubblicazione: (2025)
di: Haque, Md Nazmul, et al.
Pubblicazione: (2025)
EvoC2Rust: A Skeleton-guided Framework for Project-Level C-to-Rust Translation
di: Wang, Chaofan, et al.
Pubblicazione: (2025)
di: Wang, Chaofan, et al.
Pubblicazione: (2025)
RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM
di: Cai, Xuemeng, et al.
Pubblicazione: (2025)
di: Cai, Xuemeng, et al.
Pubblicazione: (2025)
Test Code Review in the Era of GitHub Actions: A Replication Study
di: Sun, Hui, et al.
Pubblicazione: (2026)
di: Sun, Hui, et al.
Pubblicazione: (2026)
MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language
di: Molz, Marius, et al.
Pubblicazione: (2026)
di: Molz, Marius, et al.
Pubblicazione: (2026)
Translating Large-Scale C Repositories to Idiomatic Rust
di: Dehghan, Saman, et al.
Pubblicazione: (2025)
di: Dehghan, Saman, et al.
Pubblicazione: (2025)
Is LLM-Generated Code More Maintainable \& Reliable than Human-Written Code?
di: Molison, Alfred Santa, et al.
Pubblicazione: (2025)
di: Molison, Alfred Santa, et al.
Pubblicazione: (2025)
Trustworthy AI Software Engineers
di: Aleti, Aldeida, et al.
Pubblicazione: (2026)
di: Aleti, Aldeida, et al.
Pubblicazione: (2026)
Red Teaming Program Repair Agents: When Correct Patches can Hide Vulnerabilities
di: Chen, Simin, et al.
Pubblicazione: (2025)
di: Chen, Simin, et al.
Pubblicazione: (2025)
RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
di: Bai, Yubo, et al.
Pubblicazione: (2025)
di: Bai, Yubo, et al.
Pubblicazione: (2025)
Automated Code Editing with Search-Generate-Modify
di: Liu, Changshu, et al.
Pubblicazione: (2023)
di: Liu, Changshu, et al.
Pubblicazione: (2023)
Build-Aware Incremental C-to-Rust Migration via Skeleton-First Translation and Historical Knowledge Reuse
di: Wang, Shengbo, et al.
Pubblicazione: (2026)
di: Wang, Shengbo, et al.
Pubblicazione: (2026)
Documenti analoghi
-
C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
di: Nitin, Vikram, et al.
Pubblicazione: (2025) -
SpecTra: Enhancing the Code Translation Ability of Language Models by Generating Multi-Modal Specifications
di: Nitin, Vikram, et al.
Pubblicazione: (2024) -
Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language
di: Nitin, Vikram, et al.
Pubblicazione: (2023) -
FaultLine: Automated Proof-of-Vulnerability Generation Using LLM Agents
di: Nitin, Vikram, et al.
Pubblicazione: (2025) -
Bug Histories as Sources of Compiler Fuzzing Mutators
di: Liu, Lingjun, et al.
Pubblicazione: (2025)