Buchumschlag

TECS/Rust-OE: Optimizing Exclusive Control in Rust-based Component Systems for Embedded Devices

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Yoshimura, Nao, Oyama, Hiroshi, Azumi, Takuya
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering C.3; D.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

TECS/Rust: Memory-safe Component Framework for Embedded Systems
von: Yoshimura, Nao, et al.
Veröffentlicht: (2025)

Securing Mixed Rust with Hardware Capabilities
von: Yu, Jason Zhijingcheng, et al.
Veröffentlicht: (2025)

RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
von: Bai, Yubo, et al.
Veröffentlicht: (2025)

Rust vs. C for Python Libraries: Evaluating Rust-Compatible Bindings Toolchains
von: Amaral, Isabella Basso do, et al.
Veröffentlicht: (2025)

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

PinChecker: Identifying Unsound Safe Abstractions of Rust Pinning APIs
von: Dai, Yuxuan, et al.
Veröffentlicht: (2025)

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
von: McCormack, Ian, et al.
Veröffentlicht: (2024)

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

Adversarial Agent Collaboration for Correctness Improvements of C to Safe Rust Translation
von: Li, Tianyu, et al.
Veröffentlicht: (2025)

DAInfer+: Neurosymbolic Inference of API Specifications from Documentation via Embedding Models
von: Masoudian, Maryam, et al.
Veröffentlicht: (2026)

RustRepoTrans: Repository-level Code Translation Benchmark Targeting Rust
von: Ou, Guangsheng, et al.
Veröffentlicht: (2024)

BushraDBR: An Automatic Approach to Retrieving Duplicate Bug Reports
von: Al-Msie'deen, Ra'Fat
Veröffentlicht: (2024)

Teaching Complex Systems based on Microservices
von: Ferreira, Renato Cordeiro, et al.
Veröffentlicht: (2025)

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

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

A Survey of Deep Learning Based Software Refactoring
von: Nyirongo, Bridget, et al.
Veröffentlicht: (2024)

The Case for HTML First Web Development
von: Vepsäläinen, Juho
Veröffentlicht: (2026)

Knowledge-Aware Code Generation with Large Language Models
von: Huang, Tao, et al.
Veröffentlicht: (2024)

Creative and Correct: Requesting Diverse Code Solutions from AI Foundation Models
von: Blyth, Scott, et al.
Veröffentlicht: (2024)

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

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

C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
von: Nitin, Vikram, et al.
Veröffentlicht: (2025)

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

Model-based Development for Autonomous Driving Software Considering Parallelization
von: Obi, Kenshin, et al.
Veröffentlicht: (2025)

Adaptable TeaStore: A Choreographic Approach
von: De Palma, Giuseppe, et al.
Veröffentlicht: (2025)

Rust for Embedded Systems: Current State, Challenges and Open Problems (Extended Report)
von: Sharma, Ayushi, et al.
Veröffentlicht: (2023)

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

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM
von: Yan, Yanyan, et al.
Veröffentlicht: (2026)

Characterizing JavaScript Security Code Smells
von: Kambhampati, Vikas, et al.
Veröffentlicht: (2024)

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

Towards Modified Condition/Decision Coverage of Rust
von: Zaeske, Wanja, et al.
Veröffentlicht: (2024)

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

Unveiling Ruby: Insights from Stack Overflow and Developer Survey
von: Akbarpour, Nikta, et al.
Veröffentlicht: (2025)

Semantic Analysis of Macro Usage for Portability
von: Pappas, Brent, et al.
Veröffentlicht: (2024)

LeanBin: Harnessing Lifting and Recompilation to Debloat Binaries
von: Wodiany, Igor, et al.
Veröffentlicht: (2024)

CONGRA: Benchmarking Automatic Conflict Resolution
von: Zhang, Qingyu, et al.
Veröffentlicht: (2024)

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

JITScope: Interactive Visualization of JIT Compiler IR Transformations
von: Dalbo, Kyra, et al.
Veröffentlicht: (2025)

SIADAFIX: issue description response for adaptive program repair
von: Cao, Xin, et al.
Veröffentlicht: (2025)

Functional vs. Object-Oriented: Comparing How Programming Paradigms Affect the Architectural Characteristics of Systems
von: de Sousa, Briza Mel Dias, et al.
Veröffentlicht: (2025)