On the public citation graph

GhostCell: separating permissions from data in Rust

https://doi.org/10.1145/3473597
0 signed · 45 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-3-642-00590-9_27openalex-snapshot
A Basis for Verifying Multi-threaded Programs
inferredcites →https://doi.org/10.1007/978-3-642-03013-0_8openalex-snapshot
Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic
inferredcites →https://doi.org/10.1007/978-3-642-20398-5_4openalex-snapshot
VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java
inferredcites →https://doi.org/10.1007/978-3-662-49122-5_2openalex-snapshot
Viper: A Verification Infrastructure for Permission-Based Reasoning
inferredcites →https://doi.org/10.1007/bf01018827openalex-snapshot
State in Haskell
inferredcites →https://doi.org/10.1016/j.entcs.2006.10.039openalex-snapshot
Lightweight Static Capabilities
inferredcites →https://doi.org/10.1017/s0956796801004154openalex-snapshot
Monadic encapsulation of effects: a revised approach (extended version)
inferredcites →https://doi.org/10.1017/s0956796806006046openalex-snapshot
Phantom types and subtyping
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.1023/b:lisp.0000029446.78563.a4openalex-snapshot
A Retrospective on Region-Based Memory Management
inferredcites →https://doi.org/10.1109/lics.2002.1029817openalex-snapshot
Separation logic: a logic for shared mutable data structures
inferredcites →https://doi.org/10.1145/1749608.1749611openalex-snapshot
Semantics of fractional permissions with nesting
inferredcites →https://doi.org/10.1145/2663171.2663188openalex-snapshot
The rust language
inferredcites →https://doi.org/10.1145/2676726.2676980openalex-snapshot
Iris
inferredcites →https://doi.org/10.1145/2837022openalex-snapshot
The Design and Formalization of Mezzo, a Permission-Based Programming Language
inferredcites →https://doi.org/10.1145/3009837.3009855openalex-snapshot
Interactive proofs in higher-order concurrent separation logic
inferredcites →https://doi.org/10.1145/3158152openalex-snapshot
A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST
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/3418295openalex-snapshot
Safe Systems Programming in Rust: The Promise and the Challenge
inferredcites →https://doi.org/10.1145/512529.512532openalex-snapshot
Adoption and focus
inferredcites →https://doi.org/10.1145/512529.512563openalex-snapshot
Region-based memory management in cyclone
inferredcites →https://doi.org/10.1145/62678openalex-snapshot
Proceedings of the 1988 ACM conference on LISP and functional programming

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-57256-2_13openalex-snapshot
OxiDD
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.scico.2024.103152openalex-snapshot
Taming shared mutable states of operating systems in Rust
inferred← citeshttps://doi.org/10.1109/ainit59027.2023.10212755openalex-snapshot
Designing Data Permissions in the Enterprise Application Environment
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00183openalex-snapshot
Safe Low-Level Code Without Overhead is Practical
inferred← citeshttps://doi.org/10.1145/3519939.3523443openalex-snapshot
A flexible type system for fearless concurrency
inferred← citeshttps://doi.org/10.1145/3527313openalex-snapshot
Linear types for large-scale systems verification
inferred← citeshttps://doi.org/10.1145/3558481.3591313openalex-snapshot
Brief Announcement: Is the Problem-Based Benchmark Suite Fearless with Rust?
inferred← citeshttps://doi.org/10.1145/3586037openalex-snapshot
Verus: Verifying Rust Programs using Linear Ghost Types
inferred← citeshttps://doi.org/10.1145/3611096.3611097openalex-snapshot
Rusty Links in Local Chains✱
inferred← citeshttps://doi.org/10.1145/3617651openalex-snapshot
Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes
inferred← citeshttps://doi.org/10.1145/3617651.3622992openalex-snapshot
Towards Safe HPC: Productivity and Performance via Rust Interfaces for a Distributed C++ Actors Library (Work in Progress)
inferred← citeshttps://doi.org/10.1145/3622801openalex-snapshot
AtomiS: Data-Centric Synchronization Made Practical
inferred← citeshttps://doi.org/10.1145/3622841openalex-snapshot
A Grounded Conceptual Model for Ownership Types in Rust
inferred← citeshttps://doi.org/10.1145/3622846openalex-snapshot
Reference Capabilities for Flexible Memory Management
inferred← citeshttps://doi.org/10.1145/3626183.3659966openalex-snapshot
When Is Parallelism Fearless and Zero-Cost with Rust?
inferred← citeshttps://doi.org/10.1145/3704859openalex-snapshot
Data Race Freedom à la Mode
inferred← citeshttps://doi.org/10.1145/3729250openalex-snapshot
Nola: Later-Free Ghost State for Verifying Termination in Iris
inferred← citeshttps://doi.org/10.1145/3763179openalex-snapshot
Garbage Collection for Rust: The Finalizer Frontier
inferred← citeshttps://doi.org/10.1145/3798277openalex-snapshot
A Mixed Methods Study on the Implications of Unsafe Rust for Interoperation, Encapsulation, and Tooling
inferred← citeshttps://doi.org/10.1145/3808325openalex-snapshot
VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System
inferred← citeshttps://doi.org/10.3390/make7030079openalex-snapshot
Machine Learning-Based Vulnerability Detection in Rust Code Using LLVM IR and Transformer Model
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.