On the public citation graph
Translating C to safer Rust
0 signed · 83 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-45251-6_29openalex-snapshot
Houdini, an Annotation Assistant for ESC/Java
inferredcites →https://doi.org/10.1007/978-3-030-01090-4_32openalex-snapshot
Verifying Rust Programs with SMACK
inferredcites →https://doi.org/10.1016/s0020-0190(00)00196-4openalex-snapshot
Annotation inference for modular checkers
inferredcites →https://doi.org/10.1109/icse.2015.44openalex-snapshot
Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool
inferredcites →https://doi.org/10.1109/mc.1993.274940openalex-snapshot
An investigation of the Therac-25 accidents
inferredcites →https://doi.org/10.1109/tase.2018.00014openalex-snapshot
KRust: A Formal Executable Semantics of Rust
inferredcites →https://doi.org/10.1145/1168054.1168073openalex-snapshot
Propagation of JML non-null annotations in Java programs
inferredcites →https://doi.org/10.1145/237721.237727openalex-snapshot
Points-to analysis in almost linear time
inferredcites →https://doi.org/10.1145/2926697.2926707openalex-snapshot
Rust as a language for high performance GC implementation
inferredcites →https://doi.org/10.1145/3158154openalex-snapshot
RustBelt: securing the foundations of the Rust programming language
inferredcites →https://doi.org/10.1145/3377811.3380413openalex-snapshot
Is rust used safely by software developers?
inferredcites →https://doi.org/10.1145/3385412.3386036openalex-snapshot
Understanding memory and thread safety practices and issues in real-world Rust programs
inferredcites →https://doi.org/10.1145/512529.512558openalex-snapshot
Extended static checking for Java
inferredcites →https://doi.org/10.1145/582419.582440openalex-snapshot
Ownership types for safe programming
inferredcites →https://doi.org/10.1145/781131.781168openalex-snapshot
Ownership types for safe region-based memory management in real-time Java
inferredcites →https://doi.org/10.5281/zenodo.5442252openalex-snapshot
Artifact for "Translating C to Safer Rust"
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-031-06773-0_22openalex-snapshot
On the Termination of Borrow Checking in Featherweight Rust
inferred← citeshttps://doi.org/10.1007/978-3-031-31180-2_10openalex-snapshot
STAMP-Rust: Language and Performance Comparison to C on Transactional Benchmarks
inferred← citeshttps://doi.org/10.1007/978-3-031-37709-9_22openalex-snapshot
Ownership Guided C to Rust Translation
inferred← citeshttps://doi.org/10.1007/978-3-032-00828-2_16openalex-snapshot
RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM
inferred← citeshttps://doi.org/10.1007/978-3-032-07612-0_24openalex-snapshot
From C to Rust: Evaluating LLM Capabilities in Transpilation Through Compilation Errors
inferred← citeshttps://doi.org/10.1007/978-3-032-12092-2_2openalex-snapshot
From C to Rust – How Feasible is it?
inferred← citeshttps://doi.org/10.1007/978-3-032-30693-7_4openalex-snapshot
Clight2Rust: Translating a Subset of C into Safe Rust with a Small Trusted Runtime
inferred← citeshttps://doi.org/10.1007/978-981-95-7826-9_1openalex-snapshot
Automated Translation of Real-World Codebases: How Far Are We?
inferred← citeshttps://doi.org/10.1007/s10664-024-10573-2openalex-snapshot
Type-migrating C-to-Rust translation using a large language model
inferred← citeshttps://doi.org/10.1007/s10664-026-10905-4openalex-snapshot
MinsC2Rust: LLM-driven project-level code migration from C to safe Rust
inferred← citeshttps://doi.org/10.1016/j.scico.2026.103535openalex-snapshot
From C to verifiable Rust: Towards practical migration of code and specifications
inferred← citeshttps://doi.org/10.1051/sands/2024015openalex-snapshot
Key-area cyberspace mimic defense against data-oriented attacks
inferred← citeshttps://doi.org/10.1109/access.2025.3586018openalex-snapshot
A Hard Real-Time Kernel for CPIoT Systems With Safety Features in Rust
inferred← citeshttps://doi.org/10.1109/acsac67867.2025.00025openalex-snapshot
TeTRIS: General-purpose Fuzzing for Translation Bugs in Source-to-Source Code Transpilers
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00051openalex-snapshot
RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00123openalex-snapshot
VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00130openalex-snapshot
Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis
inferred← citeshttps://doi.org/10.1109/bibe60311.2023.00012openalex-snapshot
CNT: Semi-Automatic Translation from CWL to Nextflow for Genomic Workflows
inferred← citeshttps://doi.org/10.1109/ciss56502.2023.10089631openalex-snapshot
Evaluating FFT performance of the C and Rust Languages on Raspberry Pi platforms
inferred← citeshttps://doi.org/10.1109/codit62066.2024.10708563openalex-snapshot
TRustPN: Transforming Rust Source Code to Petri Nets for Checking Deadlocks
inferred← citeshttps://doi.org/10.1109/dcis67520.2025.11281909openalex-snapshot
RISCV-SLIC: Rust Software-Level Interrupt Controller for RISC-V Microcontrollers
inferred← citeshttps://doi.org/10.1109/hpsr62440.2024.10635971openalex-snapshot
On the Impact of Memory Safety on Fast Network I/O
inferred← citeshttps://doi.org/10.1109/icaa64256.2024.00024openalex-snapshot
Leveraging RAG-LLM to Translate C++ to Rust
inferred← citeshttps://doi.org/10.1109/icit58056.2023.10226157openalex-snapshot
The Current State of Research on Malware Written in the Rust Programming Language
inferred← citeshttps://doi.org/10.1109/icse-companion55297.2022.9793767openalex-snapshot
In Rust We Trust – A Transpiler from Unsafe C to Safer Rust
inferred← citeshttps://doi.org/10.1109/icse-companion58688.2023.00074openalex-snapshot
Improving Automatic C-to-Rust Translation with Static Analysis
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00069openalex-snapshot
Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00127openalex-snapshot
GenC2Rust: Towards Generating Generic Rust Code from C
inferred← citeshttps://doi.org/10.1109/icsme58944.2024.00061openalex-snapshot
GlueTest: Testing Code Translation via Language Interoperability
inferred← citeshttps://doi.org/10.1109/icsme64153.2025.00069openalex-snapshot
Integrating Rules and Semantics for LLM-Based C-to-Rust Translation
inferred← citeshttps://doi.org/10.1109/igessc59090.2023.10321761openalex-snapshot
A Comparative Study of Programming Languages for a Real-Time Smart Grid Application
inferred← citeshttps://doi.org/10.1109/qrs-c57518.2022.00122openalex-snapshot
RUSTY: Effective C to Rust Conversion via Unstructured Control Specialization
inferred← citeshttps://doi.org/10.1109/smirc70459.2026.11706688openalex-snapshot
C2SafeRust: Memory-Safe C-to-Rust Transpilation via Ownership Inference and Compiler-in-the-Loop Repair
inferred← citeshttps://doi.org/10.1109/svm66695.2025.00008openalex-snapshot
"Just Use Rust": A Best-Case Historical Study of Open Source Vulnerabilities in C
inferred← citeshttps://doi.org/10.1109/trustcom66490.2025.00217openalex-snapshot
Security Risks of Transpiling C Programs to Rust
inferred← citeshttps://doi.org/10.1109/tse.2025.3641486openalex-snapshot
C2SaferRust: Transforming C Projects Into Safer Rust With NeuroSymbolic Techniques
inferred← citeshttps://doi.org/10.1145/3586046openalex-snapshot
Aliasing Limits on Translating C to Safe Rust
inferred← citeshttps://doi.org/10.1145/3597503.3639103openalex-snapshot
Rust-lancet: Automated Ownership-Rule-Violation Fixing with Behavior Preservation
inferred← citeshttps://doi.org/10.1145/3622821openalex-snapshot
Adventure of a Lifetime: Extract Method Refactoring for Rust
inferred← citeshttps://doi.org/10.1145/3624062.3624112openalex-snapshot
Embedding Rust within Open MPI
inferred← citeshttps://doi.org/10.1145/3656406openalex-snapshot
Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation
inferred← citeshttps://doi.org/10.1145/3691620.3694985openalex-snapshot
To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions
inferred← citeshttps://doi.org/10.1145/3728929openalex-snapshot
Adding Spatial Memory Safety to EDK II through Checked C (Experience Paper)
inferred← citeshttps://doi.org/10.1145/3729315openalex-snapshot
Scalable, Validated Code Translation of Entire Projects using Large Language Models
inferred← citeshttps://doi.org/10.1145/3786583.3786856openalex-snapshot
EvoC2Rust: A Skeleton-guided Framework for Project-Level C-to-Rust Translation
inferred← citeshttps://doi.org/10.1145/3795532openalex-snapshot
Fortifying the Seams Between C/C++ and Rust: Characterizing Bugs in Interop Tools
inferred← citeshttps://doi.org/10.1145/3803437.3805266openalex-snapshot
Dependency-Guided Repository-Level C-to-Rust Translation with Reinforcement Alignment
inferred← citeshttps://doi.org/10.1145/3808169openalex-snapshot
Project-Level C-to-Rust Translation via Pointer Knowledge Graphs
inferred← citeshttps://doi.org/10.1145/3808266openalex-snapshot
Cpp2Rust: Automatic Translation of C++ to Safe Rust
inferred← citeshttps://doi.org/10.1145/3808270openalex-snapshot
&inator: Correct, Precise C-to-Rust Interface Translation
inferred← citeshttps://doi.org/10.1145/3808276openalex-snapshot
Hayroll: A Modular Wrapper for Translating C Macros and Conditional Compilation to Rust
inferred← citeshttps://doi.org/10.1145/3837729.3842149openalex-snapshot
Towards Scalable and Verifiable Automated Translation from C to Safe Rust
inferred← citeshttps://doi.org/10.3390/electronics13214307openalex-snapshot
SafeMD: Ownership-Based Safe Memory Deallocation for C Programs
inferred← citeshttps://doi.org/10.3390/fi18090471openalex-snapshot
LLM-Assisted Porting of Security-Critical C Libraries to Idiomatic Rust: A Multi-Model Empirical Study
inferred← citeshttps://doi.org/10.3390/fi18100503openalex-snapshot
Security Considerations on Three CPSs in Evolution: ROS, SCADA and OPC UA
inferred← citeshttps://doi.org/10.52682/jkidt.2026.8.2.007openalex-snapshot
Performance and Stability Analysis of Rust for Application to Missile Software Systems
showing the first 60 of 61 · page through all 61
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.