On the public citation graph
Aliasing Limits on Translating C to Safe Rust
0 signed · 57 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/11688839_5openalex-snapshot
Context-Sensitive Points-to Analysis: Is It Worth It?
inferredcites →https://doi.org/10.1007/3-540-44898-5_12openalex-snapshot
Client-Driven Pointer Analysis
inferredcites →https://doi.org/10.1007/bfb0032731openalex-snapshot
The effects of the precision of pointer analysis
inferredcites →https://doi.org/10.1016/s0167-6423(99)00007-6openalex-snapshot
Introduction to set constraint-based program analysis
inferredcites →https://doi.org/10.1080/00031305.1973.10478966openalex-snapshot
Graphs in Statistical Analysis
inferredcites →https://doi.org/10.1109/icse-companion55297.2022.9793767openalex-snapshot
In Rust We Trust – A Transpiler from Unsafe C to Safer Rust
inferredcites →https://doi.org/10.1109/secdev.2018.00015openalex-snapshot
Checked C: Making C Safe by Extension
inferredcites →https://doi.org/10.1145/1065887.1065892openalex-snapshot
CCured: type-safe retrofitting of legacy software
inferredcites →https://doi.org/10.1145/1290520.1290524openalex-snapshot
Efficient field-sensitive pointer analysis of C
inferredcites →https://doi.org/10.1145/237721.237727openalex-snapshot
Points-to analysis in almost linear time
inferredcites →https://doi.org/10.1145/2491956.2462191openalex-snapshot
Hybrid context-sensitivity for points-to analysis
inferredcites →https://doi.org/10.1145/263699.263703openalex-snapshot
Fast and accurate flow-insensitive points-to analysis
inferredcites →https://doi.org/10.1145/2892208.2892235openalex-snapshot
SVF: interprocedural static value-flow analysis in LLVM
inferredcites →https://doi.org/10.1145/2926697.2926707openalex-snapshot
Rust as a language for high performance GC implementation
inferredcites →https://doi.org/10.1145/349299.349332openalex-snapshot
Scalable context-sensitive flow analysis using instantiation constraints
inferredcites →https://doi.org/10.1145/378795.378855openalex-snapshot
Ultra-fast aliasing analysis using CLA
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.4230/lipics.ecoop.2023.39openalex-snapshot
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper)
inferredcites →https://doi.org/10.5281/zenodo.7507977openalex-snapshot
Artifact for "Aliasing Limits on Translating C to Safe 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-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/s10515-025-00570-0openalex-snapshot
A systematic exploration of C-to-rust code translation based on large language models: prompt strategies and automated repair
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.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.00130openalex-snapshot
Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00127openalex-snapshot
GenC2Rust: Towards Generating Generic Rust Code from C
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/msec.2024.3385357openalex-snapshot
Migrating C to Rust for Memory Safety
inferred← citeshttps://doi.org/10.1109/smirc70459.2026.11706691openalex-snapshot
Py2SafeRust: Python-to-Rust Transpilation via Multi-Phase MLIR and Ownership Inference
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/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/3722041.3723094openalex-snapshot
Diagnosing and Neutralizing Address-Sensitive Behavior in Multi-Variant Execution Systems
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/3786583.3786856openalex-snapshot
EvoC2Rust: A Skeleton-guided Framework for Project-Level C-to-Rust Translation
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
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.