{"as_of":"2026-08-20T13:45:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9040c7d7d85e2476228397453ff76d12037c07740840781cc2e2660067f28a38","coverage":[{"denominator":18,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":18,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-29T16:11:41.633847Z","state":"measured"},{"denominator":18,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":18,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+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/2605.26527/citation-record","integrity":"/paper/2605.26527/integrity","json":"/paper/2605.26527/citation-record.json","paper":"/paper/2605.26527"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T16:11:41.633847Z","title":"In: Proceedings of the 9th International Workshop on Software Correctness for HPC Applications","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2605.26527","last_updated":"2026-05-27T02:00:04Z","snapshot_observed_at":"2026-08-14T05:17:40.125528Z","submitted_at":"2026-05-26T04:19:20Z","title":"A Formal Semantics of C with OpenMP Parallelism (Extended Version)","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-29T16:11:41.633847Z"},"links":{"citing_paper":"/paper/2605.26527"},"observation_digest":"sha256:d4cdb7f412e65f393d8e69d09d3e33bf69593a789fb74b91d6aa5ced040785b2","observation_id":"3821db5e-d309-4531-87b3-f0b8ceeca372","resolution":{"observed_at":"2026-06-29T16:11:41.633847Z","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-06-29T16:11:41.633847Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2605.26527","last_updated":"2026-05-27T02:00:04Z","snapshot_observed_at":"2026-08-14T05:17:40.125528Z","submitted_at":"2026-05-26T04:19:20Z","title":"A Formal Semantics of C with OpenMP Parallelism (Extended Version)","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-29T16:11:41.633847Z"},"links":{"citing_paper":"/paper/2605.26527"},"observation_digest":"sha256:b34510d0121ec053878575efaa3fa7f42e95111a371e5603572466c1fadd8d87","observation_id":"d0c1ad43-027c-46e7-b224-3025a7434e83","resolution":{"observed_at":"2026-06-29T16:11:41.633847Z","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":"2018.00074","doi":"10.1109/ipdpsw.2018.00074","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: 2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)","venue":null,"work_id":"528f877a-b61e-4c44-9ff5-178bbbad8023","year":2018},"citing_paper":{"arxiv_id":"2605.26527","last_updated":"2026-05-27T02:00:04Z","snapshot_observed_at":"2026-08-14T05:17:40.125528Z","submitted_at":"2026-05-26T04:19:20Z","title":"A Formal Semantics of C with OpenMP Parallelism (Extended Version)","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-29T16:11:41.633847Z"},"links":{"citing_paper":"/paper/2605.26527"},"observation_digest":"sha256:1da179c0e21fecf6c0d3fa087c223674fcc85518204aca45ba71bbcf5132087c","observation_id":"a855ca6f-8b20-420e-9ab9-b8f5b1672eb6","resolution":{"observed_at":"2026-06-29T16:13:35.392307Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06-29T16:11:41.633847Z","title":"In: Inter- national Conference on Interactive Theorem Proving","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2605.26527","last_updated":"2026-05-27T02:00:04Z","snapshot_observed_at":"2026-08-14T05:17:40.125528Z","submitted_at":"2026-05-26T04:19:20Z","title":"A Formal Semantics of C with OpenMP Parallelism (Extended Version)","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-29T16:11:41.633847Z"},"links":{"citing_paper":"/paper/2605.26527"},"observation_digest":"sha256:d23f833e38782c1bba06aeb674fd1d12a1d8991d9458037ee9382493bdb3de10","observation_id":"344a83c3-4f53-49e7-a3f4-15b38a7571cc","resolution":{"observed_at":"2026-06-29T16:11:41.633847Z","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-06-29T16:11:41.633847Z","title":"openmp.org/wp-content/uploads/OpenMP-API-Specification-6-0.pdf(2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2605.26527","last_updated":"2026-05-27T02:00:04Z","snapshot_observed_at":"2026-08-14T05:17:40.125528Z","submitted_at":"2026-05-26T04:19:20Z","title":"A Formal Semantics of C with OpenMP Parallelism (Extended Version)","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-29T16:11:41.633847Z"},"links":{"citing_paper":"/paper/2605.26527"},"observation_digest":"sha256:702ae2563a25bb3d55d466f6f202197ed39136a5e76b7b0186b611c5a93aba3e","observation_id":"3a4b5b0a-1070-4160-80a3-06681d9f7308","resolution":{"observed_at":"2026-06-29T16:11:41.633847Z","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-06-29T16:11:41.633847Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2605.26527","last_updated":"2026-05-27T02:00:04Z","snapshot_observed_at":"2026-08-14T05:17:40.125528Z","submitted_at":"2026-05-26T04:19:20Z","title":"A Formal Semantics of C with OpenMP Parallelism (Extended Version)","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-29T16:11:41.633847Z"},"links":{"citing_paper":"/paper/2605.26527"},"observation_digest":"sha256:3e91e47e00f123d3fd294c9b9f8aba63bf483dea3e3a701d6fa3173c67dfcb5e","observation_id":"a1716654-3ba5-4c96-bd23-778099a1f151","resolution":{"observed_at":"2026-06-29T16:11:41.633847Z","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":"3656.210371","doi":"10.1145/2103656.2103715","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’12)","venue":null,"work_id":"8194d484-40de-4372-a83a-008bf788971c","year":2012},"citing_paper":{"arxiv_id":"2605.26527","last_updated":"2026-05-27T02:00:04Z","snapshot_observed_at":"2026-08-14T05:17:40.125528Z","submitted_at":"2026-05-26T04:19:20Z","title":"A Formal Semantics of C with OpenMP Parallelism (Extended Version)","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-29T16:11:41.633847Z"},"links":{"citing_paper":"/paper/2605.26527"},"observation_digest":"sha256:204cc91be2eb7fa0121b03432a87ad335c409c6e0703edc39aee247f132ebbde","observation_id":"49817692-f692-4c35-881e-51079fe75489","resolution":{"observed_at":"2026-06-29T16:13:35.387204Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4221.331459","doi":"10.1145/3314221.3314590","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Navas, Noam Rinetzky, Leonid Ryzhyk, and Mooly Sagiv","venue":null,"work_id":"5a88fd36-1dcf-4c48-9010-81bb37c1601c","year":2019},"citing_paper":{"arxiv_id":"2605.26527","last_updated":"2026-05-27T02:00:04Z","snapshot_observed_at":"2026-08-14T05:17:40.125528Z","submitted_at":"2026-05-26T04:19:20Z","title":"A Formal Semantics of C with OpenMP Parallelism (Extended Version)","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-29T16:11:41.633847Z"},"links":{"citing_paper":"/paper/2605.26527"},"observation_digest":"sha256:ccebbf138d7dd1be36ebdccb028f874ab0a90923ed121ba63855013cafcc91d2","observation_id":"fd32a3dc-26de-4ce3-a708-2f86d77273cf","resolution":{"observed_at":"2026-06-29T16:13:35.398285Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-07-20T15:24:41.328634+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-20T15:24:41.328634+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/359545","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Communications of the ACM","work_id":"beb258eb-7ee0-4a8b-90a9-36b138ab1fca","year":1978},"citing_paper":{"arxiv_id":"2605.26527","last_updated":"2026-05-27T02:00:04Z","snapshot_observed_at":"2026-08-14T05:17:40.125528Z","submitted_at":"2026-05-26T04:19:20Z","title":"A Formal Semantics of C with OpenMP Parallelism (Extended Version)","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-29T16:11:41.633847Z"},"links":{"citing_paper":"/paper/2605.26527"},"observation_digest":"sha256:a03cf57009e5a79234e7166f980c139777f72aabf3a37fb31ee53c66628a7218","observation_id":"b088894c-787d-41aa-ae3d-2f3a91a091a7","resolution":{"observed_at":"2026-06-29T16:13:35.394726Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8788.153881","doi":"10.1145/1538788.1538814","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Communications of the ACM 52(7), pp","venue":"Communications of the ACM","work_id":"8230d5f8-b195-41ea-b67b-c9b80945bf6f","year":2009},"citing_paper":{"arxiv_id":"2605.26527","last_updated":"2026-05-27T02:00:04Z","snapshot_observed_at":"2026-08-14T05:17:40.125528Z","submitted_at":"2026-05-26T04:19:20Z","title":"A Formal Semantics of C with OpenMP Parallelism (Extended Version)","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-29T16:11:41.633847Z"},"links":{"citing_paper":"/paper/2605.26527"},"observation_digest":"sha256:62d326258ad73881a619e54922f6411240fd38831ed0952d574feffa49d8e0c7","observation_id":"f058f229-378f-442e-a786-e1072519dc2a","resolution":{"observed_at":"2026-06-29T16:13:35.377071Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-07-12T16:19:41.948696+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T16:19:41.948696+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-20T06:33:54.927442+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-06-29T16:11:41.633847Z","title":"In: Proceedings of the 39th ACM International Conference on Supercomputing","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2605.26527","last_updated":"2026-05-27T02:00:04Z","snapshot_observed_at":"2026-08-14T05:17:40.125528Z","submitted_at":"2026-05-26T04:19:20Z","title":"A Formal Semantics of C with OpenMP Parallelism (Extended Version)","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-29T16:11:41.633847Z"},"links":{"citing_paper":"/paper/2605.26527"},"observation_digest":"sha256:173121b2aac523c26057d6908e6c0a021b6191cd8e9342e244bc6fe19389eeef","observation_id":"2799db12-4c34-465f-b3fc-86b9970e8b90","resolution":{"observed_at":"2026-06-29T16:11:41.633847Z","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-06-29T16:11:41.633847Z","title":"In: Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2605.26527","last_updated":"2026-05-27T02:00:04Z","snapshot_observed_at":"2026-08-14T05:17:40.125528Z","submitted_at":"2026-05-26T04:19:20Z","title":"A Formal Semantics of C with OpenMP Parallelism (Extended Version)","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-29T16:11:41.633847Z"},"links":{"citing_paper":"/paper/2605.26527"},"observation_digest":"sha256:72a9045ec8dab2b449f5459d0bb3434e8bb5db7d2c68751621d9e30a3ce6c6e7","observation_id":"0084bf69-54c0-48be-b2f4-2ea86a2f3574","resolution":{"observed_at":"2026-06-29T16:11:41.633847Z","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-06-29T16:11:41.633847Z","title":"hands-on","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2605.26527","last_updated":"2026-05-27T02:00:04Z","snapshot_observed_at":"2026-08-14T05:17:40.125528Z","submitted_at":"2026-05-26T04:19:20Z","title":"A Formal Semantics of C with OpenMP Parallelism (Extended Version)","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-29T16:11:41.633847Z"},"links":{"citing_paper":"/paper/2605.26527"},"observation_digest":"sha256:7ba4bb01a4d9ebd951edc37eee8946559474bff102feb1d7e63db99347666307","observation_id":"2288562b-8c41-426a-91f3-6687318005ca","resolution":{"observed_at":"2026-06-29T16:11:41.633847Z","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":"10.1145/3290380","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Principles of Secure Compilation (PriSC)","venue":"Proceedings of the ACM on Programming Languages","work_id":"50869814-2e91-4108-929f-f0710cc4b88e","year":2019},"citing_paper":{"arxiv_id":"2605.26527","last_updated":"2026-05-27T02:00:04Z","snapshot_observed_at":"2026-08-14T05:17:40.125528Z","submitted_at":"2026-05-26T04:19:20Z","title":"A Formal Semantics of C with OpenMP Parallelism (Extended Version)","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-29T16:11:41.633847Z"},"links":{"citing_paper":"/paper/2605.26527"},"observation_digest":"sha256:647956196679efbaaa7fdfe4e1619f6358c1065cf080c070c7413cceea52728b","observation_id":"9c715c3c-172e-4be1-a6d1-c8bdb2201b9f","resolution":{"observed_at":"2026-06-29T16:13:35.372948Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0983.290808","doi":"10.1145/2980983.2908081","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"SIG- PLANNot.51(6),1–15(Jun2016).https://doi.org/10.1145/2980983.2908081, https://doi.org/10.1145/2980983.2908081","venue":"ACM SIGPLAN Notices","work_id":"3c244c2c-f3d3-4823-8d17-b3114ba48ad1","year":null},"citing_paper":{"arxiv_id":"2605.26527","last_updated":"2026-05-27T02:00:04Z","snapshot_observed_at":"2026-08-14T05:17:40.125528Z","submitted_at":"2026-05-26T04:19:20Z","title":"A Formal Semantics of C with OpenMP Parallelism (Extended Version)","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-29T16:11:41.633847Z"},"links":{"citing_paper":"/paper/2605.26527"},"observation_digest":"sha256:79e8bc78d199148bba4589deb175be05242e26188388d5dd3cd8b7b21a64421c","observation_id":"e2c00e52-28fa-4f79-967d-6d108427573d","resolution":{"observed_at":"2026-06-29T16:13:35.388543Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7591.280763","doi":"10.1145/2807591.2807635","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Siegel, Manchun Zheng, Ziqing Luo, Timothy K","venue":null,"work_id":"315980ac-a004-425f-bf80-0cc4be04e396","year":2015},"citing_paper":{"arxiv_id":"2605.26527","last_updated":"2026-05-27T02:00:04Z","snapshot_observed_at":"2026-08-14T05:17:40.125528Z","submitted_at":"2026-05-26T04:19:20Z","title":"A Formal Semantics of C with OpenMP Parallelism (Extended Version)","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-29T16:11:41.633847Z"},"links":{"citing_paper":"/paper/2605.26527"},"observation_digest":"sha256:33282e0b2039778e174c348d585fc3840787789821f373a5acb8b5e6a5f57c50","observation_id":"7677c753-3388-4737-8364-7592f6107c82","resolution":{"observed_at":"2026-06-29T16:13:35.384783Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06-29T16:11:41.633847Z","title":"Advances in Neural Information Processing Systems37, 100965–100999 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2605.26527","last_updated":"2026-05-27T02:00:04Z","snapshot_observed_at":"2026-08-14T05:17:40.125528Z","submitted_at":"2026-05-26T04:19:20Z","title":"A Formal Semantics of C with OpenMP Parallelism (Extended Version)","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-29T16:11:41.633847Z"},"links":{"citing_paper":"/paper/2605.26527"},"observation_digest":"sha256:018435604ebee707dc41c4a85cc901f1ce7067463e1a25a84349b2f6f173621f","observation_id":"4f3fd2a6-b461-4c43-8da7-0f00803f8f42","resolution":{"observed_at":"2026-06-29T16:11:41.633847Z","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":"7241.248724","doi":"10.1145/2487241.2487242","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Journal of the ACM (JACM)60(3), pp","venue":"Journal of the ACM","work_id":"b3f502e0-cb6b-427e-9cc5-21be30487edf","year":2013},"citing_paper":{"arxiv_id":"2605.26527","last_updated":"2026-05-27T02:00:04Z","snapshot_observed_at":"2026-08-14T05:17:40.125528Z","submitted_at":"2026-05-26T04:19:20Z","title":"A Formal Semantics of C with OpenMP Parallelism (Extended Version)","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-29T16:11:41.633847Z"},"links":{"citing_paper":"/paper/2605.26527"},"observation_digest":"sha256:59221dfc3d37d33f78f15b2dcc9a0c858369d4614a383d03cff7d36b5b922c07","observation_id":"65569642-ec11-4447-acab-f30a94556915","resolution":{"observed_at":"2026-06-29T16:13:35.380917Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2605.26527","last_updated":"2026-05-27T02:00:04Z","latest_version":2,"primary_category":"cs.DC","snapshot_observed_at":"2026-08-14T05:17:40.125528Z","submitted_at":"2026-05-26T04:19:20Z","title":"A Formal Semantics of C with OpenMP Parallelism (Extended Version)"},"reference_resolution":{"displayed":18,"state_counts":{"malformed_identifier":0,"metadata_mismatch":4,"parse_uncertain":0,"unresolved":9,"verified_exact":5,"verified_fuzzy":0},"total_outbound_references":18},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 18 of 18 outbound references and 0 inbound Pith citation observations for arXiv:2605.26527."}