On the public citation graph
Fat Pointers for Temporal Memory Safety of C
0 signed · 62 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.1002/(sici)1097-024x(199701)27:1<87::aid-spe78>3.0.co;2-popenalex-snapshot
Low-cost, Concurrent Checking of Pointer and Array Accesses in C Programs
inferredcites →https://doi.org/10.1002/spe.2105openalex-snapshot
MemSafe: ensuring the spatial and temporal memory safety of C at runtime
inferredcites →https://doi.org/10.1109/csac.1999openalex-snapshot
Proceedings 15th Annual Computer Security Applications Conference (ACSAC'99)
inferredcites →https://doi.org/10.1109/dsn.2006.31openalex-snapshot
Efficiently Detecting All Dangling Pointer Uses in Production Servers
inferredcites →https://doi.org/10.1109/isca.2014.6853201openalex-snapshot
The CHERI capability model: Revisiting RISC in an age of risk
inferredcites →https://doi.org/10.1109/secdev.2018.00015openalex-snapshot
Checked C: Making C Safe by Extension
inferredcites →https://doi.org/10.1109/secdev45635.2020.00018openalex-snapshot
Refactoring the FreeBSD Kernel with Checked C
inferredcites →https://doi.org/10.1109/sp40000.2020.00058openalex-snapshot
MarkUs: Drop-in use-after-free prevention for low-level languages
inferredcites →https://doi.org/10.1109/sp40000.2020.00098openalex-snapshot
Cornucopia: Temporal Safety for CHERI Heaps
inferredcites →https://doi.org/10.1109/tse.1980.230482openalex-snapshot
The Implementation of Run-Time Diagnostics in Pascal
inferredcites →https://doi.org/10.1145/1029894.1029913openalex-snapshot
An efficient and backwards-compatible transformation to ensure memory safety of C programs
inferredcites →https://doi.org/10.1145/1065887.1065892openalex-snapshot
CCured: type-safe retrofitting of legacy software
inferredcites →https://doi.org/10.1145/155090.155109openalex-snapshot
Space efficient conservative garbage collection
inferredcites →https://doi.org/10.1145/178243.178446openalex-snapshot
Efficient detection of all pointer and array access errors
inferredcites →https://doi.org/10.1145/201059.201065openalex-snapshot
Supporting dynamic data structures on distributed-memory machines
inferredcites →https://doi.org/10.1145/237090.237190openalex-snapshot
Compiler-based prefetching for recursive data structures
inferredcites →https://doi.org/10.1145/2810103.2813637openalex-snapshot
From Collision To Exploitation
inferredcites →https://doi.org/10.1145/3136014.3136031openalex-snapshot
Energy efficiency across programming languages: how do energy, time, and memory relate?
inferredcites →https://doi.org/10.1145/3243734.3243826openalex-snapshot
A Robust and Efficient Defense against Use-after-Free Exploits via Concurrent Pointer Sweeping
inferredcites →https://doi.org/10.1145/3377811.3380413openalex-snapshot
Is rust used safely by software developers?
inferredcites →https://doi.org/10.1145/3460319.3464835openalex-snapshot
UAFSan: an object-identifier-based dynamic approach for detecting use-after-free vulnerabilities
inferredcites →https://doi.org/10.1145/3503222.3507780openalex-snapshot
ViK: practical mitigation of temporal memory safety violations through object ID inspection
inferredcites →https://doi.org/10.1145/3551349.3559494openalex-snapshot
Towards Understanding the Runtime Performance of Rust
inferredcites →https://doi.org/10.1145/503272.503282openalex-snapshot
Bounding space usage of conservative garbage collectors
inferredcites →https://doi.org/10.1145/581630.581678openalex-snapshot
Ensuring code safety without runtime checks for real-time control systems
inferredcites →https://doi.org/10.14722/ndss.2015.23190openalex-snapshot
FreeSentry: Protecting Against Use-After-Free Vulnerabilities Due to Dangling Pointers
inferredcites →https://doi.org/10.4230/lipics.snapl.2015.190openalex-snapshot
Everything You Want to Know About Pointer-Based Checking
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-032-27340-6_2openalex-snapshot
Template DBM: A New Weakly Relational Domain for Efficient Memory-Access Validation
inferred← citeshttps://doi.org/10.1007/978-3-032-38692-2_26openalex-snapshot
eMPAC: Unlocking Full Potential of Pointer Authentication in Microcontrollers with Fat Pointers
inferred← citeshttps://doi.org/10.1109/cress68073.2025.11452528openalex-snapshot
Survey of Language Level Memory Safety
inferred← citeshttps://doi.org/10.1109/sp61157.2025.00134openalex-snapshot
SoK: Challenges and Paths Toward Memory Safety for eBPF
inferred← citeshttps://doi.org/10.1109/sp63933.2026.00163openalex-snapshot
SoK: All You Ever Wanted to Know About Bootloader Security but Were Afraid to Ask
inferred← citeshttps://doi.org/10.1109/svcc65277.2025.11133649openalex-snapshot
Demo: Fixing C/C++ Vulnerabilities with LLMs : Prompt, Detect, Fix: No More Unsafe Code
inferred← citeshttps://doi.org/10.1145/3607199.3607212openalex-snapshot
MIFP: Selective Fat-Pointer Bounds Compression for Accurate Bounds Checking
inferred← citeshttps://doi.org/10.1145/3658644.3670279openalex-snapshot
Safeslab: Mitigating Use-After-Free Vulnerabilities via Memory Protection Keys
inferred← citeshttps://doi.org/10.1145/3658644.3670363openalex-snapshot
SeMalloc: Semantics-Informed Memory Allocator
inferred← citeshttps://doi.org/10.1145/3658644.3690310openalex-snapshot
Top of the Heap: Efficient Memory Error Protection of Safe Heap Objects
inferred← citeshttps://doi.org/10.1145/3701993openalex-snapshot
Iterating Pointers: Enabling Static Analysis for Loop-based Pointers
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/3779208.3805988openalex-snapshot
FIDES: End-to-end Compartments for Mixed-language Systems
inferred← citeshttps://doi.org/10.1145/3808266openalex-snapshot
Cpp2Rust: Automatic Translation of C++ to Safe Rust
inferred← citeshttps://doi.org/10.1145/3814943.3816182openalex-snapshot
A Pointer-Ownership Model for C Inspired by Rust
inferred← citeshttps://doi.org/10.3390/jcp4010001openalex-snapshot
How Close Is Existing C/C++ Code to a Safe Subset?
inferred← citeshttps://doi.org/10.5753/sblp.2025.10677openalex-snapshot
Porcelain: A Semantic Framework for Representing and Analyzing Memory Safety Techniques
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.