{"as_of":"2026-08-13T02:45:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d7983aa49c9b14c6ba406136ace5cfd00d5fee6b029fdf0090f7e1eac1dee10c","coverage":[{"denominator":113,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T13:03:16.842674Z","state":"measured"},{"denominator":100,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":100,"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.16612/citation-record","integrity":"/paper/2411.16612/integrity","json":"/paper/2411.16612/citation-record.json","paper":"/paper/2411.16612"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-32275-7_25","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:18.849131Z","title":"In: Baader, F., Voronkov, A","venue":null,"work_id":"056675ab-b62b-49d1-b991-4847134c3798","year":2004},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.693309Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:44bf84f7efb7e834a7c2abefd964d181f671460efdee11be4c0e03578dcf5de3","observation_id":"79985f00-e12f-433a-a5a7-e8f215c8b949","resolution":{"observed_at":"2026-08-12T13:03:18.861985Z","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-12T13:03:15.706009Z","title":"Texts in Computer Science, Springer (200 9), ISBN 978- 1-84882-744-8, https://doi.org/10.1007/978-1-84882-745-5","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.706009Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:9cb704839fec603a8560838c8c731985f1a7a1e76c2a650efbd41671e4aba2c1","observation_id":"6292a553-d3df-48aa-a125-c15c9d10faab","resolution":{"observed_at":"2026-08-12T13:03:15.706009Z","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-12T13:03:15.715809Z","title":"In: Model Checking Sof tware, Lec- ture Notes in Computer Science, vol","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.715809Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:535a7d5fb5866b9a1ce4474eab9aa619e8f4a62321aa0d84ba997f350b32c3be","observation_id":"1ffab3f6-aeb7-4268-8f18-0f318685c358","resolution":{"observed_at":"2026-08-12T13:03:15.715809Z","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/978-3-030-41600-3_8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:18.739799Z","title":"In: Chakraborty, S., Navas, J.A","venue":null,"work_id":"b8f5bb0a-a23d-41df-967f-d3b0c8bfdb1a","year":2019},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.725670Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:0dbf98ce7532f3ae5f21bd4a80afacf4dbaca071367970be7dfaaec6234a8d36","observation_id":"fa39a3ca-cdfa-4ff2-8fa4-25df47f35ea4","resolution":{"observed_at":"2026-08-12T13:03:18.774315Z","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-12T13:03:15.733164Z","title":"In: Tools and Algorithms for the Construction and Analysis of Systems, pp","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.733164Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:0e404765276b92bcb604d74696fd630a126ac37842a78b72779de3778f3a5182","observation_id":"53f21cc8-d403-474f-81ca-d917305c4731","resolution":{"observed_at":"2026-08-12T13:03:15.733164Z","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-12T13:03:15.745888Z","title":"In: Finkbeiner, B., Kovács, L","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.745888Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:ff6599b5115706fe0be583511179d43b2965455eaaf3c05326bda9fa0388ec5d","observation_id":"bc47741b-ed44-4b19-a4ee-a10231375930","resolution":{"observed_at":"2026-08-12T13:03:15.745888Z","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-12T13:03:15.752970Z","title":"https://sv-comp.sosy-lab.org/2024/rules.php (2024), accessed: 2024- 09-29","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.752970Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:d5a78c35708e03f440ea3b0e9e961d6794523cf7b7846e850875ae21ff5a7dfb","observation_id":"c3c31f1e-68ba-4424-abe0-ca6471115279","resolution":{"observed_at":"2026-08-12T13:03:15.752970Z","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-12T13:03:15.765783Z","title":"In: Zimm ermann, T., Cleland-Huang, J., Su, Z","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.765783Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:78d91beda6719b4677e4c4c91586bb7c0536542bc0fa7f8e2de53713f7d48837","observation_id":"4f6ef1c5-0bdd-421c-b5b3-557c2568ff06","resolution":{"observed_at":"2026-08-12T13:03:15.765783Z","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-12T13:03:15.774899Z","title":"In: Nitto, E.D., Harman, M., Heymans, P","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.774899Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:df87f9ad3948aec8cbcfea27d88c3d75706c4adb8b3a033abb88d80119f2616e","observation_id":"97efd00a-1260-464a-808f-3b628908904e","resolution":{"observed_at":"2026-08-12T13:03:15.774899Z","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-12T13:03:15.785344Z","title":"In: Margaria, T., Steffen, B","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.785344Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:64e73680c094d90daab1d40d98c1c3fc60343051db165a6a0ee6b2cdc3b0402e","observation_id":"6243d707-0f3a-4f85-b1a4-1b37531dbcb8","resolution":{"observed_at":"2026-08-12T13:03:15.785344Z","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/978-3-030-99524-9_31","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:18.634674Z","title":"In: Fisman, D., Rosu, G","venue":null,"work_id":"ba288ecc-c41f-4e72-84e8-72bf3806b5e3","year":2022},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.792272Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:121d23fc3b359bbb30cef06b4dbd2cc446d47b6728f23b85b3204d0bba6725ca","observation_id":"59f7424a-7428-461e-a74f-89e0ca80a03a","resolution":{"observed_at":"2026-08-12T13:03:18.654680Z","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-12T13:03:15.798318Z","title":"International Journal on Software Tools for Tec hnology Transfer 21(1), 1–29 (nov 2017), https://doi.org/10.1007/s10009-017-0469-y","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.798318Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:b98cb47d4140f71ec7e173595efaba7299e08c2036648041a1ec149ad686f11a","observation_id":"123ac81f-b32d-4331-9a67-dc78c1d9d956","resolution":{"observed_at":"2026-08-12T13:03:15.798318Z","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-12T13:03:15.811494Z","title":"In: Sergey , I","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.811494Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:238cf6606aa95fba7159b21c82c452f8587a9e118612d271d3c650c0cb8823e4","observation_id":"b1eed53c-98e4-48ac-8917-edb16b46005c","resolution":{"observed_at":"2026-08-12T13:03:15.811494Z","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.1016/j.tcs.2006.12.034","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:18.528914Z","title":null,"venue":null,"work_id":"4cf8105d-ecc9-4e0a-8748-e6b9cad361b1","year":2007},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.826984Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:75e0a0ccc49a1865cb18da284c0530e78310367e8183cc6b240ce3da58258f7c","observation_id":"38e43210-80a8-4dee-aa30-ebfa597279ba","resolution":{"observed_at":"2026-08-12T13:03:18.545823Z","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.1016/j.entcs.2014.10.005","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:18.486851Z","title":"In: Jacobs, B., Silva, A., Staton, S","venue":null,"work_id":"87d07ad8-c4e4-40b7-af6b-07610df5ddf8","year":2014},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.839982Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:ba68dc2db9b06658adf4767825b08ead8d9f1d8717524a3c9bda82c04d3a024c","observation_id":"f9547854-c0a1-4517-a8b2-cb9fac25b554","resolution":{"observed_at":"2026-08-12T13:03:18.499030Z","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-642-14052-5_3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:18.448678Z","title":"In: Kaufmann, M., Paulson, L.C","venue":null,"work_id":"9caf0231-91c6-4bba-a4d6-ddb3425e6ef1","year":2010},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.849963Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:0183b2984991dbad005abfaac745e8a414f36d5aa95b4201e544eeaba7b3a3b3","observation_id":"3a066184-f1c4-45d3-88a4-4a2cd5627183","resolution":{"observed_at":"2026-08-12T13:03:18.459623Z","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-030-68446-4_14","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:18.417164Z","title":"In: Fernández, M","venue":null,"work_id":"0d6e84d4-afa5-4e69-9a58-6085264c705c","year":2020},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.857614Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:860c01e359f9d369c95b8c1bb2f2c33a07bfde904edfe2123ab1257768265646","observation_id":"f5901bcb-dcfc-4851-bf37-b1a77f6ddb87","resolution":{"observed_at":"2026-08-12T13:03:18.425064Z","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-12T13:03:15.866284Z","title":"In: Aho, A.V., Zilles, S.N., Rosen, B.K","venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.866284Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:3fe4b10d1ecfedf1ad6b63c5d8d42af0bb2ccac1de2e6ade769c19345c8bf44e","observation_id":"7ed501f4-643b-4b09-8cb3-5ec62bb7dad2","resolution":{"observed_at":"2026-08-12T13:03:15.866284Z","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-12T13:03:15.874952Z","title":"In: Chandra, S., Blincoe, K., Tonella, P","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.874952Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:ab61e25126f8971faec196345f11e01c5591eb0b38987fc10e1771e5813225db","observation_id":"c04f2671-b64c-4f50-8988-eef28095dbec","resolution":{"observed_at":"2026-08-12T13:03:15.874952Z","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-12T13:03:15.887180Z","title":"In: Hirschfeld, R., Pape, T","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.887180Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:dba0275cb5e0e0953d0e997cb6839e7443c89ebd8aa425d7c55f91b440763379","observation_id":"442e595b-5454-4c6e-b688-90e51ee7ab70","resolution":{"observed_at":"2026-08-12T13:03:15.887180Z","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-12T13:03:15.896608Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.896608Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:ba9eec4915af07d102db13f9bbf7337a87599f855c8789c926052a78e21820ad","observation_id":"fc20d0f5-6941-4dd1-87bb-2165e7d9b6e1","resolution":{"observed_at":"2026-08-12T13:03:15.896608Z","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/bfb0014652","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:18.301795Z","title":"In: Bauer, F.L., Broy, M","venue":null,"work_id":"63c64b3a-b86d-4416-b221-95d0cc262be8","year":1978},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.906600Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:3e0fbc4d9ecc62eecf7537d3edd7e61be2c693c2dd0dfcd75ec8ace3878a8a9f","observation_id":"1905b162-a262-4623-9940-55d9826eddc1","resolution":{"observed_at":"2026-08-12T13:03:18.317454Z","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.5281/zenodo.13863579","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:18.265318Z","title":"Correctness Witnesses for Co ncur- rent Programs: Bridging the Semantic Divide with Ghosts","venue":null,"work_id":"9e8972d4-f419-45c2-8e65-211b5802e26a","year":2025},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.915856Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:51a24867ee3e31757c458007613b5c4e7fa91662606d3580e459519b08ecf761","observation_id":"096c3783-5b18-4664-a114-04b9c59c9d9f","resolution":{"observed_at":"2026-08-12T13:03:18.274392Z","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-12T13:03:15.933587Z","title":"https://ultimate-pa.github.io/concurrency-witnesses /correctness-witness-schema.yml (2024), accessed: 2024-09-29","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.933587Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:cf714e5b5d2e467059611ee5b116460e95baf3e59d0183416f3dffda21bda904","observation_id":"edd184a3-aa60-40e3-b18d-2cd99f1e696b","resolution":{"observed_at":"2026-08-12T13:03:15.933587Z","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-12T13:03:15.942076Z","title":"ultimate-pa.github.io/concurrency-witnesses/index.h tml (2024), accessed: 2024-09-29","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.942076Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:7305c23b390d1c3a153ad56034aa49895dd8d81e1b31663a54a5abc5e768d5fe","observation_id":"c65c0646-73ba-421c-bfb4-664ecd55df23","resolution":{"observed_at":"2026-08-12T13:03:15.942076Z","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-12T13:03:15.954127Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.954127Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:9f21b51447054d9d27be116a4953d6e3e33c73a60edfbfd992c657316391721c","observation_id":"846e3cf4-1c72-4cba-aa82-331936d73792","resolution":{"observed_at":"2026-08-12T13:03:15.954127Z","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-12T13:03:15.960971Z","title":"In: Jagan- nathan, S., Sewell, P","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.960971Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:cbcc906e4dee2545c4e4c62b20784798c1f383199cd6a15234ab39e35f7da3cc","observation_id":"4b9414ec-38f1-4579-8741-6e1e505335fb","resolution":{"observed_at":"2026-08-12T13:03:15.960971Z","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-12T13:03:15.967761Z","title":"In: Jhala, R., Dillig, I","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.967761Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:80ba2d6431f4e832d95b0086d06a969d78be22cee525a7ceea82a8edf8f0b53e","observation_id":"79ada8ad-5265-4243-9621-68af49cce1ef","resolution":{"observed_at":"2026-08-12T13:03:15.967761Z","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-12T13:03:15.977741Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.977741Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:524eae6c4a76d61c22274b83b5f7df852fc4116de7ff5c705d4a1602a70661aa","observation_id":"6486532d-f743-48e8-b513-51c3dafdf2c9","resolution":{"observed_at":"2026-08-12T13:03:15.977741Z","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/s10703-016-0243-x","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:18.174742Z","title":"Formal Methods Syst","venue":null,"work_id":"ad0b2e3a-333a-485f-bf48-c5517d399a6d","year":2016},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:15.987125Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:6c5d924d85f2ac29249bb4e8108e31fe35fbec7abf14ad4be2dc2213f6a29939","observation_id":"236f5034-1ce9-4081-bf09-f0bc9a8d49e6","resolution":{"observed_at":"2026-08-12T13:03:18.187387Z","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-030-88806-0_6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:18.126558Z","title":"In: Dragoi, C., Mukher jee, S., Namjoshi, K.S","venue":null,"work_id":"0745f13e-d5fe-4434-b1ff-2f6e7e278556","year":2021},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.005854Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:70ffdb8b8e99056394b88f1a1f68548a9214e958117ced6f40727c9309261267","observation_id":"fe678049-bd2f-4e31-ba67-c75bcec12168","resolution":{"observed_at":"2026-08-12T13:03:18.141799Z","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":"9897.35990","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:21.002629Z","title":null,"venue":null,"work_id":"3bedcbda-4a58-417a-93e0-2f769aea933a","year":1977},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.013740Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:fa567f5e13585539f54617ae95462bb25a6c501e932957bd6a9c9ac3f6b0632b","observation_id":"2bced5ad-4dce-4de4-94be-01e9e94f786d","resolution":{"observed_at":"2026-08-12T13:03:21.018316Z","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":"10.1007/3-540-36577-x_12","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:18.075873Z","title":"In: Gar- avel, H., Hatcliff, J","venue":null,"work_id":"99175308-8f01-47b7-87e2-d6b9bc231ef4","year":2003},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.026025Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:a130da933bf0586a4352dfedb462a15a125891dd0cb8d11c17dfc9ec69d0e74a","observation_id":"45a8727b-3512-4042-9ee9-ab375a72b335","resolution":{"observed_at":"2026-08-12T13:03:18.089098Z","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-17108-6_3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:18.038797Z","title":"In: Schli ngloff, B.H., Chai, M","venue":null,"work_id":"02b2762e-a5d3-4630-b525-4feed0d9d34d","year":2022},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.036222Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:c9c2e6dc66af7d0d7db79322aa2fb66165b8fda6632f671bb95214e2a0ea982e","observation_id":"22d0caa9-8fbf-4c2f-8d85-4c7cb627cae0","resolution":{"observed_at":"2026-08-12T13:03:18.050466Z","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-642-03237-0_7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:18.007657Z","title":"In: Palsberg, J., Su, Z","venue":null,"work_id":"9eed0084-2790-4eae-95eb-cd7b6a5d3446","year":2009},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.045886Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:4ddb2161b66d840bd0e6c5bbc07a63cc7b3f58ef1375ae6f99fb35e80b10618d","observation_id":"a451a3ff-cac6-4fee-869c-64aab85b7f45","resolution":{"observed_at":"2026-08-12T13:03:18.015387Z","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-12T13:03:16.061605Z","title":"In: Castagna, G","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.061605Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:4c15609ffc3c598844fcc0d1918e2ac88bf746d152ffb71e46d534f330c08ab5","observation_id":"7787c4ee-7485-481c-8cfa-73271a061d30","resolution":{"observed_at":"2026-08-12T13:03:16.061605Z","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-12T13:03:16.070599Z","title":null,"venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.070599Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:ddf310c1b0f61c7de8889b3d1403df5e4d50521d84f566e25931138d4cf8d451","observation_id":"b1e9f238-ef48-4cec-8bc0-66a858b89a0f","resolution":{"observed_at":"2026-08-12T13:03:16.070599Z","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-12T13:03:16.077032Z","title":"In: Rajamani, S.K., Walker, D","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.077032Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:71f3c984d95f0c55d5f0c09afa0d9b44a8e0989297f54c84800531eb41c89545","observation_id":"863ac3dc-866f-4e18-8327-1210866c8509","resolution":{"observed_at":"2026-08-12T13:03:16.077032Z","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-12T13:03:16.087954Z","title":"In: Proceedings of the 39th International Conf erence on Automated Software Engineering (ASE’24), ACM (2024), UR L https://doi.org/10.1145/3691620.3695034","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.087954Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:5a4b761bb77adf0f8fab6e825c658c7725854f891337c41d0139f53e4b6dfc45","observation_id":"3910dcc3-4237-4c4b-b54b-bb1feb9c155c","resolution":{"observed_at":"2026-08-12T13:03:16.087954Z","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-12T13:03:16.104113Z","title":null,"venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.104113Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:b383ada7d6fb0ff5c84af5d769519964f9d935a9342f82eb346d6301867966e0","observation_id":"c8c11bb0-601f-4a77-8a1b-7f6e3e8c5a0f","resolution":{"observed_at":"2026-08-12T13:03:16.104113Z","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-12T13:03:16.115106Z","title":"In: Zhang, D., Møller, A","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.115106Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:2c50c3ce09947581237458772ac384cbe36b8112bffeeb4a0e7ec33d3c0aab1e","observation_id":"04c71c6f-1851-43af-bf13-4762095e447a","resolution":{"observed_at":"2026-08-12T13:03:16.115106Z","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/978-3-030-99527","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:17.958976Z","title":"In: Fisman, D., Rosu, G","venue":null,"work_id":"4e6522dc-f1b3-4ee0-9a69-bf1d255c2387","year":2022},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.124554Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:f17c3a2733cda5b0000de52cc3ea2f179f413de40183256e4b39da5e13858768","observation_id":"7e040d78-ddad-4b58-8d2f-8d57abe9f26c","resolution":{"observed_at":"2026-08-12T13:03:17.970539Z","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-12T13:03:16.134769Z","title":"I n: Yang, H","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.134769Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:716d8912e30d7ecad242907539a5af173601a33b594115070bed056046372d0f","observation_id":"723b7e10-e729-40bf-b801-74f14695efdf","resolution":{"observed_at":"2026-08-12T13:03:16.134769Z","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-12T13:03:16.148651Z","title":"In: Halldórsson, M.M., Iwama, K., Kobayashi, N., Speckmann , B","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.148651Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:90d1f7df3e5869a1787e785e6e39f6b74dd5971ab1da387bbec4c84471ef4d99","observation_id":"9d6c08d6-9e56-4854-b866-2f0c153245af","resolution":{"observed_at":"2026-08-12T13:03:16.148651Z","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-12T13:03:16.156208Z","title":"IEEE Trans","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.156208Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:b26bf6f3e4e0ac61c227c4e17644471f60a4b0d66c4e36412e2922916a4a1049","observation_id":"6a1a4d5e-6ff1-4678-8fab-6ee7db04360e","resolution":{"observed_at":"2026-08-12T13:03:16.156208Z","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-12T13:03:16.165554Z","title":null,"venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.165554Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:022a5683e9e0a993d3c79b98f0e88cd369916237c5d50e9b8ead84eaed451d14","observation_id":"1a240b04-76dc-4d9a-a3d9-5a80780e3427","resolution":{"observed_at":"2026-08-12T13:03:16.165554Z","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-12T13:03:16.178208Z","title":"IEEE Trans","venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.178208Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:ca6187a99e5962c62c9767c68c03b7c9ed1cda122d9463604c9cf5993209e15f","observation_id":"eb68f2c1-c4c4-47fd-859d-549e023d2c25","resolution":{"observed_at":"2026-08-12T13:03:16.178208Z","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-12T13:03:16.191931Z","title":"In: Giacobazzi, R., Cousot, R","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.191931Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:03e63ec2a06e2a6469c978ba4ca4c69856e196dbfb78bece48633fe345e1f4fd","observation_id":"b89c8cd8-82e0-430f-9270-7371d4f9fb34","resolution":{"observed_at":"2026-08-12T13:03:16.191931Z","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":"0022.80831","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:19.881393Z","title":"In: Wortman, D.B","venue":null,"work_id":"984d7094-3507-4e49-b99c-9d35e81f8602","year":1977},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.206695Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:7615e0d0b13af59aeb8e2df39cf13f6ddab782c21a13c0020e1535af3bdd90b4","observation_id":"13a01b14-8c6c-4b09-9e08-99a1fd45aef7","resolution":{"observed_at":"2026-08-12T13:03:19.896299Z","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":"10.1007/bf00289237","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:17.853537Z","title":"Acta Informatica 21, 125–169 (1984), https://doi.org/10.1007/BF00289237","venue":null,"work_id":"b7973d53-6f41-4069-b64b-631c6ae7d55f","year":1984},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.218323Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:a326ebf7392818e49d7ebf24830b3681f04d975af49b3dd6b9c303d46eda8828","observation_id":"162ade84-eeb1-4d95-acc6-8353c7139503","resolution":{"observed_at":"2026-08-12T13:03:17.864370Z","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/3-540-17906-2_30","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:17.807385Z","title":"In: Brauer, W., Reis ig, W., Rozen- berg, G","venue":null,"work_id":"188092f5-047a-4c17-9e46-14a328b20b19","year":1986},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.229576Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:9a987e1fdb98c91d3a92c49566b18f0270295d729dbce6ae4793f428cdae4535","observation_id":"b4839d5f-c1b5-4872-8d89-fe338cbf7cee","resolution":{"observed_at":"2026-08-12T13:03:17.815229Z","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-12T13:03:16.243737Z","title":"In: Morrisett , J.G., Jones, S.L.P","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.243737Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:b7c820b981d10d35d2a89c960eb85225ac36b4ecc4e8c0b51c595c10ce0db632","observation_id":"2e8bfe15-ecaa-4fea-9039-dd9af39122a1","resolution":{"observed_at":"2026-08-12T13:03:16.243737Z","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/978-3-540-30232-2_17","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:17.777306Z","title":"In: de Frutos-Escrig, D., Núñez, M","venue":null,"work_id":"f020d642-bba9-4f52-ad84-9503c8cf919a","year":2004},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.255270Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:31438aff8d25303382f658b303aefe9e1f9d10e7c247a7bf5581523f0193d818","observation_id":"18300380-9a55-4cba-9175-ea63268f1360","resolution":{"observed_at":"2026-08-12T13:03:17.789068Z","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-50524-9_3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:17.737667Z","title":"In: Dimitrova, R","venue":null,"work_id":"a84aa901-f885-4b38-85ec-8c5004b5b55b","year":2024},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.269660Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:0ce8178f503fafee42f59a0a381c4f7f969dcf9bda047978c49fd98710c79dc0","observation_id":"39c11bba-8089-445d-969d-8cea44193dc3","resolution":{"observed_at":"2026-08-12T13:03:17.752355Z","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.2168/lmcs-8(1:26)2012","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:17.698806Z","title":null,"venue":null,"work_id":"2f896357-da2a-4baf-8f39-6c99da68b9f0","year":2012},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.284300Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:d2c8783024020595cd63c657197dd4b82743a566f8089cc58efb9cd0bad8c19c","observation_id":"7c43b1a3-8f14-4729-98c9-2b032ced8fb5","resolution":{"observed_at":"2026-08-12T13:03:17.709579Z","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-12T13:03:16.300376Z","title":"In: McMillan, K.L., Rival, X","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.300376Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:25e1507056c5f388ba2978adf7826b38facbeab2ea7d2b6b962ba397da5a3c77","observation_id":"365e06de-78b5-4909-abcf-c1cf22df7b3c","resolution":{"observed_at":"2026-08-12T13:03:16.300376Z","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/978-3-319-52234-0_21","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:17.630528Z","title":"In: Bouajjani, A., Monniaux, D","venue":null,"work_id":"186294ab-fdbb-4e47-975e-30deccf17d71","year":2017},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.314085Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:205c0a1f04ea7dd20dc12bbbf312203c6aa350a4a10d43fe91e055ae2f96df91","observation_id":"01e7a584-6c91-4b38-8492-210111cb294c","resolution":{"observed_at":"2026-08-12T13:03:17.644452Z","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-319-66706-5_13","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:17.588780Z","title":"In: Ranzato, F","venue":null,"work_id":"0a7db23a-8d77-44b3-9a0f-1aac83bd91f5","year":2017},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.339435Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:076bdbc655c796d5909e635f02fb3b650ea6c4108ac8441fe06c4954d19bce1d","observation_id":"c3024edf-7ad8-4d07-9b1a-6294e11c64ee","resolution":{"observed_at":"2026-08-12T13:03:17.600948Z","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-12T13:03:16.346646Z","title":"In: Shao, Z","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.346646Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:41c7701bae1be944d5b3007d57b9532821c34aac595969b042bba6c39d4af6a3","observation_id":"f60cb211-7771-4379-a8ca-52e2b0b01bc4","resolution":{"observed_at":"2026-08-12T13:03:16.346646Z","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":"2001.92513","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:19.613596Z","title":"In: Proceedings of the 15th Interna tional Par- allel & Distributed Processing Symposium (IPDPS-01), San F rancisco, CA, USA, April 23-27, 2001, p","venue":null,"work_id":"a745861c-dcc7-4e65-ba89-04486a4eb2ff","year":2001},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.354697Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:07a8d0caf967ddf4b7c4f966d102dd750a8eb23bb5fc3537d607715beb28eef2","observation_id":"c5de36ba-9fe3-4cdc-a6cc-ed09398de860","resolution":{"observed_at":"2026-08-12T13:03:19.627903Z","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-12T13:03:16.365308Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.365308Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:a5c91e0949b7e13bd0bac836dbd7bbf8e918fe610d534ca9b123c1d610719f38","observation_id":"73b5bb64-5478-46b4-8aa2-0c793bc36686","resolution":{"observed_at":"2026-08-12T13:03:16.365308Z","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/978-3-540-49020-3_13","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:17.517082Z","title":"In: Finance, J","venue":null,"work_id":"72ccdc3e-1872-4e10-9329-611c25e947a4","year":1999},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.375382Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:028a3cc3f840e11372aed554c3f955b3b0b06f15bf9a156a3ed8589335e372b8","observation_id":"846702fa-4290-4edc-957a-8c9934414a30","resolution":{"observed_at":"2026-08-12T13:03:17.525979Z","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-12T13:03:16.387704Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.387704Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:d07f2a5d5494351ad7b4314055aa41ccec7b6d844e6814f1c80b216c3b5b6018","observation_id":"e124a606-3f0d-4b94-9128-4a6967716ad8","resolution":{"observed_at":"2026-08-12T13:03:16.387704Z","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":"0051.36022","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:19.475718Z","title":null,"venue":null,"work_id":"f211bfc5-f19b-4199-9e24-57349c9aca4b","year":1976},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.398386Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:52587b347edc3cd9f2ce1899151694eead34e0e114977cb2baa347c6e58785d0","observation_id":"596348b2-dfd0-4a76-8aa1-010116072945","resolution":{"observed_at":"2026-08-12T13:03:19.500170Z","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-12T13:03:16.406630Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.406630Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:ae7fba719982f9a455b87377f5be8eb02966f65a3c24f1c708f0cf46a8f2e0dd","observation_id":"77ffbaa7-fc4a-412b-9e16-6cbcebdd3d24","resolution":{"observed_at":"2026-08-12T13:03:16.406630Z","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/978-3-031-30820-8_34","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:17.439676Z","title":"In: Tools and Algorithms for the Construction an d Anal- ysis of Systems, pp","venue":null,"work_id":"3192438e-c34e-49a2-ab7f-f0c4a7077bdb","year":2023},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.423686Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:5fe337f4e91189a40a670d1cc4e496a50a376bf72b5cfcd51d39d075a3a01b2c","observation_id":"72ad12e9-6dbb-47ea-9b1a-1cdddd66add7","resolution":{"observed_at":"2026-08-12T13:03:17.448358Z","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-50524-9_4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:17.410374Z","title":"In: Dimitrova, R., Lahav, O., Wolff, S","venue":null,"work_id":"af13d7df-fc1b-4525-ba74-5975fd71b2d7","year":2024},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.431835Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:1e03117f375b7c12a326de52f67a3e5c37b5af185326d435be0f52b96c1de065","observation_id":"9f1b6f7d-5efd-4b6d-a6a9-03aadff826f4","resolution":{"observed_at":"2026-08-12T13:03:17.418523Z","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.22028/d291-26525","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:17.373604Z","title":null,"venue":null,"work_id":"305b9c46-c39d-41d6-8e41-066bc3c265a8","year":2012},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.449068Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:499c00c9e61f2a71ca61f7bf83b56efe09bee24713944db8786ecf121e686dde","observation_id":"e706f4e3-c6bf-4ea7-8f39-b6bf71d5f7d2","resolution":{"observed_at":"2026-08-12T13:03:17.382855Z","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/bfb0030635","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:17.324479Z","title":"In: Bidoit, M., Dauchet, M","venue":null,"work_id":"c883b3ef-b909-4867-8a62-61e9611d2d87","year":1997},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.456370Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:1f12acc56b83e6aa03a9a08d949532868e897e9fb09fa8458a8387b69f9cbd3a","observation_id":"d05d839e-11e7-42b9-a14d-97b8ab05c6b3","resolution":{"observed_at":"2026-08-12T13:03:17.338169Z","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-030-88806-0_18","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:17.286406Z","title":", Vojdani, V.: Im- proving thread-modular abstract interpretation","venue":null,"work_id":"eb14dd3e-b984-4b1e-bec6-dc0120307bd4","year":2021},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.467023Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:5babf94ec6b48fbe8ca35f087311a12e611ee5193df25d9f890d8424105c923f","observation_id":"39fb6527-bb16-4f37-8b13-ed863c8c131a","resolution":{"observed_at":"2026-08-12T13:03:17.298697Z","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-30044-8_2","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:17.250345Z","title":"In: Wies, T","venue":null,"work_id":"2478e2cc-7d1f-4f08-8a19-caa5ba0678e6","year":2023},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.480088Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:04972a6aacc46ac84c0665447c189189ec7c0b9e63dc66377c8338c358ee4021","observation_id":"62303d17-f57a-4b5a-ab79-1c17061330e1","resolution":{"observed_at":"2026-08-12T13:03:17.259469Z","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":"5776.35776","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:19.330233Z","title":"In: Hong, J., Lanperne, M., Park, J.W., Cerný, T., Shahriar, H","venue":null,"work_id":"c518a6b2-3d2c-4950-8a75-0fe94cf7a447","year":2023},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.489169Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:16aa60b3673a103918ca3748f547e71cfd74890fe6fbd39b51d11a2e137207a8","observation_id":"67a4d16a-689f-43a6-a824-02e3b393af50","resolution":{"observed_at":"2026-08-12T13:03:19.344126Z","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-12T13:03:16.497917Z","title":"In: Grove, D., Blackburn, S.M","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.497917Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:4e4726ab67a889c40934e6cff42578ebe4086e0e995bd25b99620959c81708d0","observation_id":"9fb98cd6-e64d-4fac-a1ef-5da17c2695ca","resolution":{"observed_at":"2026-08-12T13:03:16.497917Z","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/978-3-031-65627-9_15","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:17.216080Z","title":"In: Gurfinkel, A., Ganesh , V","venue":null,"work_id":"d8c80c41-e79b-4bff-8fb8-afe6eae40868","year":2024},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.510072Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:7da0bb650ab01c70a378bc048816f397ecbd9a2e0648ad27b9d2fac2ef4bc6ee","observation_id":"524b82eb-e204-4b0f-8834-65ef052fc65f","resolution":{"observed_at":"2026-08-12T13:03:17.226927Z","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-030-45190-5_3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:17.184470Z","title":"In: Biere, A., Parker, D","venue":null,"work_id":"6c223f18-5f32-49f2-9cab-1c908d6d682d","year":2020},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.519063Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:acdce2e93122ec278ec18b26e89dacbe2f7f503d3146b2a4c9a2a88ad18c0da7","observation_id":"48cc4020-4170-497b-aff0-92fd5661d3ab","resolution":{"observed_at":"2026-08-12T13:03:17.200060Z","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-12T13:03:16.533385Z","title":"https://ultimate-pa.org/ (2024), accessed: 2024-09-29","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.533385Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:f445d6125c51212555847b754be15e1fd2d17bb9af61532d36316e8d46eb244d","observation_id":"53596ec5-0e76-42a1-be27-e65b9b599c0f","resolution":{"observed_at":"2026-08-12T13:03:16.533385Z","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-12T13:03:16.544987Z","title":"In: Dragoi, C., Emmi, M., Wang, J","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.544987Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:82a43e25e9b62e38afcf10075a8faa44ec6065fb3f431706bfe6816e1cde7ab0","observation_id":"664d28d2-0dd4-4ba5-850c-d624a28d67f8","resolution":{"observed_at":"2026-08-12T13:03:16.544987Z","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/3371101","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:17.119884Z","title":null,"venue":null,"work_id":"603aa981-606d-48f4-a820-fc6cbf74f2db","year":2020},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.555794Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:edb6b1814154e86eadd01f9f8b97b258fc3e8d424dd5e8100e720cdd92f771b0","observation_id":"4611f5ea-a7db-4a77-90ca-77ffb8d1c31b","resolution":{"observed_at":"2026-08-12T13:03:17.136897Z","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-12T13:03:16.570624Z","title":"In : Proceedings of the 31st IEEE/ACM International Conference on Automated So ftware En- gineering, ACM (aug 2016), https://doi.org/10.1145/2970276.2970337","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.570624Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:4caa3824eba3d93ef4761e7971291ebeff73f32ecc0612ea094931cd735c16ba","observation_id":"20d5e5c9-76c9-467d-b3c9-e7406f12075c","resolution":{"observed_at":"2026-08-12T13:03:16.570624Z","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/3580285","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:03:17.082260Z","title":"Form al Aspects Comput","venue":null,"work_id":"5109f9d6-0f70-40a5-aaf8-206369af50e2","year":2023},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.584737Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:5ab6244967c8df8d7957d2ab25aa22fd3d3db25d41b04c9c429d2c97f8f013ed","observation_id":"115ba89e-4e67-4a5a-98ca-a69d8aa311b7","resolution":{"observed_at":"2026-08-12T13:03:17.092764Z","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-12T13:03:16.600589Z","title":"In: Agrawal, M., Cooper, S.B., Li, A","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.600589Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:e5e8aaa8a25f90dd32979be474207534f10420663263ef9d6c157b1229292868","observation_id":"6c58589b-78db-48b5-af73-4b635cb69d56","resolution":{"observed_at":"2026-08-12T13:03:16.600589Z","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-12T13:03:16.617840Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.617840Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:6c80b0b613edb7f48dea0e235fde9dbcb4d9339313bf53752346d8e2efd35ab2","observation_id":"20a0a4aa-655b-447b-aa19-ef8a469f7ba4","resolution":{"observed_at":"2026-08-12T13:03:16.617840Z","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-12T13:03:16.630488Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.630488Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:b46adc7c8c902ede3f4dc92d0ee6197cbc1e86ecd9985b0febef62181bee1d4d","observation_id":"065f8b34-e770-46fa-b96a-de80a64240fd","resolution":{"observed_at":"2026-08-12T13:03:16.630488Z","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-12T13:03:16.654574Z","title":"Then, we pick a total order on states that extends this partial order, yielding ordered states s0 < s 1 < · · ·< s n, for some n","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.654574Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:f46140c47b7ff24270fd75115e9d9b77e1ffd10aebd2531b688c205bee375906","observation_id":"eebde27b-8790-4f97-9dcd-902b8896cf89","resolution":{"observed_at":"2026-08-12T13:03:16.654574Z","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-12T13:03:16.667443Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.667443Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:a9882f7b1dd9ecd23f03d77a0641cc6cc5a4a48a715e2b15283c955c34f1d3da","observation_id":"cb538991-1c0c-4702-a224-0b33fe194754","resolution":{"observed_at":"2026-08-12T13:03:16.667443Z","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-12T13:03:16.675132Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.675132Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:9b21bc3f99c4fdda3bbe2b555387e169333e376dd75c512d043aaf6a10db8a1c","observation_id":"d5527d4f-767c-4e7d-a086-dc5b66d1949e","resolution":{"observed_at":"2026-08-12T13:03:16.675132Z","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-12T13:03:16.695158Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.695158Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:746a442759c98091a83d761fc6f1f853f7e063bcec6ed7d68a5da4bdbfc843cc","observation_id":"ecd5d720-4455-43d6-8eb8-108bf8df2b6f","resolution":{"observed_at":"2026-08-12T13:03:16.695158Z","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-12T13:03:16.712648Z","title":"– SV-COMP witness generation:","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.712648Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:f83791b006d3303609c9af50c83ff71da1c20bd5c40202e87d431d53d8e94028","observation_id":"476654a8-b22a-4bd7-9054-4b4a3e2fc334","resolution":{"observed_at":"2026-08-12T13:03:16.712648Z","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-12T13:03:16.721197Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.721197Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:1f3b42e5a4334986dbd1f5cf6f77b5a91c9a379c81cdfe2ee20c1252d1ac83e1","observation_id":"beb54e32-585a-48e3-89ae-22f369ac7309","resolution":{"observed_at":"2026-08-12T13:03:16.721197Z","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-12T13:03:16.732337Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.732337Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:04cc4a402ed00ed4a28e4ac552e0aa1e8185fb3dd2f0d9e1ca66b24ab9d9a874","observation_id":"3cc22b13-454e-4c10-86bc-feac0ac2d3bd","resolution":{"observed_at":"2026-08-12T13:03:16.732337Z","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-12T13:03:16.742455Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.742455Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:5128a443842bf7ef9fe77815b3fe7d8facd9bad1724ae9bf89eba41311de7612","observation_id":"0ebc8a7d-903f-4da8-b044-3abd129b25a2","resolution":{"observed_at":"2026-08-12T13:03:16.742455Z","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-12T13:03:16.749613Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.749613Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:d2db00ff0fbc19d2df8f8907f3e9c37a963bc520fa958f08d13ff280e791c5b8","observation_id":"7835f34a-46c5-4d61-88e2-f32596fce2e3","resolution":{"observed_at":"2026-08-12T13:03:16.749613Z","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-12T13:03:16.761305Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.761305Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:1ec3eca89dc6fd6ceb44271b3c108f8bd30a9841def5f680079bd979e1d51a55","observation_id":"119021d1-200c-4fdd-bad6-212fe6ad35a0","resolution":{"observed_at":"2026-08-12T13:03:16.761305Z","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-12T13:03:16.774270Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.774270Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:0a4839132c65e290f209cd7b20e91c6d0d9be3971e37afc8fc1621edf4758e2e","observation_id":"6d20aa69-3265-4ef5-96bb-60475ec13180","resolution":{"observed_at":"2026-08-12T13:03:16.774270Z","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-12T13:03:16.795717Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.795717Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:b20c497e2bf0d83a20ae42eca0d44579429ad809e1636492c2ee9c701c2b5854","observation_id":"da752a01-9e50-4cbb-a64c-d077ce2cd9fa","resolution":{"observed_at":"2026-08-12T13:03:16.795717Z","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-12T13:03:16.804050Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.804050Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:8c3f0aca69d1fca7ce67dcaf8fa1fcf313304373c707d847a0496b3dcc9028c6","observation_id":"ed107c29-a218-42be-8d81-12431dd95ce6","resolution":{"observed_at":"2026-08-12T13:03:16.804050Z","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-12T13:03:16.817976Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.817976Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:aa3ee8e95c605a5dd5c822507ca634f5ae6d7b6f437e725eafa223920f71f4ca","observation_id":"b888b718-3a3e-444f-a7ba-a1454757fb44","resolution":{"observed_at":"2026-08-12T13:03:16.817976Z","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-12T13:03:16.825614Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.825614Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:cd17579c9db80c191032535879543442a948b64e48455e489c5163e43d0ffab5","observation_id":"c399d26c-4e7e-4f6b-b6ce-c6ab27686336","resolution":{"observed_at":"2026-08-12T13:03:16.825614Z","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-12T13:03:16.833672Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.833672Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:6eefdef4356a27903773406a07107dfcc9a4d931810879a6ad17fd9a9045dc94","observation_id":"c66bf30a-d145-4121-87c7-135817135e2a","resolution":{"observed_at":"2026-08-12T13:03:16.833672Z","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-12T13:03:16.842674Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)","version":1},"reference_index":101,"source":"pdf_text","source_observed_at":"2026-08-12T13:03:16.842674Z"},"links":{"citing_paper":"/paper/2411.16612"},"observation_digest":"sha256:779b3d38ba7d9d2fa9a6e68564db7afe52ff8b9c9bb838a4fe87b7e6b0280666","observation_id":"93c794dd-53ba-45a2-89f3-a25909b3a8e5","resolution":{"observed_at":"2026-08-12T13:03:16.842674Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2411.16612","last_updated":"2024-11-25T17:48:21Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-12T23:17:59.266020Z","submitted_at":"2024-11-25T17:48:21Z","title":"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":0,"metadata_mismatch":5,"parse_uncertain":0,"unresolved":62,"verified_exact":33,"verified_fuzzy":0},"total_outbound_references":113},"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 100 of 113 outbound references and 0 inbound Pith citation observations for arXiv:2411.16612."}