Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-09T23:03:29.327461Z
Paper Citation Record · LEDGER
Extending Contract Verification for Parallel Programming Models to Fortran
As of 4 August 2026, this Paper Citation Record lists 23 of 23 outbound references and 1 inbound Pith citation observation for arXiv:2604.20410.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-04T06:34:03.388597+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-03T09:41:23.520392Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-03T12:16:14.848390Z
Reference resolution
23 of 23 outbound references displayed
- verified exact9
- verified fuzzy1
- unresolved6
- parse uncertain0
- malformed identifier3
- metadata mismatch4
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 935c1b60-1a3c-427f-865f-89ed4920da38 · outbound
This paper cites llvm.org/docs/Directives.html.
Extending Contract Verification for Parallel Programming Models to Fortran llvm.org/docs/Directives.html
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T13:43:01.868360Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 858d38d6-cf8a-4dd7-a6a5-f014badd3225 · outbound
This paper cites an unresolved cited work.
Extending Contract Verification for Parallel Programming Models to Fortran Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T13:43:01.850360Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 49714068-55c9-43e0-a56c-08f9da836af3 · outbound
This paper cites In: Recent Advances in the Message Passing Interface.
Extending Contract Verification for Parallel Programming Models to Fortran In: Recent Advances in the Message Passing Interface
Reference 3
- Resolution
- verified exact
- doi, observed 2026-05-09T23:04:17.039264Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation e951b2f1-70dd-4d8c-9db8-df5eb6353070 · outbound
This paper cites Droste, M.
Extending Contract Verification for Parallel Programming Models to Fortran Droste, M
Reference 4
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-09T23:04:17.044286Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation a97eced4-8793-4af7-920e-b30367f14022 · outbound
This paper cites In: Tools for High Per- formance Computing 2009.
Extending Contract Verification for Parallel Programming Models to Fortran In: Tools for High Per- formance Computing 2009
Reference 5
- Resolution
- malformed identifier
- raw_fallback, observed 2026-05-23T13:43:01.864424Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 3f2cb7e3-0a35-432d-9c73-d78858de05d4 · outbound
This paper cites an unresolved cited work.
Extending Contract Verification for Parallel Programming Models to Fortran Unresolved cited work
Reference 6
- Resolution
- verified exact
- doi, observed 2026-05-09T23:04:17.045936Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 7cd59e02-0c11-42b8-b688-ef350b609c15 · outbound
This paper cites Legate numpy: Accelerated and distributed array computing.
Extending Contract Verification for Parallel Programming Models to Fortran Legate numpy: Accelerated and distributed array computing
Reference 7
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-09T23:04:17.037048Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 4b17f3db-23cd-4383-a988-f575155ec8bb · outbound
This paper cites an unresolved cited work.
Extending Contract Verification for Parallel Programming Models to Fortran Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T13:43:01.853827Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 2c2d6f36-b2f5-4b3d-8e48-1c014c01d39a · outbound
This paper cites Concurrency and Computation: Practice and Experience15(2), 93–100 (2003).https://doi.org/10.1002/cpe.705.
Extending Contract Verification for Parallel Programming Models to Fortran Concurrency and Computation: Practice and Experience15(2), 93–100 (2003).https://doi.org/10.1002/cpe.705
Reference 9
- Resolution
- verified exact
- doi, observed 2026-05-09T23:04:17.041423Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 3d0b0b3e-75ba-4d86-9254-0638ca6ce0c2 · outbound
This paper cites an unresolved cited work.
Extending Contract Verification for Parallel Programming Models to Fortran Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T13:43:01.860872Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 6a50fdb3-ed35-41d9-974a-ba121ea59f38 · outbound
This paper cites miniweather.
Extending Contract Verification for Parallel Programming Models to Fortran miniweather
Reference 11
- Resolution
- verified exact
- doi, observed 2026-05-09T23:04:17.047931Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 31fc5c0b-a6a0-4cbd-b434-3f8c0f8c9e54 · outbound
This paper cites an unresolved cited work.
Extending Contract Verification for Parallel Programming Models to Fortran Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T13:43:01.846422Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation b98a269f-5873-4a0e-8cc4-fc03ef6b0f2c · outbound
This paper cites an unresolved cited work.
Extending Contract Verification for Parallel Programming Models to Fortran Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T13:43:01.842638Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 2277172b-9c49-4c8d-bfea-c8fdf3e76efe · outbound
This paper cites an unresolved cited work.
Extending Contract Verification for Parallel Programming Models to Fortran Unresolved cited work
Reference 14
- Resolution
- verified exact
- doi, observed 2026-05-09T23:04:17.053131Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 94988dd5-ee1c-47b0-9b84-cd7ea7889ea6 · outbound
This paper cites an unresolved cited work.
Extending Contract Verification for Parallel Programming Models to Fortran Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T13:43:01.839148Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation cb2b23dd-1aa2-45a7-9c31-0684784e2826 · outbound
This paper cites an unresolved cited work.
Extending Contract Verification for Parallel Programming Models to Fortran Unresolved cited work
Reference 16
- Resolution
- verified exact
- arxiv_id, observed 2026-05-09T23:04:17.050970Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation cbc39586-7833-4efb-8315-17bbe2d9d21d · outbound
This paper cites an unresolved cited work.
Extending Contract Verification for Parallel Programming Models to Fortran Unresolved cited work
Reference 17
- Resolution
- verified exact
- arxiv_id, observed 2026-05-09T23:04:17.056169Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 3588c276-5c31-4bf5-8f16-51c621b28d1a · outbound
This paper cites In: Pro- ceedings of the SC ’25 Workshops of the International Conference for High Perfor- mance Computing, Networking, Storage and Analysis.
Extending Contract Verification for Parallel Programming Models to Fortran In: Pro- ceedings of the SC ’25 Workshops of the International Conference for High Perfor- mance Computing, Networking, Storage and Analysis
Reference 18
- Resolution
- malformed identifier
- arxiv_id, observed 2026-05-09T23:04:17.530628Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 42884046-3e61-44ea-b2cb-4d6e6e08bf83 · outbound
This paper cites In: Recent Advances in the Message Passing Interface.
Extending Contract Verification for Parallel Programming Models to Fortran In: Recent Advances in the Message Passing Interface
Reference 19
- Resolution
- malformed identifier
- raw_fallback, observed 2026-05-23T13:43:01.857355Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation bb24804b-2e13-4154-bb5c-0a0581781e27 · outbound
This paper cites The International Jour- nal of High Performance Computing Applications28(4), 425–434 (Nov 2014).
Extending Contract Verification for Parallel Programming Models to Fortran The International Jour- nal of High Performance Computing Applications28(4), 425–434 (Nov 2014)
Reference 20
- Resolution
- verified exact
- doi, observed 2026-05-09T23:04:17.058726Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 78ffaa6c-8779-4897-adbd-f6e767ebaf22 · outbound
This paper cites Jigsaw: Accelerating spmm with vector sparsity on sparse tensor core.
Extending Contract Verification for Parallel Programming Models to Fortran Jigsaw: Accelerating spmm with vector sparsity on sparse tensor core
Reference 21
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-09T23:04:17.068059Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation ab7ebd67-e990-4545-a8c9-37ef2ef37591 · outbound
This paper cites Available: http://doi.acm.org/10.1145/2892208.2892235.
Extending Contract Verification for Parallel Programming Models to Fortran Available: http://doi.acm.org/10.1145/2892208.2892235
Reference 22
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-09T23:04:17.062068Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 7ff89e5f-03b8-442e-9634-681a76fd0cf3 · outbound
This paper cites In: 2014 IEEE High Performance Extreme Computing Conference (HPEC).
Extending Contract Verification for Parallel Programming Models to Fortran In: 2014 IEEE High Performance Extreme Computing Conference (HPEC)
Reference 23
- Resolution
- verified exact
- arxiv_id, observed 2026-05-09T23:04:17.065248Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Pith citing papers
Observation 34909d88-f138-441d-9f4c-e4dd594b8700 · inbound
Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts cites this paper.
Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts Extending Contract Verification for Parallel Programming Models to Fortran
Reference 15
- Resolution
- verified exact
- local_arxiv, observed 2026-08-03T09:43:28.951132Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.