Paper Citation Record · LEDGER

Parameterized Verification of Deterministic MPI Programs

As of 10 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 0 inbound Pith citation observations for arXiv:2607.18049.

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

pith.paper-citation-record.v1
2607.18049 v1

Coverage vector

measured 26 of 26 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T16:26:33.370850Z

measured 26 of 26 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+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

26 of 26 outbound references displayed

verified exact6
verified fuzzy0
unresolved14
parse uncertain0
malformed identifier6
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 240a49ad-4a40-4eb8-8d51-7d42b167ca82 · outbound

This paper cites an unresolved cited work.

Parameterized Verification of Deterministic MPI Programs Unresolved cited work

Reference 1

Resolution: malformed identifier; no resolver link, observed 2026-08-01T16:26:30.169748Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7f40991-6c04-404b-a1a9-76db2d811030 · outbound

This paper cites an unresolved cited work.

Parameterized Verification of Deterministic MPI Programs Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T16:26:30.282077Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8967e682-6801-46dd-97dd-b3401e08807f · outbound

This paper cites an unresolved cited work.

Parameterized Verification of Deterministic MPI Programs Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T16:26:30.376509Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3277a307-9ee2-47ff-908d-2802171c3569 · outbound

This paper cites an unresolved cited work.

Parameterized Verification of Deterministic MPI Programs Unresolved cited work

Reference 4

Resolution: verified exact; doi, observed 2026-08-01T16:28:27.855035Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 7adcaab1-8d40-425b-acb2-df86664fee96 · outbound

This paper cites an unresolved cited work.

Parameterized Verification of Deterministic MPI Programs Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T16:26:30.529530Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d07d4eeb-833b-464f-929f-08daa55cdc76 · outbound

This paper cites Retrieved April 8, 2026 from https://dafny.org.

Parameterized Verification of Deterministic MPI Programs Retrieved April 8, 2026 from https://dafny.org

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T16:26:30.616868Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63dcb1b1-6331-4b23-959f-46c32d18ab0f · outbound

This paper cites an unresolved cited work.

Parameterized Verification of Deterministic MPI Programs Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T16:26:30.785597Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad741ed9-49ef-4fd7-9891-19243abc51d0 · outbound

This paper cites Adaptive machine learning strategies for network calibration of IoT smart air quality monitoring devices.

Parameterized Verification of Deterministic MPI Programs Adaptive machine learning strategies for network calibration of IoT smart air quality monitoring devices

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T16:26:30.998098Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1db4116-fbb1-4fd5-951a-bc823db4e605 · outbound

This paper cites an unresolved cited work.

Parameterized Verification of Deterministic MPI Programs Unresolved cited work

Reference 9

Resolution: verified exact; doi, observed 2026-08-01T16:28:27.701082Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 7c9314c4-959c-41bb-958b-e46c4629d2aa · outbound

This paper cites an unresolved cited work.

Parameterized Verification of Deterministic MPI Programs Unresolved cited work

Reference 10

Resolution: verified exact; doi, observed 2026-08-01T16:28:27.492487Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d796dba0-eb68-4e69-a6bf-ae39391136ed · outbound

This paper cites 2024.Guide to Software Verification with Frama-C.

Parameterized Verification of Deterministic MPI Programs 2024.Guide to Software Verification with Frama-C

Reference 11

Resolution: malformed identifier; no resolver link, observed 2026-08-01T16:26:31.453631Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c61f3dba-44ca-4ea3-92b0-221ecfeee2da · outbound

This paper cites Rustan M.

Parameterized Verification of Deterministic MPI Programs Rustan M

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T16:26:31.566267Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c24ed45-1706-48e5-84d4-6968f78eea54 · outbound

This paper cites Rustan M.

Parameterized Verification of Deterministic MPI Programs Rustan M

Reference 13

Resolution: malformed identifier; no resolver link, observed 2026-08-01T16:26:31.789551Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2fda241-2871-4394-a6e5-efdf7f9e6ef6 · outbound

This paper cites López, Eduardo R.

Parameterized Verification of Deterministic MPI Programs López, Eduardo R

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T16:26:31.901026Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80e5a7d7-59c0-4e89-a29a-049146f080c8 · outbound

This paper cites an unresolved cited work.

Parameterized Verification of Deterministic MPI Programs Unresolved cited work

Reference 15

Resolution: verified exact; doi, observed 2026-08-01T16:28:27.286749Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c99a15ea-6319-47cc-82da-c6e81dbc1e75 · outbound

This paper cites an unresolved cited work.

Parameterized Verification of Deterministic MPI Programs Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T16:26:32.212927Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2514068c-4046-4e6a-8f83-e4a16751ec34 · outbound

This paper cites 2026.Correctness for Scientific Computing Sys- tems ( CS2).

Parameterized Verification of Deterministic MPI Programs 2026.Correctness for Scientific Computing Sys- tems ( CS2)

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T16:26:32.300904Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 329f5d41-b824-4784-81e8-b754e113fd7e · outbound

This paper cites 2026.Alt-Ergo: An SMT Solver For Software Verification.

Parameterized Verification of Deterministic MPI Programs 2026.Alt-Ergo: An SMT Solver For Software Verification

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T16:26:32.400282Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8014422-41ad-464c-8874-94ea228c0a21 · outbound

This paper cites an unresolved cited work.

Parameterized Verification of Deterministic MPI Programs Unresolved cited work

Reference 19

Resolution: verified exact; doi, observed 2026-08-01T16:28:27.053645Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 64f8af64-8c6b-42ba-aac5-acb1a252ffd8 · outbound

This paper cites an unresolved cited work.

Parameterized Verification of Deterministic MPI Programs Unresolved cited work

Reference 20

Resolution: verified exact; doi, observed 2026-08-01T16:28:26.820700Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 77625d4b-a065-432f-ae72-8b018e186670 · outbound

This paper cites Siegel and George S.

Parameterized Verification of Deterministic MPI Programs Siegel and George S

Reference 21

Resolution: malformed identifier; no resolver link, observed 2026-08-01T16:26:32.937698Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ef251be-2383-4584-83bf-418cceff7f6c · outbound

This paper cites Siegel and George S.

Parameterized Verification of Deterministic MPI Programs Siegel and George S

Reference 22

Resolution: malformed identifier; no resolver link, observed 2026-08-01T16:26:33.001829Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db5a95b5-05bf-4a6b-a676-10ff6b7c1de2 · outbound

This paper cites Siegel, Manchun Zheng, Ziqing Luo, Timothy K.

Parameterized Verification of Deterministic MPI Programs Siegel, Manchun Zheng, Ziqing Luo, Timothy K

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T16:26:33.128612Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 243b4763-c1c8-4ecc-adb2-3bbf85c5dd23 · outbound

This paper cites Vasconcelos, Francisco Martins, Hugo-Andrés López, and Nobuko Yoshida.

Parameterized Verification of Deterministic MPI Programs Vasconcelos, Francisco Martins, Hugo-Andrés López, and Nobuko Yoshida

Reference 24

Resolution: malformed identifier; no resolver link, observed 2026-08-01T16:26:33.289979Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d459a0eb-12ab-4fd5-97cc-15604f40ada9 · outbound

This paper cites ghost state.

Parameterized Verification of Deterministic MPI Programs ghost state

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-01T16:26:33.370850Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 550392c6-309a-463c-9adc-e6bff74298ca · outbound

This paper cites InSC15: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis.

Parameterized Verification of Deterministic MPI Programs InSC15: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis

Reference 2015

Resolution: unresolved; no resolver link, observed 2026-08-01T16:26:33.240524Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.