Paper Citation Record · LEDGER

A Formal Semantics of C with OpenMP Parallelism (Extended Version)

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.

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

pith.paper-citation-record.v1
2605.26527 v2

Coverage vector

measured 18 of 18 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-29T16:11:41.633847Z

measured 18 of 18 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+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

18 of 18 outbound references displayed

verified exact5
verified fuzzy0
unresolved9
parse uncertain0
malformed identifier0
metadata mismatch4

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 3821db5e-d309-4531-87b3-f0b8ceeca372 · outbound

This paper cites In: Proceedings of the 9th International Workshop on Software Correctness for HPC Applications.

A Formal Semantics of C with OpenMP Parallelism (Extended Version) In: Proceedings of the 9th International Workshop on Software Correctness for HPC Applications

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-29T16:11:41.633847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0c1ad43-027c-46e7-b224-3025a7434e83 · outbound

This paper cites an unresolved cited work.

A Formal Semantics of C with OpenMP Parallelism (Extended Version) Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-29T16:11:41.633847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a855ca6f-8b20-420e-9ab9-b8f5b1672eb6 · outbound

This paper cites In: 2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW).

A Formal Semantics of C with OpenMP Parallelism (Extended Version) In: 2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-06-29T16:13:35.392307Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 344a83c3-4f53-49e7-a3f4-15b38a7571cc · outbound

This paper cites In: Inter- national Conference on Interactive Theorem Proving.

A Formal Semantics of C with OpenMP Parallelism (Extended Version) In: Inter- national Conference on Interactive Theorem Proving

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-29T16:11:41.633847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a4b5b0a-1070-4160-80a3-06681d9f7308 · outbound

This paper cites openmp.org/wp-content/uploads/OpenMP-API-Specification-6-0.pdf(2024).

A Formal Semantics of C with OpenMP Parallelism (Extended Version) openmp.org/wp-content/uploads/OpenMP-API-Specification-6-0.pdf(2024)

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-29T16:11:41.633847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1716654-3ba5-4c96-bd23-778099a1f151 · outbound

This paper cites an unresolved cited work.

A Formal Semantics of C with OpenMP Parallelism (Extended Version) Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-29T16:11:41.633847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49817692-f692-4c35-881e-51079fe75489 · outbound

This paper cites In Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’12).

A Formal Semantics of C with OpenMP Parallelism (Extended Version) In Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’12)

Reference 7

Resolution: metadata mismatch; arxiv_id, observed 2026-06-29T16:13:35.387204Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation fd32a3dc-26de-4ce3-a708-2f86d77273cf · outbound

This paper cites Navas, Noam Rinetzky, Leonid Ryzhyk, and Mooly Sagiv.

A Formal Semantics of C with OpenMP Parallelism (Extended Version) Navas, Noam Rinetzky, Leonid Ryzhyk, and Mooly Sagiv

Reference 8

Resolution: metadata mismatch; arxiv_id, observed 2026-06-29T16:13:35.398285Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b088894c-787d-41aa-ae3d-2f3a91a091a7 · outbound

This paper cites an unresolved cited work.

A Formal Semantics of C with OpenMP Parallelism (Extended Version) Unresolved cited work

Reference 9

Resolution: verified exact; doi, observed 2026-06-29T16:13:35.394726Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f058f229-378f-442e-a786-e1072519dc2a · outbound

This paper cites Communications of the ACM 52(7), pp.

A Formal Semantics of C with OpenMP Parallelism (Extended Version) Communications of the ACM 52(7), pp

Reference 10

Resolution: verified exact; arxiv_id, observed 2026-06-29T16:13:35.377071Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 2799db12-4c34-465f-b3fc-86b9970e8b90 · outbound

This paper cites In: Proceedings of the 39th ACM International Conference on Supercomputing.

A Formal Semantics of C with OpenMP Parallelism (Extended Version) In: Proceedings of the 39th ACM International Conference on Supercomputing

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-29T16:11:41.633847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0084bf69-54c0-48be-b2f4-2ea86a2f3574 · outbound

This paper cites 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).

A Formal Semantics of C with OpenMP Parallelism (Extended Version) 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)

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-29T16:11:41.633847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2288562b-8c41-426a-91f3-6687318005ca · outbound

This paper cites hands-on.

A Formal Semantics of C with OpenMP Parallelism (Extended Version) hands-on

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-29T16:11:41.633847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c715c3c-172e-4be1-a6d1-c8bdb2201b9f · outbound

This paper cites Principles of Secure Compilation (PriSC).

A Formal Semantics of C with OpenMP Parallelism (Extended Version) Principles of Secure Compilation (PriSC)

Reference 14

Resolution: verified exact; doi, observed 2026-06-29T16:13:35.372948Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e2c00e52-28fa-4f79-967d-6d108427573d · outbound

This paper cites SIG- PLANNot.51(6),1–15(Jun2016).https://doi.org/10.1145/2980983.2908081, https://doi.org/10.1145/2980983.2908081.

A Formal Semantics of C with OpenMP Parallelism (Extended Version) SIG- PLANNot.51(6),1–15(Jun2016).https://doi.org/10.1145/2980983.2908081, https://doi.org/10.1145/2980983.2908081

Reference 15

Resolution: verified exact; arxiv_id, observed 2026-06-29T16:13:35.388543Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 7677c753-3388-4737-8364-7592f6107c82 · outbound

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

A Formal Semantics of C with OpenMP Parallelism (Extended Version) Siegel, Manchun Zheng, Ziqing Luo, Timothy K

Reference 16

Resolution: metadata mismatch; arxiv_id, observed 2026-06-29T16:13:35.384783Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 4f3fd2a6-b461-4c43-8da7-0f00803f8f42 · outbound

This paper cites Advances in Neural Information Processing Systems37, 100965–100999 (2024).

A Formal Semantics of C with OpenMP Parallelism (Extended Version) Advances in Neural Information Processing Systems37, 100965–100999 (2024)

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-29T16:11:41.633847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65569642-ec11-4447-acab-f30a94556915 · outbound

This paper cites Journal of the ACM (JACM)60(3), pp.

A Formal Semantics of C with OpenMP Parallelism (Extended Version) Journal of the ACM (JACM)60(3), pp

Reference 18

Resolution: metadata mismatch; arxiv_id, observed 2026-06-29T16:13:35.380917Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Pith citing papers

No inbound Pith citation observations are available.