:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Yoshimura, Nao, Oyama, Hiroshi, Azumi, Takuya
Format:	Preprint
Published:	2025
Subjects:	Software Engineering C.3; D.2
Online Access:	https://arxiv.org/abs/2510.25242
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Securing Mixed Rust with Hardware Capabilities
by: Yu, Jason Zhijingcheng, et al.
Published: (2025)

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

Rust vs. C for Python Libraries: Evaluating Rust-Compatible Bindings Toolchains
by: Amaral, Isabella Basso do, et al.
Published: (2025)

A Mixed-Methods Study on the Implications of Unsafe Rust for Interoperation, Encapsulation, and Tooling
by: McCormack, Ian, et al.
Published: (2024)

PinChecker: Identifying Unsound Safe Abstractions of Rust Pinning APIs
by: Dai, Yuxuan, et al.
Published: (2025)

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
by: McCormack, Ian, et al.
Published: (2024)

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

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

DAInfer+: Neurosymbolic Inference of API Specifications from Documentation via Embedding Models
by: Masoudian, Maryam, et al.
Published: (2026)

RustRepoTrans: Repository-level Code Translation Benchmark Targeting Rust
by: Ou, Guangsheng, et al.
Published: (2024)

Teaching Complex Systems based on Microservices
by: Ferreira, Renato Cordeiro, et al.
Published: (2025)

Model-based Development for Autonomous Driving Software Considering Parallelization
by: Obi, Kenshin, et al.
Published: (2025)

RustEvo^2: An Evolving Benchmark for API Evolution in LLM-based Rust Code Generation
by: Liang, Linxi, et al.
Published: (2025)

RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM
by: Cai, Xuemeng, et al.
Published: (2025)

C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
by: Nitin, Vikram, et al.
Published: (2025)

Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
by: Kratz, Maximilian, et al.
Published: (2025)

BushraDBR: An Automatic Approach to Retrieving Duplicate Bug Reports
by: Al-Msie'deen, Ra'Fat
Published: (2024)

Adaptable TeaStore: A Choreographic Approach
by: De Palma, Giuseppe, et al.
Published: (2025)

Rust for Embedded Systems: Current State, Challenges and Open Problems (Extended Report)
by: Sharma, Ayushi, et al.
Published: (2023)

Dear Diary: A randomized controlled trial of Generative AI coding tools in the workplace
by: Butler, Jenna, et al.
Published: (2024)

Enhancing Code Generation Performance of Smaller Models by Distilling the Reasoning Ability of LLMs
by: Sun, Zhihong, et al.
Published: (2024)

A Survey of Deep Learning Based Software Refactoring
by: Nyirongo, Bridget, et al.
Published: (2024)

The Case for HTML First Web Development
by: Vepsäläinen, Juho
Published: (2026)

Knowledge-Aware Code Generation with Large Language Models
by: Huang, Tao, et al.
Published: (2024)

Creative and Correct: Requesting Diverse Code Solutions from AI Foundation Models
by: Blyth, Scott, et al.
Published: (2024)

AkiraRust: Re-thinking LLM-aided Rust Repair Using a Feedback-guided Thinking Switch
by: Jiang, Renshuang, et al.
Published: (2026)

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM
by: Yan, Yanyan, et al.
Published: (2026)

ScaMaha: A Tool for Parsing, Analyzing, and Visualizing Object-Oriented Software Systems
by: Al-Msie'deen, Ra'Fat
Published: (2025)

Characterizing JavaScript Security Code Smells
by: Kambhampati, Vikas, et al.
Published: (2024)

Parallelized Code Generation from Simulink Models for Event-driven and Timer-driven ROS 2 Nodes
by: Obi, Kenshin, et al.
Published: (2025)

Towards Modified Condition/Decision Coverage of Rust
by: Zaeske, Wanja, et al.
Published: (2024)

RISC-V Functional Safety for Autonomous Automotive Systems: An Analytical Framework and Research Roadmap for ML-Assisted Certification
by: Andreasyan, Nick, et al.
Published: (2026)

SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence
by: Shiraishi, Momoko, et al.
Published: (2024)

EvoC2Rust: A Skeleton-guided Framework for Project-Level C-to-Rust Translation
by: Wang, Chaofan, et al.
Published: (2025)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
by: Bruzzone, Federico, et al.
Published: (2025)

Unveiling Ruby: Insights from Stack Overflow and Developer Survey
by: Akbarpour, Nikta, et al.
Published: (2025)

Semantic Analysis of Macro Usage for Portability
by: Pappas, Brent, et al.
Published: (2024)

LeanBin: Harnessing Lifting and Recompilation to Debloat Binaries
by: Wodiany, Igor, et al.
Published: (2024)

CONGRA: Benchmarking Automatic Conflict Resolution
by: Zhang, Qingyu, et al.
Published: (2024)