To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions
Fuente:
arXiv
Saved in:
| Main Authors: | Hong, Jaemin, Ryu, Sukyoung |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis
by: Hong, Jaemin, et al.
Published: (2025)
by: Hong, Jaemin, et al.
Published: (2025)
PTM4Tag+: Tag Recommendation of Stack Overflow Posts with Pre-trained Models
by: He, Junda, et al.
Published: (2024)
by: He, Junda, et al.
Published: (2024)
TagDebt: A Bot to Support Technical Debt Management
by: Biazotto, João Paulo, et al.
Published: (2026)
by: Biazotto, João Paulo, et al.
Published: (2026)
COFO: COdeFOrces dataset for Program Classification, Recognition and Tagging
by: Gautam, Kuldeep, et al.
Published: (2025)
by: Gautam, Kuldeep, et al.
Published: (2025)
FeClustRE: Hierarchical Clustering and Semantic Tagging of App Features from User Reviews
by: Tiessler, Max, et al.
Published: (2025)
by: Tiessler, Max, et al.
Published: (2025)
Scalable Time-Tagged Data Acquisition for Entanglement Distribution in Quantum Networks
by: Amlou, Abderrahim, et al.
Published: (2025)
by: Amlou, Abderrahim, et al.
Published: (2025)
Code Quality Analysis of Translations from C to Rust
by: Tadesse, Biruk, et al.
Published: (2026)
by: Tadesse, Biruk, et al.
Published: (2026)
C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM
by: Yan, Yanyan, et al.
Published: (2026)
by: Yan, Yanyan, et al.
Published: (2026)
Integrating Rules and Semantics for LLM-Based C-to-Rust Translation
by: Luo, Feng, et al.
Published: (2025)
by: Luo, Feng, et al.
Published: (2025)
SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence
by: Shiraishi, Momoko, et al.
Published: (2024)
by: Shiraishi, Momoko, et al.
Published: (2024)
RustRepoTrans: Repository-level Code Translation Benchmark Targeting Rust
by: Ou, Guangsheng, et al.
Published: (2024)
by: Ou, Guangsheng, et al.
Published: (2024)
Dependency-Guided Repository-Level C-to-Rust Translation with Reinforcement Alignment
by: Feng, Jia, et al.
Published: (2026)
by: Feng, Jia, et al.
Published: (2026)
EvoC2Rust: A Skeleton-guided Framework for Project-Level C-to-Rust Translation
by: Wang, Chaofan, et al.
Published: (2025)
by: Wang, Chaofan, et al.
Published: (2025)
Translating Large-Scale C Repositories to Idiomatic Rust
by: Dehghan, Saman, et al.
Published: (2025)
by: Dehghan, Saman, et al.
Published: (2025)
Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
by: Eniser, Hasan Ferit, et al.
Published: (2024)
by: Eniser, Hasan Ferit, et al.
Published: (2024)
TagLabel: RFID Based Orientation and Material Sensing for Automated Package Inspection
by: Wang, David, et al.
Published: (2025)
by: Wang, David, et al.
Published: (2025)
C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
by: Nitin, Vikram, et al.
Published: (2025)
by: Nitin, Vikram, et al.
Published: (2025)
Build-Aware Incremental C-to-Rust Migration via Skeleton-First Translation and Historical Knowledge Reuse
by: Wang, Shengbo, et al.
Published: (2026)
by: Wang, Shengbo, et al.
Published: (2026)
Project-Level C-to-Rust Translation via Pointer Knowledge Graphs
by: Yuan, Zhiqiang, et al.
Published: (2025)
by: Yuan, Zhiqiang, et al.
Published: (2025)
Tag that issue: Applying API-domain labels in issue tracking systems
by: Santos, Fabio, et al.
Published: (2023)
by: Santos, Fabio, et al.
Published: (2023)
RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM
by: Cai, Xuemeng, et al.
Published: (2025)
by: Cai, Xuemeng, et al.
Published: (2025)
Translating C To Rust: Lessons from a User Study
by: Li, Ruishi, et al.
Published: (2024)
by: Li, Ruishi, et al.
Published: (2024)
Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
by: Gao, Yifei, et al.
Published: (2025)
by: Gao, Yifei, et al.
Published: (2025)
Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
by: Sim, HoHyun, et al.
Published: (2025)
by: Sim, HoHyun, et al.
Published: (2025)
Execution-Aware Program Reduction for WebAssembly via Record and Replay
by: Baek, Doehyun, et al.
Published: (2025)
by: Baek, Doehyun, et al.
Published: (2025)
ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation
by: Farrukh, Muhammad, et al.
Published: (2026)
by: Farrukh, Muhammad, et al.
Published: (2026)
Documentation-Guided Agentic Codebase Migration from C to Rust
by: Le-Anh, Minh, et al.
Published: (2026)
by: Le-Anh, Minh, et al.
Published: (2026)
MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language
by: Molz, Marius, et al.
Published: (2026)
by: Molz, Marius, et al.
Published: (2026)
Towards a Transpiler for C/C++ to Safer Rust
by: Tripuramallu, Dhiren, et al.
Published: (2024)
by: Tripuramallu, Dhiren, et al.
Published: (2024)
RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
by: Bai, Yubo, et al.
Published: (2025)
by: Bai, Yubo, et al.
Published: (2025)
AkiraRust: Re-thinking LLM-aided Rust Repair Using a Feedback-guided Thinking Switch
by: Jiang, Renshuang, et al.
Published: (2026)
by: Jiang, Renshuang, et al.
Published: (2026)
Feedback Loops and Code Perturbations in LLM-based Software Engineering: A Case Study on a C-to-Rust Translation System
by: Weiss, Martin, et al.
Published: (2025)
by: Weiss, Martin, et al.
Published: (2025)
Towards Modified Condition/Decision Coverage of Rust
by: Zaeske, Wanja, et al.
Published: (2024)
by: Zaeske, Wanja, et al.
Published: (2024)
Adversarial Agent Collaboration for Correctness Improvements of C to Safe Rust Translation
by: Li, Tianyu, et al.
Published: (2025)
by: Li, Tianyu, et al.
Published: (2025)
ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation
by: Sim, Hohyun, et al.
Published: (2026)
by: Sim, Hohyun, et al.
Published: (2026)
LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation
by: Bedell, Sarah, et al.
Published: (2026)
by: Bedell, Sarah, et al.
Published: (2026)
SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
by: Zhou, Tianyang, et al.
Published: (2025)
by: Zhou, Tianyang, et al.
Published: (2025)
SafeTrans: LLM-assisted Transpilation from C to Rust
by: Farrukh, Muhammad, et al.
Published: (2025)
by: Farrukh, Muhammad, et al.
Published: (2025)
From Translation to Superset: Benchmark-Driven Evolution of a Production AI Agent from Rust to Python
by: Wang, Jinhua, et al.
Published: (2026)
by: Wang, Jinhua, et al.
Published: (2026)
Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language
by: Nitin, Vikram, et al.
Published: (2023)
by: Nitin, Vikram, et al.
Published: (2023)
Similar Items
-
Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis
by: Hong, Jaemin, et al.
Published: (2025) -
PTM4Tag+: Tag Recommendation of Stack Overflow Posts with Pre-trained Models
by: He, Junda, et al.
Published: (2024) -
TagDebt: A Bot to Support Technical Debt Management
by: Biazotto, João Paulo, et al.
Published: (2026) -
COFO: COdeFOrces dataset for Program Classification, Recognition and Tagging
by: Gautam, Kuldeep, et al.
Published: (2025) -
FeClustRE: Hierarchical Clustering and Semantic Tagging of App Features from User Reviews
by: Tiessler, Max, et al.
Published: (2025)