{"as_of":"2026-08-14T02:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:bc5d889e201585f673ebc45b5d881773565646693a9062338a4ab69f2256638d","coverage":[{"denominator":22,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":22,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T09:41:23.563795Z","state":"measured"},{"denominator":22,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":22,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+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/2607.29303/citation-record","integrity":"/paper/2607.29303/integrity","json":"/paper/2607.29303/citation-record.json","paper":"/paper/2607.29303"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T09:41:23.389811Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.29303","last_updated":"2026-07-31T11:21:21Z","snapshot_observed_at":"2026-08-13T12:48:51.377467Z","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-03T09:41:23.389811Z"},"links":{"citing_paper":"/paper/2607.29303"},"observation_digest":"sha256:cb1e5c3497821e7a04b41b77950399feba166079062b8a6da3ec9ea386f023aa","observation_id":"9d76740f-d1ec-466d-9552-1d683ad0ad02","resolution":{"observed_at":"2026-08-03T09:41:23.389811Z","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-03T09:41:23.407328Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.29303","last_updated":"2026-07-31T11:21:21Z","snapshot_observed_at":"2026-08-13T12:48:51.377467Z","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-03T09:41:23.407328Z"},"links":{"citing_paper":"/paper/2607.29303"},"observation_digest":"sha256:d26aff34f94bca23979762e893dcf081c52c2f2de89731d08732967dae1ae626","observation_id":"21f77666-394a-4325-ae9e-92418b459d9b","resolution":{"observed_at":"2026-08-03T09:41:23.407328Z","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-03T09:41:23.416786Z","title":"In: Blaas- Schenner, C., Niethammer, C., Haas, T","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.29303","last_updated":"2026-07-31T11:21:21Z","snapshot_observed_at":"2026-08-13T12:48:51.377467Z","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-03T09:41:23.416786Z"},"links":{"citing_paper":"/paper/2607.29303"},"observation_digest":"sha256:5f42ab132c8c4d4cbf2b2e6fa99c1706bcc6469c5811c2f540cc76ee831db09d","observation_id":"74f7b71a-dce9-4f5f-8b62-f1c0b6803b23","resolution":{"observed_at":"2026-08-03T09:41:23.416786Z","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-03T09:41:23.426070Z","title":"In: Pro- ceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.29303","last_updated":"2026-07-31T11:21:21Z","snapshot_observed_at":"2026-08-13T12:48:51.377467Z","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-03T09:41:23.426070Z"},"links":{"citing_paper":"/paper/2607.29303"},"observation_digest":"sha256:7dac05d5c657ea0cc143f8c3aabb19ce87125e6fd6e33a4b209ca4c4fb3c3f86","observation_id":"18601a1e-d3c3-4813-ab7c-1f23e48fb3c1","resolution":{"observed_at":"2026-08-03T09:41:23.426070Z","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-03T09:41:23.433747Z","title":"In: Müller, M.S., Resch, M.M., Schulz, A., Nagel, W.E","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.29303","last_updated":"2026-07-31T11:21:21Z","snapshot_observed_at":"2026-08-13T12:48:51.377467Z","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-03T09:41:23.433747Z"},"links":{"citing_paper":"/paper/2607.29303"},"observation_digest":"sha256:809cac439aebcf7666da08324141839099ea17c1e5fd8a40671d100877c4cd67","observation_id":"8bd5224e-46a5-4233-9bc2-f9a3ce0c8b36","resolution":{"observed_at":"2026-08-03T09:41:23.433747Z","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-03T09:41:23.447615Z","title":"In: 2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.29303","last_updated":"2026-07-31T11:21:21Z","snapshot_observed_at":"2026-08-13T12:48:51.377467Z","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-03T09:41:23.447615Z"},"links":{"citing_paper":"/paper/2607.29303"},"observation_digest":"sha256:da32c7b678df0bf9e8ffad2ffe471813db5b4d0934f7b685d3376ef1ea9d4a14","observation_id":"cb52afa4-7266-40a7-816a-b3a55a7a329c","resolution":{"observed_at":"2026-08-03T09:41:23.447615Z","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-03T09:41:23.454402Z","title":"(eds.) Recent Advances in the Mes- sage Passing Interface","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.29303","last_updated":"2026-07-31T11:21:21Z","snapshot_observed_at":"2026-08-13T12:48:51.377467Z","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-03T09:41:23.454402Z"},"links":{"citing_paper":"/paper/2607.29303"},"observation_digest":"sha256:076466f2beb0577de10b604f2079b1b1134434e115b934fc92173f5ebcb5faf6","observation_id":"39cc9d4f-5faa-4ffc-b974-c47bab9c9db6","resolution":{"observed_at":"2026-08-03T09:41:23.454402Z","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-03T09:41:23.463149Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.29303","last_updated":"2026-07-31T11:21:21Z","snapshot_observed_at":"2026-08-13T12:48:51.377467Z","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-03T09:41:23.463149Z"},"links":{"citing_paper":"/paper/2607.29303"},"observation_digest":"sha256:ddfc8500327d8e655563ee12967e4a15d9b368b2b803696b9b2ef5c7185a2ea5","observation_id":"0c780ca9-cd00-413e-84e8-362166fbb96e","resolution":{"observed_at":"2026-08-03T09:41:23.463149Z","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-03T09:41:23.473546Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.29303","last_updated":"2026-07-31T11:21:21Z","snapshot_observed_at":"2026-08-13T12:48:51.377467Z","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-03T09:41:23.473546Z"},"links":{"citing_paper":"/paper/2607.29303"},"observation_digest":"sha256:acd3ef669ce1860db5074803fc849d8621fdb08f48ade6d91935fb965537d0de","observation_id":"e6cf6f26-b28e-448e-a3d3-a485ea8d1d50","resolution":{"observed_at":"2026-08-03T09:41:23.473546Z","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-03T09:41:23.484769Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.29303","last_updated":"2026-07-31T11:21:21Z","snapshot_observed_at":"2026-08-13T12:48:51.377467Z","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-03T09:41:23.484769Z"},"links":{"citing_paper":"/paper/2607.29303"},"observation_digest":"sha256:611254af507a5f9ccbcf21fad90b4b25fce9ebd1ffb96a3d531a5970b041b838","observation_id":"aa631d1e-26df-4ae7-9f33-29fe1ce27815","resolution":{"observed_at":"2026-08-03T09:41:23.484769Z","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-03T09:41:23.492345Z","title":"SIGPLAN Not.42(6), 89–100 (Jun 2007).https://doi.org/10","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.29303","last_updated":"2026-07-31T11:21:21Z","snapshot_observed_at":"2026-08-13T12:48:51.377467Z","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-03T09:41:23.492345Z"},"links":{"citing_paper":"/paper/2607.29303"},"observation_digest":"sha256:4edb5971088597c048641ea2ef8f4f27e2b26716a5cd2e8457d9c25412b338cd","observation_id":"2fccf7a3-07b5-4491-a73e-ca3d412497b3","resolution":{"observed_at":"2026-08-03T09:41:23.492345Z","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-03T09:41:23.500602Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.29303","last_updated":"2026-07-31T11:21:21Z","snapshot_observed_at":"2026-08-13T12:48:51.377467Z","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-03T09:41:23.500602Z"},"links":{"citing_paper":"/paper/2607.29303"},"observation_digest":"sha256:f4e137486533b1aed134b245b42aa9c5273b8c3b2083361b3e699aedfa60f9b6","observation_id":"63c1e479-b087-4148-aabc-8695a665e19d","resolution":{"observed_at":"2026-08-03T09:41:23.500602Z","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-03T09:41:23.507932Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.29303","last_updated":"2026-07-31T11:21:21Z","snapshot_observed_at":"2026-08-13T12:48:51.377467Z","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-03T09:41:23.507932Z"},"links":{"citing_paper":"/paper/2607.29303"},"observation_digest":"sha256:19cb01a34324a579ea55293194b20031cfec89e9bfde555064cb6a5ad0861995","observation_id":"075a67de-29b1-4247-9cd6-f3ea607d88c7","resolution":{"observed_at":"2026-08-03T09:41:23.507932Z","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-03T09:41:23.514199Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.29303","last_updated":"2026-07-31T11:21:21Z","snapshot_observed_at":"2026-08-13T12:48:51.377467Z","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-03T09:41:23.514199Z"},"links":{"citing_paper":"/paper/2607.29303"},"observation_digest":"sha256:fc4fe6630e41ceb3aaab26530efa99f5cdc2bb3385014353c5ca5cd5f6c7f269","observation_id":"d28ca5aa-12b5-485f-8beb-7ecc5a2c5a1d","resolution":{"observed_at":"2026-08-03T09:41:23.514199Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2604.20410","last_updated":"2026-04-22T10:27:28Z","snapshot_observed_at":"2026-08-11T12:54:12.069262Z","submitted_at":"2026-04-22T10:27:28Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","version":1},"cited_work":{"arxiv_id":"2604.20410","doi":"10.48550/arxiv.2604.20410","metadata_source":"pith","pith_arxiv_id":"2604.20410","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Extending Contract Verification for Parallel Programming Models to Fortran","venue":"cs.DC","work_id":"aae60e7a-a8f0-48fc-80b9-469fa92ade37","year":2026},"citing_paper":{"arxiv_id":"2607.29303","last_updated":"2026-07-31T11:21:21Z","snapshot_observed_at":"2026-08-13T12:48:51.377467Z","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-03T09:41:23.520392Z"},"links":{"cited_paper":"/paper/2604.20410","citing_paper":"/paper/2607.29303"},"observation_digest":"sha256:0df51f061834d9007e1f2a3639607070cde688b64c2a640865ee8d93f2f451d3","observation_id":"34909d88-f138-441d-9f4c-e4dd594b8700","resolution":{"observed_at":"2026-08-03T09:43:28.951132Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-03T09:41:23.527526Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.29303","last_updated":"2026-07-31T11:21:21Z","snapshot_observed_at":"2026-08-13T12:48:51.377467Z","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-03T09:41:23.527526Z"},"links":{"citing_paper":"/paper/2607.29303"},"observation_digest":"sha256:c4983df1dec9f34f899a0bbfe1ec84177e721997a230a02ff8c1fd9319e1d5d8","observation_id":"7ec5ff5a-d1c3-4531-b99f-0502fa223731","resolution":{"observed_at":"2026-08-03T09:41:23.527526Z","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-03T09:41:23.533296Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.29303","last_updated":"2026-07-31T11:21:21Z","snapshot_observed_at":"2026-08-13T12:48:51.377467Z","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-03T09:41:23.533296Z"},"links":{"citing_paper":"/paper/2607.29303"},"observation_digest":"sha256:6a887570db4709ae00a2e2d4bf6fcdc3b7363a9a1e78480545ca218d437bdfe3","observation_id":"71a0b696-397f-4400-88b3-23c60d68534a","resolution":{"observed_at":"2026-08-03T09:41:23.533296Z","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.1007/978-3-032-07194-1_4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Schuchart, J., Bouteiller, A., Hunold, S., Jaeger, J., Niethammer, C., Smith, B","venue":"Lecture notes in computer science","work_id":"aa29dec8-79c5-45bc-ba5f-a37450467e68","year":2026},"citing_paper":{"arxiv_id":"2607.29303","last_updated":"2026-07-31T11:21:21Z","snapshot_observed_at":"2026-08-13T12:48:51.377467Z","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-03T09:41:23.540280Z"},"links":{"citing_paper":"/paper/2607.29303"},"observation_digest":"sha256:1a5b11de5eefb4abc8d510c12d514d12ee5a59192b180d2cbfd8edc3f189722a","observation_id":"5f665786-48d0-4c27-a269-370cc9ea4331","resolution":{"observed_at":"2026-08-03T09:43:28.799510Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-03T09:41:23.548122Z","title":"The International Jour- nal of High Performance Computing Applications28(4), 425–434 (Nov 2014)","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.29303","last_updated":"2026-07-31T11:21:21Z","snapshot_observed_at":"2026-08-13T12:48:51.377467Z","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-03T09:41:23.548122Z"},"links":{"citing_paper":"/paper/2607.29303"},"observation_digest":"sha256:9e72171242b994433b3ee40fb561bcc9ce0d678fab9e3712040b124c8ed4f8f5","observation_id":"b53e6082-273a-4576-8d45-5ff7c2999242","resolution":{"observed_at":"2026-08-03T09:41:23.548122Z","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-03T09:41:23.554068Z","title":"In: Proceedings of the 53rd International Conference on Par- allel Processing","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.29303","last_updated":"2026-07-31T11:21:21Z","snapshot_observed_at":"2026-08-13T12:48:51.377467Z","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-03T09:41:23.554068Z"},"links":{"citing_paper":"/paper/2607.29303"},"observation_digest":"sha256:2a72cecd2a3415c52b4252a892e032aea9dae80242a911535a59784b495ca547","observation_id":"8d1c2b2e-4187-4021-9fc2-6b2842295b88","resolution":{"observed_at":"2026-08-03T09:41:23.554068Z","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-03T09:41:23.563795Z","title":"In: 2014 IEEE High Performance Extreme Computing Conference (HPEC)","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.29303","last_updated":"2026-07-31T11:21:21Z","snapshot_observed_at":"2026-08-13T12:48:51.377467Z","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-03T09:41:23.563795Z"},"links":{"citing_paper":"/paper/2607.29303"},"observation_digest":"sha256:f05defe8db8b8b7b041faa08e389bda8d21cc185abc9cc4de5dcf01170a85c36","observation_id":"8fc772c9-6235-470d-85da-f4be11f41c3d","resolution":{"observed_at":"2026-08-03T09:41:23.563795Z","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-03T09:41:23.440704Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.29303","last_updated":"2026-07-31T11:21:21Z","snapshot_observed_at":"2026-08-13T12:48:51.377467Z","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts","version":1},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-03T09:41:23.440704Z"},"links":{"citing_paper":"/paper/2607.29303"},"observation_digest":"sha256:2f7420afeb469c2a84ab38e9888bb33ac7cc5ce7d88c3070fe837e974c56cc3d","observation_id":"323c5f0e-a88a-4cb2-8229-d754e70fdac5","resolution":{"observed_at":"2026-08-03T09:41:23.440704Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.29303","last_updated":"2026-07-31T11:21:21Z","latest_version":1,"primary_category":"cs.DC","snapshot_observed_at":"2026-08-13T12:48:51.377467Z","submitted_at":"2026-07-31T11:21:21Z","title":"Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts"},"reference_resolution":{"displayed":22,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":18,"verified_exact":2,"verified_fuzzy":0},"total_outbound_references":22},"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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2607.29303."}