On the public citation graph
Safe Systems Programming in Rust: The Promise and the Challenge
0 signed · 100 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.1006/inco.1994.1093openalex-snapshot
A Syntactic Approach to Type Soundness
inferredcites →https://doi.org/10.1006/inco.1996.2613openalex-snapshot
Region-Based Memory Management
inferredcites →https://doi.org/10.1007/3-540-44802-0_1openalex-snapshot
Local Reasoning about Programs that Alter Data Structures
inferredcites →https://doi.org/10.1007/978-3-030-44914-8_18openalex-snapshot
RustHorn: CHC-Based Verification for Rust Programs
inferredcites →https://doi.org/10.1007/978-3-642-15057-9_14openalex-snapshot
Abstraction and Refinement for Local Reasoning
inferredcites →https://doi.org/10.1007/978-3-642-54833-8_9openalex-snapshot
Impredicative Concurrent Abstract Predicates
inferredcites →https://doi.org/10.1007/978-3-662-54434-1_17openalex-snapshot
Tackling Real-Life Relaxed Concurrency with FSL++
inferredcites →https://doi.org/10.1007/978-3-662-54434-1_26openalex-snapshot
The Essence of Higher-Order Concurrent Separation Logic
inferredcites →https://doi.org/10.1016/0022-0000(78)90014-4openalex-snapshot
A theory of type polymorphism in programming
inferredcites →https://doi.org/10.1016/j.tcs.2006.12.035openalex-snapshot
Resources, concurrency, and local reasoning
inferredcites →https://doi.org/10.1017/cbo9781139342131openalex-snapshot
Practical Foundations for Programming Languages
inferredcites →https://doi.org/10.1017/s0956796818000151openalex-snapshot
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
inferredcites →https://doi.org/10.1109/lics.2001.932501openalex-snapshot
Foundational proof-carrying code
inferredcites →https://doi.org/10.1145/1709093.1709094openalex-snapshot
Semantic foundations for typed assembly languages
inferredcites →https://doi.org/10.1145/3009837.3009855openalex-snapshot
Interactive proofs in higher-order concurrent separation logic
inferredcites →https://doi.org/10.1145/3093333.3009855openalex-snapshot
Interactive proofs in higher-order concurrent separation logic
inferredcites →https://doi.org/10.1145/3158154openalex-snapshot
RustBelt: securing the foundations of the Rust programming language
inferredcites →https://doi.org/10.1145/3236772openalex-snapshot
MoSeL: a general, extensible modal framework for interactive proofs in separation logic
inferredcites →https://doi.org/10.1145/3297858.3304069openalex-snapshot
Understanding Real-World Concurrency Bugs in Go
inferredcites →https://doi.org/10.1145/3360573openalex-snapshot
Leveraging rust types for modular specification and verification
inferredcites →https://doi.org/10.1145/363235.363259openalex-snapshot
An axiomatic basis for computer programming
inferredcites →https://doi.org/10.1145/504709.504712openalex-snapshot
An indexed model of recursive types for foundational proof-carrying code
inferredcites →https://doi.org/10.1145/512529.512563openalex-snapshot
Region-based memory management in cyclone
inferredcites →https://doi.org/10.1145/543552.512563openalex-snapshot
Region-based memory management in cyclone
inferredcites →https://doi.org/10.22028/d291-31946openalex-snapshot
Understanding and evolving the Rust programming language
inferredcites →https://doi.org/10.5555/1883978.1884012openalex-snapshot
Concurrent abstract predicates
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-19604-1_4openalex-snapshot
The Experience of Developing a FAT File System Module in the Rust Programming Language
inferred← citeshttps://doi.org/10.1007/978-3-032-04288-0_11openalex-snapshot
Programming Language Selection in Software Engineering: Results from an Adapted MLR Focused on Go, Haskell, Python and Rust
inferred← citeshttps://doi.org/10.1007/978-3-032-28079-4_19openalex-snapshot
Verifying the Rust Standard Library
inferred← citeshttps://doi.org/10.1007/978-3-032-35506-5_43openalex-snapshot
Maturity of the Safety-Critical Rust Ecosystem in the Context of IEC 61508
inferred← citeshttps://doi.org/10.1007/s11432-023-4127-5openalex-snapshot
Deep learning-based software engineering: progress, challenges, and opportunities
inferred← citeshttps://doi.org/10.1016/b978-0-323-95502-7.00023-3openalex-snapshot
Computational Pipelines and Workflows in Bioinformatics
inferred← citeshttps://doi.org/10.1016/j.cola.2021.101054openalex-snapshot
High-level and efficient structured stream parallelism for rust on multi-cores
inferred← citeshttps://doi.org/10.1016/j.future.2021.09.042openalex-snapshot
SHA3 and Keccak variants computation speeds on constrained devices
inferred← citeshttps://doi.org/10.1016/j.hcc.2025.100377openalex-snapshot
Enhancing concurrency bug detection in Rust programs through LLVM IR based graph visualization
inferred← citeshttps://doi.org/10.1016/j.iot.2025.101498openalex-snapshot
MicroFlow: An Efficient Rust-Based Inference Engine for TinyML
inferred← citeshttps://doi.org/10.1016/j.procs.2023.10.509openalex-snapshot
Rust's Memory Safety Model: An Evaluation of Its Effectiveness in Preventing Common Vulnerabilities
inferred← citeshttps://doi.org/10.1017/s0956796822000077openalex-snapshot
Extracting functional programs from Coq, in Coq
inferred← citeshttps://doi.org/10.1038/s41597-022-01819-zopenalex-snapshot
Evolving collaboration, dependencies, and use in the Rust Open Source Software ecosystem
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/apsec66846.2025.00049openalex-snapshot
Multi-Stage Generation of Rust Unit Tests with LLMs
inferred← citeshttps://doi.org/10.1109/dcoss-iot65416.2025.00114openalex-snapshot
Lich: Enhancing IoT Supply Chain Security Through Automated Firmware Analysis
inferred← citeshttps://doi.org/10.1109/dsn48987.2021.00026openalex-snapshot
A Comprehensive Study of Bugs in Software Defined Networks
inferred← citeshttps://doi.org/10.1109/iatmsi64286.2025.10984781openalex-snapshot
High-Performance File Searching with Rust: Parallelized Indexing for Enhanced Computational Efficiency
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/iiswc66894.2025.00042openalex-snapshot
Sweet or Sour CHERI: Performance Characterization of the Arm Morello Platform
inferred← citeshttps://doi.org/10.1109/rose59155.2023.00015openalex-snapshot
Augmenting Robot Software Development Process with Flexbot
inferred← citeshttps://doi.org/10.1109/serp4iot66600.2025.00009openalex-snapshot
Should we use Rust Platform in our IoT Applications? A multivocal review
inferred← citeshttps://doi.org/10.1109/sp40001.2021.00003openalex-snapshot
Compositional Non-Interference for Fine-Grained Concurrent Programs
inferred← citeshttps://doi.org/10.1109/tse.2021.3121994openalex-snapshot
Automated Use-After-Free Detection and Exploit Mitigation: How Far Have We Gone?
inferred← citeshttps://doi.org/10.1109/vl/hcc53370.2022.9833121openalex-snapshot
RustViz: Interactively Visualizing Ownership and Borrowing
inferred← citeshttps://doi.org/10.1145/3408996openalex-snapshot
Scala step-by-step: soundness for DOT with step-indexed logical relations in Iris
inferred← citeshttps://doi.org/10.1145/3437992.3439914openalex-snapshot
Machine-checked semantic session typing
inferred← citeshttps://doi.org/10.1145/3453483.3454031openalex-snapshot
Transfinite Iris: resolving an existential dilemma of step-indexed separation logic
inferred← citeshttps://doi.org/10.1145/3453483.3454036openalex-snapshot
RefinedC: automating the foundational verification of C code with refined ownership types
inferred← citeshttps://doi.org/10.1145/3473597openalex-snapshot
GhostCell: separating permissions from data in Rust
inferred← citeshttps://doi.org/10.1145/3485516openalex-snapshot
Reachability types: tracking aliasing and separation in higher-order functional programs
inferred← citeshttps://doi.org/10.1145/3519939.3523704openalex-snapshot
RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code
inferred← citeshttps://doi.org/10.1145/3589334.3645568openalex-snapshot
Fast and Accurate Fair k-Center Clustering in Doubling Metrics
inferred← citeshttps://doi.org/10.1145/3597503.3639102openalex-snapshot
RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support
inferred← citeshttps://doi.org/10.1145/3622813openalex-snapshot
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
inferred← citeshttps://doi.org/10.1145/3622846openalex-snapshot
Reference Capabilities for Flexible Memory Management
inferred← citeshttps://doi.org/10.1145/3624728openalex-snapshot
Co-Developing Programs and Their Proof of Correctness
inferred← citeshttps://doi.org/10.1145/3626183.3659966openalex-snapshot
When Is Parallelism Fearless and Zero-Cost with Rust?
inferred← citeshttps://doi.org/10.1145/3629104.3666029openalex-snapshot
Safe Shared State in Dataflow Systems
inferred← citeshttps://doi.org/10.1145/3656411openalex-snapshot
Descend: A Safe GPU Systems Programming Language
inferred← citeshttps://doi.org/10.1145/3678721.3686228openalex-snapshot
Dafny vs. Dala: Experience with Mechanising Language Design
inferred← citeshttps://doi.org/10.1145/3690134.3694816openalex-snapshot
BT 2 X: Multi-Leveled Binary Transparency to Protect the Software Supply Chain of Operational Technology
inferred← citeshttps://doi.org/10.1145/3691620.3695010openalex-snapshot
Leveraging Large Language Model to Assist Detecting Rust Code Comment Inconsistency
inferred← citeshttps://doi.org/10.1145/3704875openalex-snapshot
On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
inferred← citeshttps://doi.org/10.1145/3763800openalex-snapshot
An Empirical Study of Bugs in the rustc Compiler
inferred← citeshttps://doi.org/10.1145/3773991openalex-snapshot
PanicFI: An Infrastructure for Fixing Panic Bugs in Real-World Rust Programs
inferred← citeshttps://doi.org/10.1145/3776690openalex-snapshot
Miri: Practical Undefined Behavior Detection for Rust
inferred← citeshttps://doi.org/10.1145/3844149openalex-snapshot
Generative File Systems: Specification-Driven Synthesis and Evolution via LLMs
inferred← citeshttps://doi.org/10.1609/aaai.v38i8.28649openalex-snapshot
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes
inferred← citeshttps://doi.org/10.22215/etd/2021-14936openalex-snapshot
Criteria for Securing Operating Systems Supporting Low-End Devices in the Internet of Things
inferred← citeshttps://doi.org/10.23919/3s60530.2024.10592287openalex-snapshot
Bringing Rust to Safety-Critical Systems in Space
inferred← citeshttps://doi.org/10.31436/iiumej.v27i2.4361openalex-snapshot
TSGL-Rust: Teaching Concurrency Through Compile-Time Enforcement via Rust-Based Visualization of Classical Synchronization Problems
inferred← citeshttps://doi.org/10.3390/electronics15061337openalex-snapshot
Documenting Security Assurance for Resource-Constrained IIoT Devices—The CERTIFY Project Methodology
inferred← citeshttps://doi.org/10.3390/make7030079openalex-snapshot
Machine Learning-Based Vulnerability Detection in Rust Code Using LLVM IR and Transformer Model
inferred← citeshttps://doi.org/10.3390/s22228700openalex-snapshot
A Low-Latency Optimization of a Rust-Based Secure Operating System for Embedded Devices
inferred← citeshttps://doi.org/10.3390/s24175818openalex-snapshot
Overview of Embedded Rust Operating Systems and Frameworks
inferred← citeshttps://doi.org/10.4204/eptcs.337.2openalex-snapshot
Touring the MetaCoq Project (Invited Paper)
inferred← citeshttps://doi.org/10.46298/lmcs-17(3:9)2021openalex-snapshot
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
inferred← citeshttps://doi.org/10.46298/lmcs-18(2:16)2022openalex-snapshot
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
inferred← citeshttps://doi.org/10.48550/arxiv.2107.07670openalex-snapshot
Touring the MetaCoq Project (Invited Paper)
inferred← citeshttps://doi.org/10.5381/jot.2024.23.1.a1openalex-snapshot
Extending the Object-Capability Model with Fine-Grained Type-Based Capabilities.
inferred← citeshttps://doi.org/10.5753/semish.2026.23734openalex-snapshot
Anonimização de Dumps SQL com Memória Constante via Arquitetura em Streaming
inferred← citeshttps://doi.org/10.70675/590f2d18z3876z4b8bz8b0aze027f97ef684openalex-snapshot
Vers un apprentissage protéiforme : accomoder les changements de signature des agents artificiels.
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.