Paper Citation Record · LEDGER

Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts

As of 13 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2607.29303.

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

pith.paper-citation-record.v1
2607.29303 v1

Coverage vector

measured 22 of 22 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T09:41:23.563795Z

measured 22 of 22 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

22 of 22 outbound references displayed

verified exact2
verified fuzzy0
unresolved18
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 9d76740f-d1ec-466d-9552-1d683ad0ad02 · outbound

This paper cites an unresolved cited work.

Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-03T09:41:23.389811Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21f77666-394a-4325-ae9e-92418b459d9b · outbound

This paper cites an unresolved cited work.

Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T09:41:23.407328Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74f7b71a-dce9-4f5f-8b62-f1c0b6803b23 · outbound

This paper cites In: Blaas- Schenner, C., Niethammer, C., Haas, T.

Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts In: Blaas- Schenner, C., Niethammer, C., Haas, T

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T09:41:23.416786Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18601a1e-d3c3-4813-ab7c-1f23e48fb3c1 · outbound

This paper cites In: Pro- ceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC.

Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts In: Pro- ceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-03T09:41:23.426070Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8bd5224e-46a5-4233-9bc2-f9a3ce0c8b36 · outbound

This paper cites In: Müller, M.S., Resch, M.M., Schulz, A., Nagel, W.E.

Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts In: Müller, M.S., Resch, M.M., Schulz, A., Nagel, W.E

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-03T09:41:23.433747Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb52afa4-7266-40a7-816a-b3a55a7a329c · outbound

This paper cites In: 2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness).

Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts In: 2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness)

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-03T09:41:23.447615Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39cc9d4f-5faa-4ffc-b974-c47bab9c9db6 · outbound

This paper cites (eds.) Recent Advances in the Mes- sage Passing Interface.

Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts (eds.) Recent Advances in the Mes- sage Passing Interface

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T09:41:23.454402Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c780ca9-cd00-413e-84e8-362166fbb96e · outbound

This paper cites an unresolved cited work.

Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T09:41:23.463149Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6cf6f26-b28e-448e-a3d3-a485ea8d1d50 · outbound

This paper cites an unresolved cited work.

Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-03T09:41:23.473546Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa631d1e-26df-4ae7-9f33-29fe1ce27815 · outbound

This paper cites an unresolved cited work.

Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-03T09:41:23.484769Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2fccf7a3-07b5-4491-a73e-ca3d412497b3 · outbound

This paper cites SIGPLAN Not.42(6), 89–100 (Jun 2007).https://doi.org/10.

Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts SIGPLAN Not.42(6), 89–100 (Jun 2007).https://doi.org/10

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-03T09:41:23.492345Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63c1e479-b087-4148-aabc-8695a665e19d · outbound

This paper cites an unresolved cited work.

Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-03T09:41:23.500602Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 075a67de-29b1-4247-9cd6-f3ea607d88c7 · outbound

This paper cites an unresolved cited work.

Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T09:41:23.507932Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d28ca5aa-12b5-485f-8beb-7ecc5a2c5a1d · outbound

This paper cites an unresolved cited work.

Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts Unresolved cited work

Reference 14

Resolution: malformed identifier; no resolver link, observed 2026-08-03T09:41:23.514199Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34909d88-f138-441d-9f4c-e4dd594b8700 · outbound

This paper cites Extending Contract Verification for Parallel Programming Models to Fortran.

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-13T06:32:02.005865+00:00.

Observation 7ec5ff5a-d1c3-4531-b99f-0502fa223731 · outbound

This paper cites an unresolved cited work.

Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-03T09:41:23.527526Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 71a0b696-397f-4400-88b3-23c60d68534a · outbound

This paper cites an unresolved cited work.

Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-03T09:41:23.533296Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f665786-48d0-4c27-a269-370cc9ea4331 · outbound

This paper cites In: Schuchart, J., Bouteiller, A., Hunold, S., Jaeger, J., Niethammer, C., Smith, B.

Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts In: Schuchart, J., Bouteiller, A., Hunold, S., Jaeger, J., Niethammer, C., Smith, B

Reference 18

Resolution: verified exact; doi, observed 2026-08-03T09:43:28.799510Z

Source-reported events for the cited work

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

Observation b53e6082-273a-4576-8d45-5ff7c2999242 · outbound

This paper cites The International Jour- nal of High Performance Computing Applications28(4), 425–434 (Nov 2014).

Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts The International Jour- nal of High Performance Computing Applications28(4), 425–434 (Nov 2014)

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-03T09:41:23.548122Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d1c2b2e-4187-4021-9fc2-6b2842295b88 · outbound

This paper cites In: Proceedings of the 53rd International Conference on Par- allel Processing.

Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts In: Proceedings of the 53rd International Conference on Par- allel Processing

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-03T09:41:23.554068Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8fc772c9-6235-470d-85da-f4be11f41c3d · outbound

This paper cites In: 2014 IEEE High Performance Extreme Computing Conference (HPEC).

Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts In: 2014 IEEE High Performance Extreme Computing Conference (HPEC)

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-03T09:41:23.563795Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 323c5f0e-a88a-4cb2-8229-d754e70fdac5 · outbound

This paper cites an unresolved cited work.

Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts Unresolved cited work

Reference 2009

Resolution: malformed identifier; no resolver link, observed 2026-08-03T09:41:23.440704Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.