Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T05:26:42.087326Z
Paper Citation Record · LEDGER
The complexity of verifying the release-acquire semantics over register machines
As of 8 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:2506.08238.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
27 of 27 outbound references displayed
- verified exact0
- verified fuzzy27
- unresolved0
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 58b46732-aae5-48f9-8be0-40c88a72efd9 · outbound
This paper cites Optimal stateless model checking under the release-acquire semantics.
The complexity of verifying the release-acquire semantics over register machines Optimal stateless model checking under the release-acquire semantics
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.547041Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 12f5f101-f6a3-40cc-b79e-995427b4a12e · outbound
This paper cites General decidability theorems for infinite-state systems.
The complexity of verifying the release-acquire semantics over register machines General decidability theorems for infinite-state systems
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.531540Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 905d3952-4681-41fd-9e8a-e27597e42d8e · outbound
This paper cites Burns, Prince Kohli, and Phillip W.
The complexity of verifying the release-acquire semantics over register machines Burns, Prince Kohli, and Phillip W
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.516367Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9b9c032f-9c11-4470-92fd-e6e0a5645dac · outbound
This paper cites Herding cats: Modelling, simulation, testing, and data mining for weak memory.
The complexity of verifying the release-acquire semantics over register machines Herding cats: Modelling, simulation, testing, and data mining for weak memory
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.500347Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d1fec5cc-bfb0-456c-8084-41622ad7fe5b · outbound
This paper cites McMillan, and Doron A.
The complexity of verifying the release-acquire semantics over register machines McMillan, and Doron A
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.484308Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 68e84219-3adb-4bd9-96e6-89588683196f · outbound
This paper cites Ccchecker.
The complexity of verifying the release-acquire semantics over register machines Ccchecker
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.468779Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b8f4868d-97df-427a-8216-7d4577b1fd9c · outbound
This paper cites Clarifying and compiling C/C++ concurrency: from C++11 to POWER.
The complexity of verifying the release-acquire semantics over register machines Clarifying and compiling C/C++ concurrency: from C++11 to POWER
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.453169Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation dc8de62d-db4d-4e98-b24d-ed18303cb83c · outbound
This paper cites Mathematizing C++ concurrency.
The complexity of verifying the release-acquire semantics over register machines Mathematizing C++ concurrency
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.437825Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation dfa02c44-a4d5-47c5-8ad7-49c14b37f2e6 · outbound
This paper cites On verifying causal consistency.
The complexity of verifying the release-acquire semantics over register machines On verifying causal consistency
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.422526Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 1b4d8a42-08b3-4a0b-9ac0-589b78083a60 · outbound
This paper cites Principles of eventual consistency.
The complexity of verifying the release-acquire semantics over register machines Principles of eventual consistency
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.406637Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 13278ac1-2808-4a7c-8997-059a7073a8f6 · outbound
This paper cites Constraint-based verification of parameterized cache coherence protocols.
The complexity of verifying the release-acquire semantics over register machines Constraint-based verification of parameterized cache coherence protocols
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.391283Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 08ce7289-b3b7-4b8a-a43a-39f7ece3cbca · outbound
This paper cites Scalable tree-based register automata learning.
The complexity of verifying the release-acquire semantics over register machines Scalable tree-based register automata learning
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.375738Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation bd981e39-3179-4d23-9352-e673847ad97d · outbound
This paper cites Well-structured transition systems everywhere! Theor.
The complexity of verifying the release-acquire semantics over register machines Well-structured transition systems everywhere! Theor
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.360341Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 3fa5293c-60c7-452e-8aa0-3d325757a24e · outbound
This paper cites Automata-based automated detection of state machine bugs in protocol implementations.
The complexity of verifying the release-acquire semantics over register machines Automata-based automated detection of state machine bugs in protocol implementations
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.344846Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 8645d81d-fddd-4363-a3ac-3b9db11c951e · outbound
This paper cites Gibbons and Ephraim Korach.
The complexity of verifying the release-acquire semantics over register machines Gibbons and Ephraim Korach
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.329214Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f23b5983-5c7c-47ed-a236-5399995b0148 · outbound
This paper cites Effective stateless model checking for C/C++ concurrency.
The complexity of verifying the release-acquire semantics over register machines Effective stateless model checking for C/C++ concurrency
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.313496Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 96a170d0-8685-4194-8ff4-23332b0b8a6c · outbound
This paper cites Kater: Automating weak memory model metatheory and consistency checking.
The complexity of verifying the release-acquire semantics over register machines Kater: Automating weak memory model metatheory and consistency checking
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.296420Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 2230b0fa-73e5-49fa-8ed0-b45fe487ce6d · outbound
This paper cites What's decidable about causally consistent shared memory? ACM Trans.
The complexity of verifying the release-acquire semantics over register machines What's decidable about causally consistent shared memory? ACM Trans
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.280261Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f174a503-193c-4c9d-9d8f-f17e848cca49 · outbound
This paper cites Taming release-acquire consistency.
The complexity of verifying the release-acquire semantics over register machines Taming release-acquire consistency
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.264360Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 23048938-0410-4835-847e-2536892b57b8 · outbound
This paper cites C11tester: a race detector for C/C++ atomics.
The complexity of verifying the release-acquire semantics over register machines C11tester: a race detector for C/C++ atomics
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.248328Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 478187cc-ef00-456a-a8c2-5d9a24028fee · outbound
This paper cites Causal consistency: beyond memory.
The complexity of verifying the release-acquire semantics over register machines Causal consistency: beyond memory
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.232819Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 88fab388-d99a-4170-9f0f-8843a2c029b2 · outbound
This paper cites On parallel snapshot isolation and release/acquire consistency.
The complexity of verifying the release-acquire semantics over register machines On parallel snapshot isolation and release/acquire consistency
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.216040Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d43d686e-2156-4ed3-9b84-a8fc1089f83d · outbound
This paper cites Synchronising C/C++ and POWER.
The complexity of verifying the release-acquire semantics over register machines Synchronising C/C++ and POWER
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.195897Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ff530481-0c4b-4224-8a05-c999ad0fbb27 · outbound
This paper cites Efficient and correct execution of parallel programs that share memory.
The complexity of verifying the release-acquire semantics over register machines Efficient and correct execution of parallel programs that share memory
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.178307Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 29597515-94cf-42b9-a0e8-c25f4775dc46 · outbound
This paper cites Aguilera, and Jinyang Li.
The complexity of verifying the release-acquire semantics over register machines Aguilera, and Jinyang Li
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.160170Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation a6b45398-20cc-4d3d-bfed-ac93997807b1 · outbound
This paper cites Optimal reads-from consistency checking for c11-style memory models.
The complexity of verifying the release-acquire semantics over register machines Optimal reads-from consistency checking for c11-style memory models
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.143796Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f81d43fc-547f-4a35-af74-443c72f44b94 · outbound
This paper cites Expressing interesting properties of programs in propositional temporal logic.
The complexity of verifying the release-acquire semantics over register machines Expressing interesting properties of programs in propositional temporal logic
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:26:42.126610Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Pith citing papers
No inbound Pith citation observations are available.