Paper Citation Record · LEDGER

An Abstract Domain for Heap Commutativity (Extended Version)

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

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

pith.paper-citation-record.v1
2411.12857 v2

Coverage vector

measured 38 of 38 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T17:20:33.113415Z

measured 38 of 38 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

38 of 38 outbound references displayed

verified exact11
verified fuzzy6
unresolved16
parse uncertain0
malformed identifier2
metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 9fe2cfb2-cf3d-47df-95d8-34b4e293dc77 · outbound

This paper cites an unresolved cited work.

An Abstract Domain for Heap Commutativity (Extended Version) Unresolved cited work

Reference 1

Resolution: verified exact; doi, observed 2026-08-12T17:20:33.402515Z

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 f5eda704-36da-43d1-a15d-45a653ad186e · outbound

This paper cites Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version).

An Abstract Domain for Heap Commutativity (Extended Version) Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version)

Reference 2

Resolution: metadata mismatch; local_arxiv, observed 2026-08-12T17:20:34.429169Z

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 9d117194-45cc-415e-9b3a-b787477d7eb3 · outbound

This paper cites an unresolved cited work.

An Abstract Domain for Heap Commutativity (Extended Version) Unresolved cited work

Reference 3

Resolution: verified exact; doi, observed 2026-08-12T17:20:33.384276Z

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 ba6138b0-20ad-4681-8bfd-d08c85f84cf9 · outbound

This paper cites In: 22nd Annual IEEE Symposium on Logic in Computer Science ( LICS 2007).

An Abstract Domain for Heap Commutativity (Extended Version) In: 22nd Annual IEEE Symposium on Logic in Computer Science ( LICS 2007)

Reference 4

Resolution: verified exact; doi, observed 2026-08-12T17:20:33.362053Z

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 c80e3c87-339d-4687-a724-74d92da8ade5 · outbound

This paper cites an unresolved cited work.

An Abstract Domain for Heap Commutativity (Extended Version) Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-12T17:20:34.623618Z

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 2a070f8a-a711-44df-9d6c-870d659375f7 · outbound

This paper cites an unresolved cited work.

An Abstract Domain for Heap Commutativity (Extended Version) Unresolved cited work

Reference 6

Resolution: verified exact; doi, observed 2026-08-12T17:20:33.346159Z

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 e4f30e8a-2be2-4a77-833b-62bb2520e1ae · outbound

This paper cites In: André, É., Sun, J.

An Abstract Domain for Heap Commutativity (Extended Version) In: André, É., Sun, J

Reference 7

Resolution: verified exact; doi, observed 2026-08-12T17:20:33.329105Z

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 95ef8b1c-b9af-4437-ad6d-d80291d8809f · outbound

This paper cites In: Proceedings of the Twenty-Fourth ACM Symposium on Opera ting Systems Principles.

An Abstract Domain for Heap Commutativity (Extended Version) In: Proceedings of the Twenty-Fourth ACM Symposium on Opera ting Systems Principles

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-12T17:20:32.938296Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51623d92-7896-4769-931a-210d3ea0dcde · outbound

This paper cites Electronic Proceedings in Theoretical Co mputer Science 129, 325– 336 (sep 2013).

An Abstract Domain for Heap Commutativity (Extended Version) Electronic Proceedings in Theoretical Co mputer Science 129, 325– 336 (sep 2013)

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-12T17:20:32.944028Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 206fe603-ea68-4d16-8ae6-c86927f02dc6 · outbound

This paper cites In: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Pro gramming Languages.

An Abstract Domain for Heap Commutativity (Extended Version) In: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Pro gramming Languages

Reference 10

Resolution: verified exact; doi, observed 2026-08-12T17:20:33.300890Z

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 2dd5d1c1-5850-4c84-90cd-0e08c82e2bd4 · outbound

This paper cites The Journal of Logic Programming 13(2), 103–179 (1992).

An Abstract Domain for Heap Commutativity (Extended Version) The Journal of Logic Programming 13(2), 103–179 (1992)

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-12T17:20:32.955719Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7bad81b3-6615-4520-8fbb-f4a88eff8de6 · outbound

This paper cites In: Proceedings of the ACM Symposium on Pri nciples of Dis- tributed Computing.

An Abstract Domain for Heap Commutativity (Extended Version) In: Proceedings of the ACM Symposium on Pri nciples of Dis- tributed Computing

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-12T17:20:32.960654Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2dc9579-d35f-4bc0-a566-513fba245448 · outbound

This paper cites an unresolved cited work.

An Abstract Domain for Heap Commutativity (Extended Version) Unresolved cited work

Reference 13

Resolution: malformed identifier; doi_truncated, observed 2026-08-12T17:20:33.274176Z

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 7cd683ed-e340-4102-9a50-310cc65b53b4 · outbound

This paper cites ACM SIGPLAN Notices 44(1), 2–15 (2009) 22 J.

An Abstract Domain for Heap Commutativity (Extended Version) ACM SIGPLAN Notices 44(1), 2–15 (2009) 22 J

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T17:20:34.604533Z

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 dc7d6ef2-69df-45ea-92eb-32d18703de6f · outbound

This paper cites an unresolved cited work.

An Abstract Domain for Heap Commutativity (Extended Version) Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-12T17:20:34.586610Z

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 03002ed1-34dd-4751-94d2-b01847db8fd8 · outbound

This paper cites In : LICS.

An Abstract Domain for Heap Commutativity (Extended Version) In : LICS

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-12T17:20:32.982695Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1acc1462-07aa-4604-adf2-a6016aa4baf4 · outbound

This paper cites an unresolved cited work.

An Abstract Domain for Heap Commutativity (Extended Version) Unresolved cited work

Reference 17

Resolution: verified exact; doi, observed 2026-08-12T17:20:33.252142Z

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 57955316-55cd-442d-9ba6-7d1e68527bc0 · outbound

This paper cites an unresolved cited work.

An Abstract Domain for Heap Commutativity (Extended Version) Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-12T17:20:34.566523Z

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 3dee7d4b-1f18-4ad4-b5d1-b85468234a2f · outbound

This paper cites an unresolved cited work.

An Abstract Domain for Heap Commutativity (Extended Version) Unresolved cited work

Reference 19

Resolution: verified exact; doi, observed 2026-08-12T17:20:33.229476Z

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 c90d708e-04d7-4fde-89d1-d779771ef6fe · outbound

This paper cites Proceedings of the ACM on Programming Languages 4(OOPSLA), 1–29 (2020).

An Abstract Domain for Heap Commutativity (Extended Version) Proceedings of the ACM on Programming Languages 4(OOPSLA), 1–29 (2020)

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T17:20:34.549024Z

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 d712b48d-23fe-4643-8f18-1001546c4c76 · outbound

This paper cites Theoretical Computer Science 216(1), 159–211 (1999).

An Abstract Domain for Heap Commutativity (Extended Version) Theoretical Computer Science 216(1), 159–211 (1999)

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-12T17:20:33.013458Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38ea4382-d8e1-47c7-9c4f-91edeec77d17 · outbound

This paper cites ACM Trans.

An Abstract Domain for Heap Commutativity (Extended Version) ACM Trans

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-12T17:20:33.020157Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42f1fb26-e0dc-459e-9374-d6b72f220d8a · outbound

This paper cites ACM Trans.

An Abstract Domain for Heap Commutativity (Extended Version) ACM Trans

Reference 23

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T17:20:34.056270Z

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 b97aea54-64ae-415c-958a-ac0e1ed090c4 · outbound

This paper cites In: Proceedi ngs of the 32nd ACM SIGPLAN Conference on Programming Language Design and Impl ementation.

An Abstract Domain for Heap Commutativity (Extended Version) In: Proceedi ngs of the 32nd ACM SIGPLAN Conference on Programming Language Design and Impl ementation

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-12T17:20:33.032534Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46cc3055-5266-41cb-b657-a4ef34a6956a · outbound

This paper cites In: International Conference on Veriﬁcat ion, Model Checking, and Abstract Interpretation.

An Abstract Domain for Heap Commutativity (Extended Version) In: International Conference on Veriﬁcat ion, Model Checking, and Abstract Interpretation

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T17:20:34.526855Z

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 bed9656f-0333-40ec-ad5d-1428233b1243 · outbound

This paper cites In: 2021 Formal M ethods in Computer Aided Design (FMCAD).

An Abstract Domain for Heap Commutativity (Extended Version) In: 2021 Formal M ethods in Computer Aided Design (FMCAD)

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T17:20:34.509649Z

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 52cf944b-f648-475f-9296-73f74553605b · outbound

This paper cites In: Enea, C., Lal, A.

An Abstract Domain for Heap Commutativity (Extended Version) In: Enea, C., Lal, A

Reference 27

Resolution: verified exact; doi, observed 2026-08-12T17:20:33.199854Z

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 d77a4344-9519-4e05-a9bb-67c34aa91e6c · outbound

This paper cites In: 36th Annual ACM/IEEE Symposium on Logic in Compu ter Sci- ence, LICS 2021, Rome, Italy, June 29 - July 2, 2021.

An Abstract Domain for Heap Commutativity (Extended Version) In: 36th Annual ACM/IEEE Symposium on Logic in Compu ter Sci- ence, LICS 2021, Rome, Italy, June 29 - July 2, 2021

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-12T17:20:33.055652Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1e8766d-b7b6-416f-9865-e11deaa876ca · outbound

This paper cites In: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of pr ogramming languages.

An Abstract Domain for Heap Commutativity (Extended Version) In: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of pr ogramming languages

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T17:20:34.491040Z

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 1f0f9616-b7b1-4d2f-8787-4470261463c6 · outbound

This paper cites Maste r’s thesis, Stevens Insti- tute of Technology (2022), https://www.proquest.com/doc view/2681771819.

An Abstract Domain for Heap Commutativity (Extended Version) Maste r’s thesis, Stevens Insti- tute of Technology (2022), https://www.proquest.com/doc view/2681771819

Reference 30

Resolution: verified exact; raw_fallback, observed 2026-08-12T17:20:33.763663Z

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 c8d078f3-12f3-4a4f-81be-9e711710db90 · outbound

This paper cites 1327–1341.

An Abstract Domain for Heap Commutativity (Extended Version) 1327–1341

Reference 31

Resolution: malformed identifier; no resolver link, observed 2026-08-12T17:20:33.072623Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db8675bc-d1b4-4f14-af70-1f01d36470cd · outbound

This paper cites In: Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and i mplementation.

An Abstract Domain for Heap Commutativity (Extended Version) In: Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and i mplementation

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-12T17:20:33.077584Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f59f5f6b-c05a-411d-b6e3-a7429bc9bcf7 · outbound

This paper cites Reducing urban traffic congestion due to localized routing decisions.

An Abstract Domain for Heap Commutativity (Extended Version) Reducing urban traffic congestion due to localized routing decisions

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-12T17:20:33.082582Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9913c4cf-3bad-4359-a8b0-ffd9eb7fd203 · outbound

This paper cites In: Euro-Par ’96 Parallel Processing, Second International Eu ro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I.

An Abstract Domain for Heap Commutativity (Extended Version) In: Euro-Par ’96 Parallel Processing, Second International Eu ro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I

Reference 34

Resolution: verified exact; doi, observed 2026-08-12T17:20:33.181638Z

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 7b07b38a-eba0-4d6a-9938-ca74193df5b7 · outbound

This paper cites an unresolved cited work.

An Abstract Domain for Heap Commutativity (Extended Version) Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-12T17:20:34.470642Z

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 9bf101f1-58b3-4b86-aab0-912ab4ec8759 · outbound

This paper cites In: Proceedings of the 1st International Workshop on Emerging Applications of Abs tract Interpretation (EAAI06).

An Abstract Domain for Heap Commutativity (Extended Version) In: Proceedings of the 1st International Workshop on Emerging Applications of Abs tract Interpretation (EAAI06)

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T17:20:34.452586Z

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 4e5e9740-1822-4e43-8ffd-106753207bdf · outbound

This paper cites In: Proceedings of the second annual ACM symposium on Principles of distributed computing (PODC’83).

An Abstract Domain for Heap Commutativity (Extended Version) In: Proceedings of the second annual ACM symposium on Principles of distributed computing (PODC’83)

Reference 37

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T17:20:33.497180Z

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 85a5b1c7-ed4c-42b5-8d2f-4629d6402834 · outbound

This paper cites an unresolved cited work.

An Abstract Domain for Heap Commutativity (Extended Version) Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-12T17:20:33.113415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.