{"as_of":"2026-08-13T05:33:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d4fd0813fbbf1d89eca2fef6b7e3148984297da7d81ad971c759563477403754","coverage":[{"denominator":38,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":38,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T17:20:33.113415Z","state":"measured"},{"denominator":38,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":38,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2411.12857/citation-record","integrity":"/paper/2411.12857/integrity","json":"/paper/2411.12857/citation-record.json","paper":"/paper/2411.12857"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/357121","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:33.397483Z","title":null,"venue":null,"work_id":"61217dae-0b43-4814-abe1-c73a3c884871","year":2023},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:32.894135Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:19bdcb11eda848a24c456023fd7c13f05fe0e7e2d3b06c582a474ae4162f168c","observation_id":"9fe2cfb2-cf3d-47df-95d8-34b4e293dc77","resolution":{"observed_at":"2026-08-12T17:20:33.402515Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1802.08748","last_updated":"2018-02-23T21:59:57Z","snapshot_observed_at":"2026-07-06T06:25:07.039294Z","submitted_at":"2018-02-23T21:59:57Z","title":"Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version)","version":1},"cited_work":{"arxiv_id":"1802.08748","doi":null,"metadata_source":"pith","pith_arxiv_id":"1802.08748","snapshot_observed_at":"2026-08-12T17:20:34.422248Z","title":"Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version)","venue":"cs.PL","work_id":"f9fee6e1-f912-4d27-bdb5-af0d59b2827c","year":2018},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:32.900877Z"},"links":{"cited_paper":"/paper/1802.08748","citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:55937f90030ad27f7d8cee8c773b0b222004a0176be1f3391634088f1f0ad088","observation_id":"f5eda704-36da-43d1-a15d-45a653ad186e","resolution":{"observed_at":"2026-08-12T17:20:34.429169Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-020-09573-w","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:33.377931Z","title":null,"venue":null,"work_id":"9e874af5-e686-4fac-89f4-278c4e003339","year":2020},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:32.908202Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:a3b7c61bd0ce5f65b6dc282d272ebb1000faa65ca7df309b9c1de8c1926e056b","observation_id":"9d117194-45cc-415e-9b3a-b787477d7eb3","resolution":{"observed_at":"2026-08-12T17:20:33.384276Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/lics.2007.30","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:33.356881Z","title":"In: 22nd Annual IEEE Symposium on Logic in Computer Science ( LICS 2007)","venue":null,"work_id":"36ae17da-d133-4807-a9d3-1eaf356204ec","year":2007},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:32.914459Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:5e5950385c506578774a31aec9db000131ddcbf723d28b1437eb818083cba3b2","observation_id":"ba6138b0-20ad-4681-8bfd-d08c85f84cf9","resolution":{"observed_at":"2026-08-12T17:20:33.362053Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:34.618378Z","title":null,"venue":null,"work_id":"68d12fdd-7679-47a4-9174-e91c12fd8563","year":2023},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:32.919828Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:dff7bdec30df75075d2a1d3dad4986906d027970061e09cd7eb1dae2709753e1","observation_id":"c80e3c87-339d-4687-a724-74d92da8ade5","resolution":{"observed_at":"2026-08-12T17:20:34.623618Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3563349","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:33.340241Z","title":null,"venue":null,"work_id":"20ba3b96-1c8d-4a1f-8e36-1bb7b9648a8c","year":2022},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:32.925148Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:bc135accf913ac3e225d6f6726463274e60e434ad69f0eb0c68be3c64e7f4d78","observation_id":"2a070f8a-a711-44df-9d6c-870d659375f7","resolution":{"observed_at":"2026-08-12T17:20:33.346159Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-45332-8_5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:33.324465Z","title":"In: André, É., Sun, J","venue":null,"work_id":"e14d4e6e-5655-4713-909d-ab2901c2f73e","year":2023},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:32.932034Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:e8a1dbfeb2e759effe94dac5b62b10f4be7f60c0abf586ee401eed41192d8dd8","observation_id":"e4f30e8a-2be2-4a77-833b-62bb2520e1ae","resolution":{"observed_at":"2026-08-12T17:20:33.329105Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:32.938296Z","title":"In: Proceedings of the Twenty-Fourth ACM Symposium on Opera ting Systems Principles","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:32.938296Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:166764b2feb0ccd2173cad85f895bb9a6fe87aa78452af7128a7b977d06b1cf1","observation_id":"95ef8b1c-b9af-4437-ad6d-d80291d8809f","resolution":{"observed_at":"2026-08-12T17:20:32.938296Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:32.944028Z","title":"Electronic Proceedings in Theoretical Co mputer Science 129, 325– 336 (sep 2013)","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:32.944028Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:db68cb007e808fbb1d282e7ddbaa22582bcb38bb67283758991e6949210299a7","observation_id":"51623d92-7896-4769-931a-210d3ea0dcde","resolution":{"observed_at":"2026-08-12T17:20:32.944028Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/512950.51","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:33.295892Z","title":"In: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Pro gramming Languages","venue":null,"work_id":"0c5a7c77-1f48-41c9-b6ac-a3548bad27c7","year":1977},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:32.949460Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:db6ac2f048f4b76e5797eae9eebb65aa4bf8bd25ff763a345dba44ae08ec2325","observation_id":"206fe603-ea68-4d16-8ae6-c86927f02dc6","resolution":{"observed_at":"2026-08-12T17:20:33.300890Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:32.955719Z","title":"The Journal of Logic Programming 13(2), 103–179 (1992)","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:32.955719Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:86a4930babeaab7a0a41dcb1459bf5458cd374f030173c14805b8c4ba57239ac","observation_id":"2dd5d1c1-5850-4c84-90cd-0e08c82e2bd4","resolution":{"observed_at":"2026-08-12T17:20:32.955719Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:32.960654Z","title":"In: Proceedings of the ACM Symposium on Pri nciples of Dis- tributed Computing","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:32.960654Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:bf89017685663f118c578fb0139b1a6636e4ab1053bab5e7e656fb40b15c2c73","observation_id":"7bad81b3-6615-4520-8fbb-f4a88eff8de6","resolution":{"observed_at":"2026-08-12T17:20:32.960654Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3591","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:33.267179Z","title":null,"venue":null,"work_id":"b960564f-bbbd-44de-83e3-355485b83cd5","year":2023},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:32.967376Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:7abdbc964461d695a121ba7d2a1af44a3316f9e6de7eaaa5e8a818a5b565f25f","observation_id":"e2dc9579-d35f-4bc0-a566-513fba245448","resolution":{"observed_at":"2026-08-12T17:20:33.274176Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:34.597698Z","title":"ACM SIGPLAN Notices 44(1), 2–15 (2009) 22 J","venue":null,"work_id":"4d242f94-fd26-4ddb-9d2b-d75a9ea839b3","year":2009},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:32.972541Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:d6313561302672255b30091bf167d255cbea23ac03230bdb3a41e141337303e0","observation_id":"7cd683ed-e340-4102-9a50-310cc65b53b4","resolution":{"observed_at":"2026-08-12T17:20:34.604533Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:34.580864Z","title":null,"venue":null,"work_id":"2cd17fcf-ece3-4955-9922-53afadec8536","year":2024},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:32.977965Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:ee5c216345a554fdab2d9193ca689c64d6aa495ddfa6a14f85271763c5ceef3f","observation_id":"dc7d6ef2-69df-45ea-92eb-32d18703de6f","resolution":{"observed_at":"2026-08-12T17:20:34.586610Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:32.982695Z","title":"In : LICS","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:32.982695Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:7e3e08955ec7b64f4e5d79c5478411c4e50322cf1f4436abe3e4da8c75e87c24","observation_id":"03002ed1-34dd-4751-94d2-b01847db8fd8","resolution":{"observed_at":"2026-08-12T17:20:32.982695Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3571242","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:33.246154Z","title":null,"venue":null,"work_id":"70f7125c-0ae2-4e69-96a9-11b9c65e309c","year":2023},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:32.989094Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:fc0b6ede65732a673f281ff8d62b055902fbf6b478ce8b39dfcd2a084870c3ec","observation_id":"1acc1462-07aa-4604-adf2-a6016aa4baf4","resolution":{"observed_at":"2026-08-12T17:20:33.252142Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:34.560733Z","title":null,"venue":null,"work_id":"5e551bce-0d92-424b-9e41-9a698fcc5ea2","year":2024},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:32.995736Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:de7ef060e62fba2cb8381d4e7187a9f67608ec764c03758cf678da18bcd58d6b","observation_id":"57955316-55cd-442d-9ba6-7d1e68527bc0","resolution":{"observed_at":"2026-08-12T17:20:34.566523Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/363287","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:33.224675Z","title":null,"venue":null,"work_id":"c44717a2-7601-4b2f-90fc-6358829880ec","year":2024},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:33.001911Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:03a736b543144f926b1f6fe596c6682538702d16ab7ddd7d55f7be8910cc8e7b","observation_id":"3dee7d4b-1f18-4ad4-b5d1-b85468234a2f","resolution":{"observed_at":"2026-08-12T17:20:33.229476Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:34.543809Z","title":"Proceedings of the ACM on Programming Languages 4(OOPSLA), 1–29 (2020)","venue":null,"work_id":"4b04fc08-ddab-4ff9-b6b5-b89984d79e53","year":2020},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:33.008373Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:243a70e546a50e105bbf7e6ef173dda353cdac9d3b690afbc5f5007f3e5b9f5b","observation_id":"c90d708e-04d7-4fde-89d1-d779771ef6fe","resolution":{"observed_at":"2026-08-12T17:20:34.549024Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:33.013458Z","title":"Theoretical Computer Science 216(1), 159–211 (1999)","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:33.013458Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:6d1ab58b27e0cb8c4ae861b71ab53fdbd6becfe31c5c90da1a7dc15e7362e2a4","observation_id":"d712b48d-23fe-4643-8f18-1001546c4c76","resolution":{"observed_at":"2026-08-12T17:20:33.013458Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:33.020157Z","title":"ACM Trans","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:33.020157Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:6171ed4ea6c25dc543e05a952f13200cb386f6f02fcbe0497f2fbd2278b34f2e","observation_id":"38ea4382-d8e1-47c7-9c4f-91edeec77d17","resolution":{"observed_at":"2026-08-12T17:20:33.020157Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3677.29368","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:34.044044Z","title":"ACM Trans","venue":null,"work_id":"fbaff3f5-b9a9-49c1-98db-81de68548b65","year":1998},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:33.026256Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:12c61f41aac4abf37531d38b4861c71fa629486d538b3862555196537decb108","observation_id":"42f1fb26-e0dc-459e-9374-d6b72f220d8a","resolution":{"observed_at":"2026-08-12T17:20:34.056270Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:33.032534Z","title":"In: Proceedi ngs of the 32nd ACM SIGPLAN Conference on Programming Language Design and Impl ementation","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:33.032534Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:844bac39e3b9e4a657ed9162c98638467e828d32b2bcbf30e4bdb1f7c87fdbd9","observation_id":"b97aea54-64ae-415c-958a-ac0e1ed090c4","resolution":{"observed_at":"2026-08-12T17:20:33.032534Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:34.521237Z","title":"In: International Conference on Verificat ion, Model Checking, and Abstract Interpretation","venue":null,"work_id":"2cf6b72e-0bef-4f17-8d43-3c099beab963","year":2021},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:33.038468Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:a460d4e18a033c2a02f7d1affea701019af788c4f5f590809f59b15e692934cd","observation_id":"46cc3055-5266-41cb-b657-a4ef34a6956a","resolution":{"observed_at":"2026-08-12T17:20:34.526855Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:34.502247Z","title":"In: 2021 Formal M ethods in Computer Aided Design (FMCAD)","venue":null,"work_id":"6ea63304-cd9b-437d-83ea-733d8067a659","year":2021},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:33.043913Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:42d4eedef2589074f5dd0f5b3f0f47185688fa8d3fadbeab34c65aa6b8ae329d","observation_id":"bed9656f-0333-40ec-ad5d-1428233b1243","resolution":{"observed_at":"2026-08-12T17:20:34.509649Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-37706-8_6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:33.193468Z","title":"In: Enea, C., Lal, A","venue":null,"work_id":"55047bf0-ba16-4148-9c5d-b473b1010b66","year":2023},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:33.050245Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:eba0027833338bd2b8cd85dcb69ad94d8d41ddcc94ed19b7458643d4602f9d5e","observation_id":"52cf944b-f648-475f-9296-73f74553605b","resolution":{"observed_at":"2026-08-12T17:20:33.199854Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:33.055652Z","title":"In: 36th Annual ACM/IEEE Symposium on Logic in Compu ter Sci- ence, LICS 2021, Rome, Italy, June 29 - July 2, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:33.055652Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:daa19147d2f42064f38b9dccba6523b739f90fb23581e62ce68d762e1a5299c8","observation_id":"d77a4344-9519-4e05-a9bb-67c34aa91e6c","resolution":{"observed_at":"2026-08-12T17:20:33.055652Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:34.485816Z","title":"In: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of pr ogramming languages","venue":null,"work_id":"639e9da8-1c7d-4c40-9a5a-e5a848132264","year":2005},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:33.062590Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:a659fee45e144589d73d33d55280337ad652ee4243a259e4d8bc8542607a22a6","observation_id":"d1e8766d-b7b6-416f-9865-e11deaa876ca","resolution":{"observed_at":"2026-08-12T17:20:34.491040Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"view/2681771","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:33.751830Z","title":"Maste r’s thesis, Stevens Insti- tute of Technology (2022), https://www.proquest.com/doc view/2681771819","venue":null,"work_id":"ca9c58a1-caa1-42f4-bc19-350a738cc36c","year":2022},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:33.067350Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:4461cb5092cf922e9ecae15ac0cb2429336690cdd39fdccf576091cf871490e4","observation_id":"1f0f9616-b7b1-4d2f-8787-4470261463c6","resolution":{"observed_at":"2026-08-12T17:20:33.763663Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:33.072623Z","title":"1327–1341","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:33.072623Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:235c05685418d19369385c5eb55f4a6db5cdc6e8b911184a439bf5d69f4b3c61","observation_id":"c8d078f3-12f3-4a4f-81be-9e711710db90","resolution":{"observed_at":"2026-08-12T17:20:33.072623Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:33.077584Z","title":"In: Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and i mplementation","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:33.077584Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:ab3079ba5ff2d12ec93d64c47af1cea4ab4f3b6e55fa4437a844d212da5b017a","observation_id":"db8675bc-d1b4-4f14-af70-1f01d36470cd","resolution":{"observed_at":"2026-08-12T17:20:33.077584Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.10298","last_updated":"2020-09-03T20:58:25Z","snapshot_observed_at":"2026-07-06T08:59:36.401601Z","submitted_at":"2020-02-24T14:58:39Z","title":"Reducing urban traffic congestion due to localized routing decisions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.10298","snapshot_observed_at":"2026-08-12T17:20:33.082582Z","title":"In: Pro- ceedings 17th Annual IEEE Symposium on Logic in Computer Sci ence","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:33.082582Z"},"links":{"cited_paper":"/paper/2002.10298","citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:d9919c481625043e80f41bfef86d1a9616ca9eb5dbe36a2f77c7a296f54accc0","observation_id":"f59f5f6b-c05a-411d-b6e3-a7429bc9bcf7","resolution":{"observed_at":"2026-08-12T17:20:33.082582Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-61626-8_55","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:33.175202Z","title":"In: Euro-Par ’96 Parallel Processing, Second International Eu ro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I","venue":null,"work_id":"ad68ef09-b447-4242-bf8d-6fd49bad7981","year":1996},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:33.089415Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:dfc6418579539dc3308dd44284758fabd90e19f54daed0c77263ec60e8670bf0","observation_id":"9913c4cf-3bad-4359-a8b0-ffd9eb7fd203","resolution":{"observed_at":"2026-08-12T17:20:33.181638Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:34.465228Z","title":null,"venue":null,"work_id":"835436ba-8a2a-410e-860a-a8a468ae7e8d","year":2011},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:33.095643Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:2cd24793fa511ea2c9d11165a1ee0b465307fa797955d3c82feea0328409a8c3","observation_id":"7b07b38a-eba0-4d6a-9938-ca74193df5b7","resolution":{"observed_at":"2026-08-12T17:20:34.470642Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:34.446277Z","title":"In: Proceedings of the 1st International Workshop on Emerging Applications of Abs tract Interpretation (EAAI06)","venue":null,"work_id":"0e680ba4-a5c1-4a21-b632-6b75e5fc0c36","year":2006},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:33.101547Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:f4418b969d6b3f0b38a893ab1e7efc1e650d57c61adf6f3adda3211bad1203a3","observation_id":"9bf101f1-58b3-4b86-aab0-912ab4ec8759","resolution":{"observed_at":"2026-08-12T17:20:34.452586Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0221.80671","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:33.488358Z","title":"In: Proceedings of the second annual ACM symposium on Principles of distributed computing (PODC’83)","venue":null,"work_id":"c0f85e0d-848f-4cc0-946b-e1582e6e0feb","year":1983},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:33.107193Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:dbb77f2fb48dfa938daf3d046a8342fb6c72c330ea22b9ed87946204cfb5ef74","observation_id":"4e5e9740-1822-4e43-8ffd-106753207bdf","resolution":{"observed_at":"2026-08-12T17:20:33.497180Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:20:33.113415Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-12T17:20:33.113415Z"},"links":{"citing_paper":"/paper/2411.12857"},"observation_digest":"sha256:5ec2f864fcab9a4cbda86138e81d2e361891d67dbc8f8a2e46e47a712520d00b","observation_id":"85a5b1c7-ed4c-42b5-8d2f-4629d6402834","resolution":{"observed_at":"2026-08-12T17:20:33.113415Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2411.12857","last_updated":"2024-11-25T22:36:59Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-12T17:05:22.114995Z","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)"},"reference_resolution":{"displayed":38,"state_counts":{"malformed_identifier":2,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":16,"verified_exact":11,"verified_fuzzy":6},"total_outbound_references":38},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"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."}