Paper Citation Record · LEDGER

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs

As of 16 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 0 inbound Pith citation observations for arXiv:2509.06872.

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

pith.paper-citation-record.v1
2509.06872 v1

Coverage vector

measured 15 of 15 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-04T23:04:10.524562Z

measured 15 of 15 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+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

15 of 15 outbound references displayed

verified exact4
verified fuzzy4
unresolved4
parse uncertain0
malformed identifier0
metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation f5a98847-40c2-452b-93ba-a39986a7fa23 · outbound

This paper cites Leveson and C.S.

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs Leveson and C.S

Reference 11

Resolution: metadata mismatch; arxiv_id, observed 2026-08-04T23:04:10.641882Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation e9fa6573-2ff7-4e8f-bf2e-dec294e6d086 · outbound

This paper cites 16 Prasad Jayanti, Siddhartha Jayanti, Ugur Yavuz, and Lizzie Hernandez.

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs 16 Prasad Jayanti, Siddhartha Jayanti, Ugur Yavuz, and Lizzie Hernandez

Reference 1990

Resolution: unresolved; no resolver link, observed 2026-08-04T23:04:10.492007Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 581bb6e3-4e02-4138-aff9-543e6c19bed0 · outbound

This paper cites Visibility reasoning for concurrent snapshot algorithms.Proc.

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs Visibility reasoning for concurrent snapshot algorithms.Proc

Reference 1996

Resolution: unresolved; no resolver link, observed 2026-08-04T23:04:10.511678Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 899a70e8-7865-4192-8c31-9bae5f05234c · outbound

This paper cites On decomposing and refining specifications of distributed systems.

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs On decomposing and refining specifications of distributed systems

Reference 1997

Resolution: verified fuzzy; raw_fallback, observed 2026-08-04T23:04:10.729495Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 98251ba0-ddfe-4525-a546-f50b283f1dbe · outbound

This paper cites A sound and complete proof technique for linearizability of concurrent data structures.ACM Trans.

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs A sound and complete proof technique for linearizability of concurrent data structures.ACM Trans

Reference 1998

Resolution: verified exact; doi, observed 2026-08-04T23:04:10.587426Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a2d3c47b-0859-45a7-828b-304332e69eb8 · outbound

This paper cites cam.ac.uk/techreports/UCAM-CL-TR-726.pdf,doi:10.48456/tr-726.

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs cam.ac.uk/techreports/UCAM-CL-TR-726.pdf,doi:10.48456/tr-726

Reference 2008

Resolution: verified exact; doi, observed 2026-08-04T23:04:10.572822Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 7b4d45f8-62a5-42b8-8d46-3402f96f7191 · outbound

This paper cites Springer, 2009.doi:10.1007/978-3-540-93900-9\_27.

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs Springer, 2009.doi:10.1007/978-3-540-93900-9\_27

Reference 2009

Resolution: verified exact; doi, observed 2026-08-04T23:04:10.558951Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation bf6bfde1-78cb-420c-a708-47854090d7ea · outbound

This paper cites 13 Google Graph Mining team.

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs 13 Google Graph Mining team

Reference 2011

Resolution: metadata mismatch; arxiv_id, observed 2026-08-04T23:04:10.700078Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a084b9b9-d1bc-42db-95b2-db44521ce1f5 · outbound

This paper cites 9 Pedro da Rocha Pinto, Thomas Dinsdale-Young, and Philippa Gardner.

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs 9 Pedro da Rocha Pinto, Thomas Dinsdale-Young, and Philippa Gardner

Reference 2012

Resolution: verified fuzzy; raw_fallback, observed 2026-08-04T23:04:10.756621Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 8baf1f4f-7277-42b9-82d6-b79e910a5aba · outbound

This paper cites 11 Brijesh Dongol and John Derrick.

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs 11 Brijesh Dongol and John Derrick

Reference 2015

Resolution: unresolved; no resolver link, observed 2026-08-04T23:04:10.479542Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94b0a3db-9c0e-41b2-af82-e38caf458e74 · outbound

This paper cites doi:10.1145/2933057.2933108.

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs doi:10.1145/2933057.2933108

Reference 2016

Resolution: metadata mismatch; arxiv_id, observed 2026-08-04T23:04:10.663236Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 24d7118a-a522-4007-b3fa-f35010729cc8 · outbound

This paper cites 3 Daphna Amit, Noam Rinetzky, Thomas W.

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs 3 Daphna Amit, Noam Rinetzky, Thomas W

Reference 2017

Resolution: verified exact; doi, observed 2026-08-04T23:04:10.620577Z

Source-reported events for the cited work

correction dated 2021-05-31. Source: crossref record 10.1007/s10009-021-00629-9->10.1007/s10009-016-0415-4:correction, observed 2026-07-11T03:01:03.704457+00:00. This notice travels one citation hop only.

Observation 47b7fe15-f3ff-482e-b441-e8e25b55ee09 · outbound

This paper cites doi:10.1017/S0956796818000151.

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs doi:10.1017/S0956796818000151

Reference 2018

Resolution: unresolved; no resolver link, observed 2026-08-04T23:04:10.503989Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 349dc55e-9c63-4e3b-b6a1-fe1f2df907a4 · outbound

This paper cites Henzinger, Ali Sezgin, and Viktor Vafeiadis.

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs Henzinger, Ali Sezgin, and Viktor Vafeiadis

Reference 2023

Resolution: verified fuzzy; raw_fallback, observed 2026-08-04T23:04:10.742693Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 6cd8d18b-f610-438c-989d-eacda37ddbb8 · outbound

This paper cites TLA+ proofs.

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs TLA+ proofs

Reference 2024

Resolution: verified fuzzy; raw_fallback, observed 2026-08-04T23:04:10.770507Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Pith citing papers

No inbound Pith citation observations are available.