Copertina

TECS/Rust: Memory-safe Component Framework for Embedded Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Yoshimura, Nao, Oyama, Hiroshi, Azumi, Takuya
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering C.3; D.2
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

TECS/Rust-OE: Optimizing Exclusive Control in Rust-based Component Systems for Embedded Devices
di: Yoshimura, Nao, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification
di: Amusuo, Paschal C., et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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

Resilient Microservices: A Systematic Review of Recovery Patterns, Strategies, and Evaluation Frameworks
di: Mohammad, Muzeeb
Pubblicazione: (2025)

RSMM: A Framework to Assess Maturity of Research Software Project
di: Deekshitha, et al.
Pubblicazione: (2024)

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

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

Characterizing JavaScript Security Code Smells
di: Kambhampati, Vikas, et al.
Pubblicazione: (2024)

Framework Matters: Energy Efficiency of UI Automation Testing Frameworks
di: Lagermann, Timmie M. R., et al.
Pubblicazione: (2025)

Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification
di: Amusuo, Paschal C., et al.
Pubblicazione: (2025)

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

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

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

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

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

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

CONGRA: Benchmarking Automatic Conflict Resolution
di: Zhang, Qingyu, et al.
Pubblicazione: (2024)

Automated Detection of Algorithm Debt in Deep Learning Frameworks: An Empirical Study
di: Simon, Emmanuel Iko-Ojo, et al.
Pubblicazione: (2024)

A Unit Proofing Framework for Code-level Verification: A Research Agenda
di: Amusuo, Paschal C., et al.
Pubblicazione: (2024)

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

JITScope: Interactive Visualization of JIT Compiler IR Transformations
di: Dalbo, Kyra, et al.
Pubblicazione: (2025)

SIADAFIX: issue description response for adaptive program repair
di: Cao, Xin, et al.
Pubblicazione: (2025)

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

Memory Management and Contextual Consistency for Long-Running Low-Code Agents
di: Xu, Jiexi
Pubblicazione: (2025)

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