Paper Citation Record · LEDGER

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols

As of 20 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 0 inbound Pith citation observations for arXiv:2608.05965.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2608.05965 v1

Coverage vector

measured 39 of 39 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T20:16:29.822107Z

measured 39 of 39 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

39 of 39 outbound references displayed

verified exact1
verified fuzzy11
unresolved24
parse uncertain0
malformed identifier0
metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e73354bf-45b9-4006-b773-f6c27e50b774 · outbound

This paper cites an unresolved cited work.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-07T20:16:31.058255Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation edc27ffa-55b2-46d9-8d5f-a9243d57dafd · outbound

This paper cites an unresolved cited work.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-07T20:16:31.043305Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 2765df78-c1c7-487d-b45c-6d8f6ed73836 · outbound

This paper cites an unresolved cited work.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Unresolved cited work

Reference 3

Resolution: verified exact; doi, observed 2026-08-07T20:16:29.896506Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 902101dd-0e3c-444a-9ca1-67213ed1fa49 · outbound

This paper cites Sinclair, and Sarita V.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Sinclair, and Sarita V

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T20:16:31.026652Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 584fbc40-96c4-465b-9b19-7e8774e30da3 · outbound

This paper cites d.].ARM v-8 Architecture Reference Manual.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols d.].ARM v-8 Architecture Reference Manual

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T20:16:31.012157Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 021b3903-4b00-4804-abb7-1064da589356 · outbound

This paper cites 2008.Principles of model checking.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols 2008.Principles of model checking

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T20:16:29.665024Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0bfb9679-21e5-4bdb-9bd2-b59923483bf5 · outbound

This paper cites an unresolved cited work.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-07T20:16:30.987933Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 2b3883d9-969f-43ef-83ee-c44d4daa59d6 · outbound

This paper cites Beckmann, Steven K.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Beckmann, Steven K

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T20:16:29.674373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 168bbdff-002f-41e3-aed4-960bd7f055eb · outbound

This paper cites an unresolved cited work.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-07T20:16:30.973437Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 3054ee1c-fafd-40fd-b6e9-7fec5f3bfb09 · outbound

This paper cites Clarke, D.E.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Clarke, D.E

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-07T20:16:29.688228Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f41a88e-d2c1-4622-b801-a7ea116c6cf4 · outbound

This paper cites Clarke, Orna Grumberg, and David E.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Clarke, Orna Grumberg, and David E

Reference 11

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T20:16:30.532034Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 8825c955-36e1-4536-a2d0-10537b06ca01 · outbound

This paper cites an unresolved cited work.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-07T20:16:30.943467Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 9285bc03-14d2-469a-a1cf-aa2bb288de7b · outbound

This paper cites an unresolved cited work.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T20:16:29.701572Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b61fe59-6bfb-4797-84f4-d9099370754d · outbound

This paper cites an unresolved cited work.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-07T20:16:30.928542Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 78742007-20eb-4764-9cd1-116920e8d92d · outbound

This paper cites Ferenbaugh.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Ferenbaugh

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-07T20:16:29.710547Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 385b102f-8e47-46ea-b0b0-e829e2d92c2a · outbound

This paper cites an unresolved cited work.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T20:16:29.715632Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f86a5a8d-6706-47a5-b69d-f47d19c0e362 · outbound

This paper cites Leiserson.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Leiserson

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T20:16:30.913934Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 4fdef7b6-b461-48f0-a2d4-390b4438a7ff · outbound

This paper cites an unresolved cited work.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-07T20:16:29.725179Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76c0a819-d686-4709-bb6b-d4298ad40355 · outbound

This paper cites an unresolved cited work.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-07T20:16:30.899922Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 264baa67-7971-4e38-9bb5-a86e83c3fdb8 · outbound

This paper cites The gem5 Simulator: Version 20.0+.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols The gem5 Simulator: Version 20.0+

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T20:16:29.734419Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 53ff4e03-756a-4004-ad68-7a2f6a6c8e44 · outbound

This paper cites an unresolved cited work.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-07T20:16:30.885256Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation fc7d429c-ed70-42cf-83c8-70da730fe0ce · outbound

This paper cites an unresolved cited work.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-07T20:16:30.870497Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 8b5815d9-1c96-4983-8307-1a7e3ff7ad92 · outbound

This paper cites Manerkar, Daniel Lustig, Michael Pellauer, and Margaret Martonosi.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Manerkar, Daniel Lustig, Michael Pellauer, and Margaret Martonosi

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T20:16:29.749456Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 89cb7195-868a-4586-8190-933f26aa9747 · outbound

This paper cites an unresolved cited work.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-07T20:16:30.856137Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 1b904e18-f97d-41e5-8d9f-aadf655acd13 · outbound

This paper cites McCalpin.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols McCalpin

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T20:16:30.841327Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 3dadce10-58de-4c05-bc54-9a5886334ba0 · outbound

This paper cites McMillan.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols McMillan

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T20:16:29.765540Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03b1bc62-a574-43c9-b143-015a2d5638c6 · outbound

This paper cites Sorin, Mark D.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Sorin, Mark D

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T20:16:30.826071Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation e0eca68f-0b83-46a2-aadc-921b74a26166 · outbound

This paper cites Olson, Mark D.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Olson, Mark D

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T20:16:30.811317Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation e87681c4-0cf5-40b1-8bcd-9f88436c0c1b · outbound

This paper cites an unresolved cited work.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-07T20:16:30.795978Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 00393bd6-1f74-4023-a047-a4794b3f9057 · outbound

This paper cites an unresolved cited work.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-07T20:16:30.781201Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation cbdd3d8d-ba43-4377-8ed7-386b20177975 · outbound

This paper cites Sorin, Vasilis Gavrielatos, Theo Olausson, and Reece Carr.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Sorin, Vasilis Gavrielatos, Theo Olausson, and Reece Carr

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T20:16:30.765077Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation b0d44e03-2cd5-45c4-9b73-576fb67e2530 · outbound

This paper cites an unresolved cited work.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-07T20:16:29.794733Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87915cda-80ac-4eba-bab9-926342bd2d92 · outbound

This paper cites an unresolved cited work.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-07T20:16:30.749990Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation d2acf255-a4d6-445b-85d9-69008ab3959d · outbound

This paper cites an unresolved cited work.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Unresolved cited work

Reference 34

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T20:16:30.183167Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 33aad998-0547-4a72-8da2-66706708a7c2 · outbound

This paper cites Sinclair, Johnathan Alsop, and Sarita V.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Sinclair, Johnathan Alsop, and Sarita V

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T20:16:30.735378Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 69a6ad8b-ee55-4992-a561-a5a60d00c076 · outbound

This paper cites Sinclair, Johnathan Alsop, and Sarita V.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Sinclair, Johnathan Alsop, and Sarita V

Reference 36

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T20:16:30.076729Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation adf123fe-ce06-415f-85b8-d8438229b85b · outbound

This paper cites 2014.The RISC-V Instruction Set Manual, Volume I: Base user-level ISA.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols 2014.The RISC-V Instruction Set Manual, Volume I: Base user-level ISA

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T20:16:30.720350Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 6457d3a3-86db-4318-abae-d99c2dd06234 · outbound

This paper cites Lebeck, and Daniel J.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols Lebeck, and Daniel J

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T20:16:30.704812Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 97585fca-1008-4149-a190-db0966869fe0 · outbound

This paper cites InProceedings of the 20th International Conference on Parallel Architectures and Compilation Techniques.

Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols InProceedings of the 20th International Conference on Parallel Architectures and Compilation Techniques

Reference 2011

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T20:16:30.958873Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Pith citing papers

No inbound Pith citation observations are available.