Cover Image

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Shetty, Manish, Jain, Naman, Godbole, Adwait, Seshia, Sanjit A., Sen, Koushik
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Artificial Intelligence Machine Learning Programming Languages I.2; D.2; D.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Adversarial Agent Collaboration for Correctness Improvements of C to Safe Rust Translation
by: Li, Tianyu, et al.
Published: (2025)

RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
by: Bai, Yubo, et al.
Published: (2025)

AutoCodeSherpa: Symbolic Explanations in AI Coding Agents
by: Kang, Sungmin, et al.
Published: (2025)

LLM-Assisted Translation of Legacy FORTRAN Codes to C++: A Cross-Platform Study
by: Ranasinghe, Nishath Rajiv, et al.
Published: (2025)

Review Beats Planning: Dual-Model Interaction Patterns for Code Synthesis
by: Miller, Jan
Published: (2026)

You Don't Need Public Tests to Generate Correct Code
by: Silva, Kaushitha, et al.
Published: (2026)

LLMs as Idiomatic Decompilers: Recovering High-Level Code from x86-64 Assembly for Dart
by: Abualazm, Raafat, et al.
Published: (2026)

The Specification as Quality Gate: Three Hypotheses on AI-Assisted Code Review
by: Zietsman, Christo
Published: (2026)

LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops
by: Ravi, Ravin, et al.
Published: (2026)

LLMCup: Ranking-Enhanced Comment Updating with LLMs
by: Ge, Hua, et al.
Published: (2025)

AgentModernize: Preserving Business Logic in Legacy Modernization with Multi-Agent LLMs and Behavioral Specification Graphs
by: Ahmed, Sheikh Nazib, et al.
Published: (2026)

TECS/Rust: Memory-safe Component Framework for Embedded Systems
by: Yoshimura, Nao, et al.
Published: (2025)

SpecOps: A Fully Automated AI Agent Testing Framework in Real-World GUI Environments
by: Ahmed, Syed Yusuf, et al.
Published: (2026)

Secure coding for web applications: Frameworks, challenges, and the role of LLMs
by: Kiashemshaki, Kiana, et al.
Published: (2025)

MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning
by: Sartaj, Hassan, et al.
Published: (2024)

Large Language Models (LLMs) for Requirements Engineering (RE): A Systematic Literature Review
by: Zadenoori, Mohammad Amin, et al.
Published: (2025)

BACE: LLM-based Code Generation through Bayesian Anchored Co-Evolution of Code and Test Populations
by: Silva, Kaushitha, et al.
Published: (2026)

Enhancing Differential Testing With LLMs For Testing Deep Learning Libraries
by: Li, Meiziniu, et al.
Published: (2024)

Towards Reliable Generation of Executable Workflows by Foundation Models
by: Masoumzadeh, Sogol, et al.
Published: (2025)

LLM-Driven Cost-Effective Requirements Change Impact Analysis
by: Etezadi, Romina, et al.
Published: (2025)

An Empirical Study on the Effectiveness of Large Language Models for SATD Identification and Classification
by: Sheikhaei, Mohammad Sadegh, et al.
Published: (2024)

RelRepair: Enhancing Automated Program Repair by Retrieving Relevant Code
by: Liu, Shunyu, et al.
Published: (2025)

Assessing LLMs for Front-end Software Architecture Knowledge
by: Guerra, L. P. Franciscatto, et al.
Published: (2025)

From Untestable to Testable: Metamorphic Testing in the Age of LLMs
by: Terragni, Valerio
Published: (2026)

Automated Deep Learning Optimization via DSL-Based Source Code Transformation
by: Wang, Ruixin, et al.
Published: (2024)

Test Case Prioritization: A Snowballing Literature Review and TCPFramework with Approach Combinators
by: Chojnacki, Tomasz, et al.
Published: (2026)

Test-driven Software Experimentation with LASSO: an LLM Prompt Benchmarking Example
by: Kessel, Marcus
Published: (2024)

CCCI: Code Completion with Contextual Information for Complex Data Transfer Tasks Using Large Language Models
by: Jin, Hangzhan, et al.
Published: (2025)

Test-Driven AI Agent Definition (TDAD): Compiling Tool-Using Agents from Behavioral Specifications
by: Rehan, Tzafrir
Published: (2026)

CodeCompass: Navigating the Navigation Paradox in Agentic Code Intelligence
by: Paipuru, Tarakanath
Published: (2026)

AgentSpawn: Adaptive Multi-Agent Collaboration Through Dynamic Spawning for Long-Horizon Code Generation
by: Costa, Igor
Published: (2026)

CodeTracer: Towards Traceable Agent States
by: Li, Han, et al.
Published: (2026)

OODEval: Evaluating Large Language Models on Object-Oriented Design
by: Xiao, Bingxu, et al.
Published: (2026)

Towards Observation Lakehouses: Living, Interactive Archives of Software Behavior
by: Kessel, Marcus
Published: (2025)

Inside the Scaffold: A Source-Code Taxonomy of Coding Agent Architectures
by: Rombaut, Benjamin
Published: (2026)

Unified Modeling Language Code Generation from Diagram Images Using Multimodal Large Language Models
by: Bates, Averi, et al.
Published: (2025)

From Machine Learning Documentation to Requirements: Bridging Processes with Requirements Languages
by: Peng, Yi, et al.
Published: (2025)

SmellBench: Evaluating LLM Agents on Architectural Code Smell Repair
by: Dinu, Ion George, et al.
Published: (2026)

Code Generation for Machine Learning using Model-Driven Engineering and SysML
by: Raedler, Simon, et al.
Published: (2023)

Fine-Tuning LLMs to Analyze Multiple Dimensions of Code Review: A Maximum Entropy Regulated Long Chain-of-Thought Approach
by: Yu, Yongda, et al.
Published: (2025)