On the public citation graph
Persistency semantics of the Intel-x86 architecture
0 signed · 102 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/978-3-319-89884-1_33openalex-snapshot
On Parallel Snapshot Isolation and Release/Acquire Consistency
inferredcites →https://doi.org/10.1007/978-3-662-46669-8_13openalex-snapshot
The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO
inferredcites →https://doi.org/10.1007/978-3-662-48653-5_41openalex-snapshot
Hardware Transactions in Nonvolatile Memory
inferredcites →https://doi.org/10.1016/j.microrel.2011.09.028openalex-snapshot
Spin-transfer torque RAM technology: Review and prospect
inferredcites →https://doi.org/10.1109/fccm.2018.00035openalex-snapshot
Microscope on Memory: MPSoC-Enabled Computer Memory System Assessments
inferredcites →https://doi.org/10.1109/icse.2015.77openalex-snapshot
Alloy*: A General-Purpose Higher-Order Relational Constraint Solver
inferredcites →https://doi.org/10.1109/nvmsa.2018.00015openalex-snapshot
Empirical Study of Transactional Management for Persistent Memory
inferredcites →https://doi.org/10.1109/tc.1979.1675439openalex-snapshot
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
inferredcites →https://doi.org/10.1145/1555754.1555758openalex-snapshot
Architecting phase change memory as a scalable dram alternative
inferredcites →https://doi.org/10.1145/1629575.1629589openalex-snapshot
Better I/O through byte-addressable, persistent memory
inferredcites →https://doi.org/10.1145/248052.248106openalex-snapshot
Simple, fast, and practical non-blocking and blocking concurrent queue algorithms
inferredcites →https://doi.org/10.1145/2830772.2830805openalex-snapshot
Efficient persist barriers for multicores
inferredcites →https://doi.org/10.1145/2872362.2872410openalex-snapshot
Failure-Atomic Persistent Memory Updates via JUSTDO Logging
inferredcites →https://doi.org/10.1145/2926697.2926704openalex-snapshot
Persistence programming models for non-volatile memory
inferredcites →https://doi.org/10.1145/2954679.2872381openalex-snapshot
High-Performance Transactions for Persistent Memories
inferredcites →https://doi.org/10.1145/3037697.3037723openalex-snapshot
Automated Synthesis of Comprehensive Memory Model Litmus Test Suites
inferredcites →https://doi.org/10.1145/3178487.3178490openalex-snapshot
A persistent lock-free queue for non-volatile memory
inferredcites →https://doi.org/10.1145/3192366.3192367openalex-snapshot
Persistency for synchronization-free regions
inferredcites →https://doi.org/10.1145/3192366.3192373openalex-snapshot
The semantics of transactions and weak memory in x86, Power, ARM, and C++
inferredcites →https://doi.org/10.1145/325096.325102openalex-snapshot
Memory consistency and event ordering in scalable shared-memory multiprocessors
inferredcites →https://doi.org/10.1145/3276507openalex-snapshot
Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model
inferredcites →https://doi.org/10.1145/3290381openalex-snapshot
On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models
inferredcites →https://doi.org/10.1145/3314221.3314609openalex-snapshot
Model checking for weakly consistent libraries
inferredcites →https://doi.org/10.1145/3360561openalex-snapshot
Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models
inferredcites →https://doi.org/10.1145/3360599openalex-snapshot
Effective lock handling in stateless model checking
inferredcites →https://doi.org/10.1145/78969.78972openalex-snapshot
Linearizability: a correctness condition for concurrent objects
inferredcites →https://doi.org/10.4230/lipics.disc.2017.37openalex-snapshot
Dalí: A Periodically Persistent Hash Map
inferredcites →https://doi.org/10.48550/arxiv.1805.06196openalex-snapshot
On the Semantics of Snapshot Isolation
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/stvr.1812openalex-snapshot
High‐coverage metamorphic testing of concurrency support in C compilers
inferred← citeshttps://doi.org/10.1007/978-3-030-44914-8_23openalex-snapshot
ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures
inferred← citeshttps://doi.org/10.1007/978-3-030-99336-8_10openalex-snapshot
Abstraction for Crash-Resilient Objects
inferred← citeshttps://doi.org/10.1007/978-3-030-99336-8_9openalex-snapshot
View-Based Owicki–Gries Reasoning for Persistent x86-TSO
inferred← citeshttps://doi.org/10.1007/978-3-031-22337-2_24openalex-snapshot
Consistency and Persistency in Program Verification: Challenges and Opportunities
inferred← citeshttps://doi.org/10.1007/978-3-031-25803-9_6openalex-snapshot
SMT-Based Verification of Persistency Invariants of Px86 Programs
inferred← citeshttps://doi.org/10.1007/978-3-031-50521-8_2openalex-snapshot
A Fully Verified Persistency Library
inferred← citeshttps://doi.org/10.1007/978-3-031-57267-8openalex-snapshot
Programming Languages and Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-57267-8_6openalex-snapshot
Intel PMDK Transactions: Specification, Validation and Concurrency
inferred← citeshttps://doi.org/10.1007/978-3-031-57267-8_8openalex-snapshot
Specifying and Verifying Persistent Libraries
inferred← citeshttps://doi.org/10.1007/978-3-031-91118-7_3openalex-snapshot
Sufficient Conditions for Robustness of RDMA Programs
inferred← citeshttps://doi.org/10.1007/978-3-031-92196-4_16openalex-snapshot
Mirror is Not Strong: Discovery of a Persistent Memory Bug using Refinement in KIV
inferred← citeshttps://doi.org/10.1007/978-3-032-26220-2_20openalex-snapshot
Reasoning over Relaxed Shared Memory Models: A Tutorial
inferred← citeshttps://doi.org/10.1007/s00165-021-00541-8openalex-snapshot
Verifying correctness of persistent concurrent data structures: a sound and complete method
inferred← citeshttps://doi.org/10.1007/s10703-024-00462-1openalex-snapshot
A verified durable transactional mutex lock for persistent x86-TSO
inferred← citeshttps://doi.org/10.1016/j.scico.2024.103227openalex-snapshot
Verification of forward simulations with thread-local, step-local proof obligations
inferred← citeshttps://doi.org/10.1016/j.sysarc.2022.102629openalex-snapshot
Efficient persistent memory file systems using virtual superpages with multi-level allocator
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00208openalex-snapshot
Automated Insertion of Flushes and Fences for Persistency
inferred← citeshttps://doi.org/10.1109/hpca51647.2021.00019openalex-snapshot
BBB: Simplifying Persistent Programming using Battery-Backed Buffers
inferred← citeshttps://doi.org/10.1109/hpca51647.2021.00021openalex-snapshot
TSOPER: Efficient Coherence-Based Strict Persistency
inferred← citeshttps://doi.org/10.1109/hpca53966.2022.00070openalex-snapshot
ASAP: A Speculative Approach to Persistence
inferred← citeshttps://doi.org/10.1109/ipdps53621.2022.00016openalex-snapshot
SSB-Tree: Making Persistent Memory B+- Trees Crash-Consistent and Concurrent by Lazy-Box
inferred← citeshttps://doi.org/10.1109/saner67736.2026.00113openalex-snapshot
Symbolic Analysis for Repairing Bugs in Concurrent Persistent-Memory Programs
inferred← citeshttps://doi.org/10.1145/3385412.3386000openalex-snapshot
PMThreads: persistent memory threads harnessing versioned shadow copies
inferred← citeshttps://doi.org/10.1145/3385412.3386031openalex-snapshot
NVTraverse: in NVRAM data structures, the destination is more important than the journey
inferred← citeshttps://doi.org/10.1145/3428219openalex-snapshot
Persistent Owicki-Gries reasoning: a program logic for reasoning about persistent programs on Intel-x86
inferred← citeshttps://doi.org/10.1145/3428231openalex-snapshot
Towards a formal foundation of intermittent computing
inferred← citeshttps://doi.org/10.1145/3434324openalex-snapshot
PerSeVerE: persistency semantics for verification under ext4
inferred← citeshttps://doi.org/10.1145/3434337openalex-snapshot
Deciding reachability under persistent x86-TSO
inferred← citeshttps://doi.org/10.1145/3453483.3454027openalex-snapshot
Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8
inferred← citeshttps://doi.org/10.1145/3453483.3454081openalex-snapshot
Automatically enforcing fresh and consistent inputs in intermittent systems
inferred← citeshttps://doi.org/10.1145/3453483.3454105openalex-snapshot
Mirror: making lock-free data structures persistent
inferred← citeshttps://doi.org/10.1145/3458593.3458595openalex-snapshot
What is decidable under the TSO memory model?
inferred← citeshttps://doi.org/10.1145/3498683openalex-snapshot
Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores
inferred← citeshttps://doi.org/10.1145/3503222.3507766openalex-snapshot
Yashme: detecting persistency races
inferred← citeshttps://doi.org/10.1145/3519939.3523723openalex-snapshot
Checking robustness to weak persistency models
inferred← citeshttps://doi.org/10.1145/3552326.3587447openalex-snapshot
Mumak: Efficient and Black-Box Bug Detection for Persistent Memory
inferred← citeshttps://doi.org/10.1145/3571253openalex-snapshot
Taking Back Control in an Intermediate Representation for GPU Computing
inferred← citeshttps://doi.org/10.1145/3575693.3575749openalex-snapshot
Scoped Buffered Persistency Model for GPUs
inferred← citeshttps://doi.org/10.1145/3591232openalex-snapshot
Memento: A Framework for Detectable Recoverability in Persistent Memory
inferred← citeshttps://doi.org/10.1145/3620665.3640407openalex-snapshot
Skip It: Take Control of Your Cache!
inferred← citeshttps://doi.org/10.1145/3622820openalex-snapshot
Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory
inferred← citeshttps://doi.org/10.1145/3639476openalex-snapshot
Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results
inferred← citeshttps://doi.org/10.1145/3656019.3676944openalex-snapshot
Toast: A Heterogeneous Memory Management System
inferred← citeshttps://doi.org/10.1145/3656425openalex-snapshot
Verification under Intel-x86 with Persistency
inferred← citeshttps://doi.org/10.1145/3669940.3707269openalex-snapshot
Robustness Verification for Checking Crash Consistency of Non-volatile Memory
inferred← citeshttps://doi.org/10.1145/3689781openalex-snapshot
Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures
inferred← citeshttps://doi.org/10.1145/3689792openalex-snapshot
Compositionality and Observational Refinement for Linearizability with Crashes
inferred← citeshttps://doi.org/10.1145/3691620.3695544openalex-snapshot
Discovering Likely Program Invariants for Persistent Memory
inferred← citeshttps://doi.org/10.1145/3716311openalex-snapshot
Modal Crash Types for WAR-Aware Intermittent Computing
inferred← citeshttps://doi.org/10.1145/3720431openalex-snapshot
Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
inferred← citeshttps://doi.org/10.1145/3763100openalex-snapshot
Shaking Up Quantum Simulators with Fuzzing and Rigour
inferred← citeshttps://doi.org/10.1145/3779212.3790150openalex-snapshot
CXLMC: Model Checking CXL Shared Memory Programs
inferred← citeshttps://doi.org/10.2197/ipsjjip.29.823openalex-snapshot
Durable Queue Implementations Built on a Formally Defined Strand Persistency Model
inferred← citeshttps://doi.org/10.46298/lmcs-18(3:7)2022openalex-snapshot
Modularising Verification Of Durable Opacity
inferred← citeshttps://doi.org/10.48550/arxiv.2010.13593openalex-snapshot
Taming x86-TSO Persistency (Extended Version)
inferred← citeshttps://doi.org/10.48550/arxiv.2108.04202openalex-snapshot
FliT: A Library for Simple and Efficient Persistent Algorithms
inferred← citeshttps://doi.org/10.48550/arxiv.2111.03881openalex-snapshot
Abstraction for Crash-Resilient Objects (Extended Version)
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.