{"as_of":"2026-08-14T10:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e9c056315c6cb95ebfe6be4002e7ea7a52e0aeccdf48e73fb12073c49c65285b","coverage":[{"denominator":39,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":39,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T20:16:29.822107Z","state":"measured"},{"denominator":39,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":39,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2608.05965/citation-record","integrity":"/paper/2608.05965/integrity","json":"/paper/2608.05965/citation-record.json","paper":"/paper/2608.05965"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:31.053589Z","title":null,"venue":null,"work_id":"841fa181-9921-478b-a4dc-f6dc40b81579","year":2021},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.640897Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:4a654f21c2b70731bbb85e5cb1549326f2b1427e7621c41ff0f9716b42a9cc22","observation_id":"e73354bf-45b9-4006-b773-f6c27e50b774","resolution":{"observed_at":"2026-08-07T20:16:31.058255Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:31.037501Z","title":null,"venue":null,"work_id":"3f78a92c-f04d-4a50-bf0e-da5352373dcd","year":2019},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.646067Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:f564754a0300f8c05d72109a54cb6be7732363002d719b199ad38ae3491b4f36","observation_id":"edc27ffa-55b2-46d9-8d5f-a9243d57dafd","resolution":{"observed_at":"2026-08-07T20:16:31.043305Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-19835-9_5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":null,"venue":"Lecture notes in computer science","work_id":"93f25237-dbd8-4102-9c89-0acb5621c792","year":2011},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.650902Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:a3530ea844c2a35a74dc822cf81185d107053ed37742034ee230da3008585286","observation_id":"2765df78-c1c7-487d-b45c-6d8f6ed73836","resolution":{"observed_at":"2026-08-07T20:16:29.896506Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:31.022048Z","title":"Sinclair, and Sarita V","venue":null,"work_id":"8d248e4b-c8c4-4cd3-a7a2-3ee846298ca9","year":2018},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.655651Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:53d65c685502362836efe2de39b9bbcf64655aec1aaf7426135778b3a00104bd","observation_id":"902101dd-0e3c-444a-9ca1-67213ed1fa49","resolution":{"observed_at":"2026-08-07T20:16:31.026652Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:31.007419Z","title":"d.].ARM v-8 Architecture Reference Manual","venue":null,"work_id":"15226118-ae42-4636-a176-b2525705d9cb","year":null},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.660532Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:760a45a0d57e761e9b222686ec7b8f1eb124dd8e1fbfd794805dd4b85402645c","observation_id":"584fbc40-96c4-465b-9b19-7e8774e30da3","resolution":{"observed_at":"2026-08-07T20:16:31.012157Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:29.665024Z","title":"2008.Principles of model checking","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.665024Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:add1f3714dfdc4b825fba14d8e39aa5b980b8788e32e24930ebe7a125a448658","observation_id":"021b3903-4b00-4804-abb7-1064da589356","resolution":{"observed_at":"2026-08-07T20:16:29.665024Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:30.983033Z","title":null,"venue":null,"work_id":"407ee802-cdef-494b-8649-39eb9ef099a6","year":2006},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.669467Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:2aa6ac75a7dd0384d14fba562f540cd10222f635f0d773d4cd49928797fb64c5","observation_id":"0bfb9679-21e5-4bdb-9bd2-b59923483bf5","resolution":{"observed_at":"2026-08-07T20:16:30.987933Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:29.674373Z","title":"Beckmann, Steven K","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.674373Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:2c471a635eae78503d123e2363332e5f6f33bd03296ce1ebecca1b0fd849cb5b","observation_id":"2b3883d9-969f-43ef-83ee-c44d4daa59d6","resolution":{"observed_at":"2026-08-07T20:16:29.674373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:30.968699Z","title":null,"venue":null,"work_id":"ed5b5a3a-d014-4a18-b575-4e14051cf5cf","year":null},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.679032Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:582c76a289abe778ba7a578abab5e836ff8aa47f8f5a95ca40b723bc00b68f90","observation_id":"168bbdff-002f-41e3-aed4-960bd7f055eb","resolution":{"observed_at":"2026-08-07T20:16:30.973437Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:29.688228Z","title":"Clarke, D.E","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.688228Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:2742138694cd2ef8f40424d5a8adb64bd7b14f2a027c1d2d004ad0dc0cab21ff","observation_id":"3054ee1c-fafd-40fd-b6e9-7fec5f3bfb09","resolution":{"observed_at":"2026-08-07T20:16:29.688228Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3165.14323","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:30.524664Z","title":"Clarke, Orna Grumberg, and David E","venue":null,"work_id":"0fd9ad97-f880-466e-a603-7ca99ff125c6","year":1992},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.692481Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:e55ece19ae97055f9da23af23424448c5e9d70b33528a5775a7688553a0b768a","observation_id":"3f41a88e-d2c1-4622-b801-a7ea116c6cf4","resolution":{"observed_at":"2026-08-07T20:16:30.532034Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:30.938341Z","title":null,"venue":null,"work_id":"1e390270-49cc-4488-9a8e-0d595afa4f3b","year":2024},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.696989Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:9fface68c098706a8bf00d0cc92be86b937b3270ef1f6b3e73ce59b7437b88d5","observation_id":"8825c955-36e1-4536-a2d0-10537b06ca01","resolution":{"observed_at":"2026-08-07T20:16:30.943467Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:29.701572Z","title":null,"venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.701572Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:66241bb49976f47429855ffc3f82b5f52b1b97cffc7471f74b90073c5cb21274","observation_id":"9285bc03-14d2-469a-a1cf-aa2bb288de7b","resolution":{"observed_at":"2026-08-07T20:16:29.701572Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:30.923639Z","title":null,"venue":null,"work_id":"de43051b-5bb6-4cd6-93f3-69b4a7da81ee","year":1996},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.706146Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:0450afa9a13e54eb2b5c0dcdf21846c64ab86a633bc1e5c5886fb60c32da6b3b","observation_id":"2b61fe59-6bfb-4797-84f4-d9099370754d","resolution":{"observed_at":"2026-08-07T20:16:30.928542Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:29.710547Z","title":"Ferenbaugh","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.710547Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:fe13858f291189a8e26762efab7bdba76898db09637d8b3494a8bca3ddc737e5","observation_id":"78742007-20eb-4764-9cd1-116920e8d92d","resolution":{"observed_at":"2026-08-07T20:16:29.710547Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:29.715632Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.715632Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:3b21d7fad64bc51c580976817aceb8f01cb6d508d50b6ea4cafbe02794f39e0a","observation_id":"385b102f-8e47-46ea-b0b0-e829e2d92c2a","resolution":{"observed_at":"2026-08-07T20:16:29.715632Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:30.909329Z","title":"Leiserson","venue":null,"work_id":"16f72167-432e-4ab5-8781-79dabde4adb4","year":2008},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.720683Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:e3e2e988d5a941ed9bf3b79d8e5dc7d4e8298af5972cf510ba4b6550bae0c3ef","observation_id":"f86a5a8d-6706-47a5-b69d-f47d19c0e362","resolution":{"observed_at":"2026-08-07T20:16:30.913934Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:29.725179Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.725179Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:53cf090b833b50a228ddf9f3d9eb749469f4a53596fc52f883ad3f5389ac15d2","observation_id":"4fdef7b6-b461-48f0-a2d4-390b4438a7ff","resolution":{"observed_at":"2026-08-07T20:16:29.725179Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:30.894575Z","title":null,"venue":null,"work_id":"aedd9281-ae41-4c17-87a0-b4140c452376","year":2026},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.729673Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:f121a0e7912b680953fbfd3ad9d05b063f1bfdf5671b7fafcaee926e187d6a74","observation_id":"76c0a819-d686-4709-bb6b-d4298ad40355","resolution":{"observed_at":"2026-08-07T20:16:30.899922Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2007.03152","last_updated":"2020-09-30T02:35:48Z","snapshot_observed_at":"2026-08-14T04:51:50.002524Z","submitted_at":"2020-07-07T01:15:13Z","title":"The gem5 Simulator: Version 20.0+","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2007.03152","snapshot_observed_at":"2026-08-07T20:16:29.734419Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.734419Z"},"links":{"cited_paper":"/paper/2007.03152","citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:60a10f82baca9556d01b384dbd55fec67818f0772d772a1ca06a00464f5f2da0","observation_id":"264baa67-7971-4e38-9bb5-a86e83c3fdb8","resolution":{"observed_at":"2026-08-07T20:16:29.734419Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:30.880591Z","title":null,"venue":null,"work_id":"8750a66b-6f47-4d6e-84bf-6316089b7ca4","year":2015},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.740410Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:845816bda2e438376286441f76ed543c6508158f8c8bf30842277f4cba6c9826","observation_id":"53ff4e03-756a-4004-ad68-7a2f6a6c8e44","resolution":{"observed_at":"2026-08-07T20:16:30.885256Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:30.865785Z","title":null,"venue":null,"work_id":"7271c52f-528f-4c6a-89e9-ecf0181326e5","year":2010},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.745174Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:d266f2773a3706468878aa0ccf025450d3ceaf32c847e4477958468296a04e4d","observation_id":"fc7d429c-ed70-42cf-83c8-70da730fe0ce","resolution":{"observed_at":"2026-08-07T20:16:30.870497Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:29.749456Z","title":"Manerkar, Daniel Lustig, Michael Pellauer, and Margaret Martonosi","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.749456Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:58c46c3b3d45a8a9c97f100de81845fa70b7446bb0199a5de16564c96ab6b465","observation_id":"8b5815d9-1c96-4983-8307-1a7e3ff7ad92","resolution":{"observed_at":"2026-08-07T20:16:29.749456Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:30.850976Z","title":null,"venue":null,"work_id":"4f015745-1782-4d15-b2d2-b54656dbf2f0","year":2017},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.754613Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:b64249278e5b39ac8e53a38122610202c8a49f14b66d77a251e188ae19c7ebde","observation_id":"89cb7195-868a-4586-8190-933f26aa9747","resolution":{"observed_at":"2026-08-07T20:16:30.856137Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:30.835863Z","title":"McCalpin","venue":null,"work_id":"8a12ab59-57fd-49af-837a-40093f75e963","year":1995},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.759734Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:b76ebad0bdec7a559cc78fd1b883f7e090f1e75328285bb6baa80a59f0c59a56","observation_id":"1b904e18-f97d-41e5-8d9f-aadf655acd13","resolution":{"observed_at":"2026-08-07T20:16:30.841327Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:29.765540Z","title":"McMillan","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.765540Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:ce80cb8b3f049ee249f8baa19857ad48260c547adfe07cfd4745587e2fbd745e","observation_id":"3dadce10-58de-4c05-bc54-9a5886334ba0","resolution":{"observed_at":"2026-08-07T20:16:29.765540Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:30.821011Z","title":"Sorin, Mark D","venue":null,"work_id":"95615afa-1ce4-40d4-b48b-8a3e13703bc1","year":2020},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.770551Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:ba0bd4e92cfab705d50787c436622266787adafc95050003330cbade8e8686da","observation_id":"03b1bc62-a574-43c9-b143-015a2d5638c6","resolution":{"observed_at":"2026-08-07T20:16:30.826071Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:30.806866Z","title":"Olson, Mark D","venue":null,"work_id":"fc124a37-7173-4723-b9fa-f4fe044edc3b","year":2017},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.775807Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:4990eedea5d4b66449958ef98f7e2f457783e9128540c960b9167d0a341c7d0c","observation_id":"e0eca68f-0b83-46a2-aadc-921b74a26166","resolution":{"observed_at":"2026-08-07T20:16:30.811317Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:30.791512Z","title":null,"venue":null,"work_id":"6a28688c-5ae8-48f6-8c23-638db1eb8433","year":2018},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.780204Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:03853230a87b151bbd3886b6ea60c60dd877254c1e281aead9fe21d08114978b","observation_id":"e87681c4-0cf5-40b1-8bcd-9f88436c0c1b","resolution":{"observed_at":"2026-08-07T20:16:30.795978Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:30.775973Z","title":null,"venue":null,"work_id":"e284912d-a09a-496e-ae27-7879f45dd76e","year":2020},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.785217Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:306da42ffffbe645df47b5eb6475eab73facefd730acbbec6da95d6ce8355ce2","observation_id":"00393bd6-1f74-4023-a047-a4794b3f9057","resolution":{"observed_at":"2026-08-07T20:16:30.781201Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:30.760057Z","title":"Sorin, Vasilis Gavrielatos, Theo Olausson, and Reece Carr","venue":null,"work_id":"3befd9d6-ae3c-46bb-aa7f-21a160412dba","year":2022},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.790030Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:d24c531d6c442d4e4f7ecf4b5c0006e9a158ab1b6d19580819d0c797baf8edc7","observation_id":"cbdd3d8d-ba43-4377-8ed7-386b20177975","resolution":{"observed_at":"2026-08-07T20:16:30.765077Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:29.794733Z","title":null,"venue":null,"work_id":null,"year":1981},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.794733Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:fe47e09bab7af3b6420f5a6e6b506914b75348f6b54585cb4f5f716e45f7154c","observation_id":"b0d44e03-2cd5-45c4-9b73-576fb67e2530","resolution":{"observed_at":"2026-08-07T20:16:29.794733Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:30.745370Z","title":null,"venue":null,"work_id":"3776b01a-0c67-4f86-8657-814b5d570261","year":2020},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.799311Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:893fefe9694586c84d5e91551a29f1dfdfe1ea94639e95d51db177b6016c31e0","observation_id":"87915cda-80ac-4eba-bab9-926342bd2d92","resolution":{"observed_at":"2026-08-07T20:16:30.749990Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5414.17854","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:30.174907Z","title":null,"venue":null,"work_id":"2723f06d-850c-4f37-8165-c42e3bd7e021","year":2010},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.804555Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:65f2336c1de4c24562e14640ee1b698dd803048556b44afb2b32c971e4d6662b","observation_id":"d2acf255-a4d6-445b-85d9-69008ab3959d","resolution":{"observed_at":"2026-08-07T20:16:30.183167Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:30.730296Z","title":"Sinclair, Johnathan Alsop, and Sarita V","venue":null,"work_id":"1743cfec-0c26-452d-9768-68f102978667","year":2015},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.808833Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:0bed0706d93867fce2c1233a8b9758b9a83903a797e03297b88e659328fd2063","observation_id":"33aad998-0547-4a72-8da2-66706708a7c2","resolution":{"observed_at":"2026-08-07T20:16:30.735378Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2017.81677","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:30.067964Z","title":"Sinclair, Johnathan Alsop, and Sarita V","venue":null,"work_id":"c7b37608-1e86-4ba3-8a19-d1bef897244a","year":2017},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.813424Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:fef7e2a65644036efd7c5230a7eb8fea0b784dc67e294c116225e9867c23c17d","observation_id":"69a6ad8b-ee55-4992-a561-a5a60d00c076","resolution":{"observed_at":"2026-08-07T20:16:30.076729Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:30.715162Z","title":"2014.The RISC-V Instruction Set Manual, Volume I: Base user-level ISA","venue":null,"work_id":"f3915081-c363-4854-99a2-f0b4bee171bc","year":2014},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.817811Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:849d4ea1b7470df76a198138fd0f7f66754319186d75642b49e566e882cf20c0","observation_id":"adf123fe-ce06-415f-85b8-d8438229b85b","resolution":{"observed_at":"2026-08-07T20:16:30.720350Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:30.700224Z","title":"Lebeck, and Daniel J","venue":null,"work_id":"bdffcc25-9197-4a84-83ec-c2a9fd726287","year":2010},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.822107Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:05881b065f7fea7b2e2699629de84cead7ba2392393864be9cab158751871590","observation_id":"6457d3a3-86db-4318-abae-d99c2dd06234","resolution":{"observed_at":"2026-08-07T20:16:30.704812Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T20:16:30.953101Z","title":"InProceedings of the 20th International Conference on Parallel Architectures and Compilation Techniques","venue":null,"work_id":"e74eaf84-71d7-4a98-9bdb-680edd19d357","year":null},"citing_paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols","version":1},"reference_index":2011,"source":"pdf_text","source_observed_at":"2026-08-07T20:16:29.683616Z"},"links":{"citing_paper":"/paper/2608.05965"},"observation_digest":"sha256:86952e7c0edb8180b37cd06b4d0fa21d9b3f45743d6197dfd8f95077a2b90b75","observation_id":"97585fca-1008-4149-a190-db0966869fe0","resolution":{"observed_at":"2026-08-07T20:16:30.958873Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2608.05965","last_updated":"2026-08-06T12:41:05Z","latest_version":1,"primary_category":"cs.AR","snapshot_observed_at":"2026-08-14T01:48:10.210021Z","submitted_at":"2026-08-06T12:41:05Z","title":"Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols"},"reference_resolution":{"displayed":39,"state_counts":{"malformed_identifier":0,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":24,"verified_exact":1,"verified_fuzzy":11},"total_outbound_references":39},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 0 inbound Pith citation observations for arXiv:2608.05965."}