Cover Image

Adversarial Agent Collaboration for Correctness Improvements of C to Safe Rust Translation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Tianyu, Li, Ruishi, Wang, Bo, Paulsen, Brandon, Mathur, Umang, Saxena, Prateek
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Artificial Intelligence D.2; I.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Program Skeletons for Automated Program Translation
by: Wang, Bo, et al.
Published: (2025)

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
by: Shetty, Manish, et al.
Published: (2024)

Translating C To Rust: Lessons from a User Study
by: Li, Ruishi, et al.
Published: (2024)

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

Demystifying the Silence of Correctness Bugs in PyTorch Compiler
by: Li, Meiziniu, et al.
Published: (2026)

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

AuditRepairBench: A Paired-Execution Trace Corpus for Evaluator-Channel Ranking Instability in Agent Repair
by: Hu, Yuelin, et al.
Published: (2026)

Social, Legal, Ethical, Empathetic and Cultural Norm Operationalisation for AI Agents
by: Calinescu, Radu, et al.
Published: (2026)

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

ECM Contracts: Contract-Aware, Versioned, and Governable Capability Interfaces for Embodied Agents
by: Qin, Xue, et al.
Published: (2026)

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

Runtime Execution Traces Guided Automated Program Repair with Multi-Agent Debate
by: Wu, Jiaqing, et al.
Published: (2026)

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

SLEGO: A Collaborative Data Analytics System with LLM Recommender for Diverse Users
by: Ng, Siu Lung, et al.
Published: (2024)

AgentAssay: Token-Efficient Regression Testing for Non-Deterministic AI Agent Workflows
by: Bhardwaj, Varun Pratap
Published: (2026)

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

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

The Rise and Fall(?) of Software Engineering
by: Mastropaolo, Antonio, et al.
Published: (2024)

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

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

A Pattern Language for Resilient Visual Agents
by: Gidey, Habtom Kahsay, et al.
Published: (2026)

ATLAS: A Layered Constraint-Guided Framework for Structured Artifact Generation in LLM-Assisted MDE
by: Ma, Tong, et al.
Published: (2025)

Who is Introducing the Failure? Automatically Attributing Failures of Multi-Agent Systems via Spectrum Analysis
by: Ge, Yu, et al.
Published: (2025)

CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic Execution
by: Jana, Prithwish, et al.
Published: (2023)

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

COMET: Coverage-guided Model Generation For Deep Learning Library Testing
by: Li, Meiziniu, et al.
Published: (2022)

Toward Architecture-Aware Evaluation Metrics for LLM Agents
by: Souza, Débora, et al.
Published: (2026)

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

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

Towards Continuous Assurance with Formal Verification and Assurance Cases
by: Abeywickrama, Dhaminda B., 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)

Multi-Agent Code Verification via Information Theory
by: Rajan, Shreshth
Published: (2025)

Leveraging Large Language Models for Use Case Model Generation from Software Requirements
by: Eisenreich, Tobias, et al.
Published: (2025)

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

Automating Domain-Driven Design: Experience with a Prompting Framework
by: Eisenreich, Tobias, et al.
Published: (2026)

Abstain and Validate: A Dual-LLM Policy for Reducing Noise in Agentic Program Repair
by: Cambronero, José, et al.
Published: (2025)

Quantitative Analysis of Technical Debt and Pattern Violation in Large Language Model Architectures
by: Slater, Tyler
Published: (2025)

Addressing Data Leakage in HumanEval Using Combinatorial Test Design
by: Bradbury, Jeremy S., et al.
Published: (2024)

Experience with GitHub Copilot for Developer Productivity at Zoominfo
by: Bakal, Gal, et al.
Published: (2025)

Compiled AI: Deterministic Code Generation for LLM-Based Workflow Automation
by: Trooskens, Geert, et al.
Published: (2026)