{"as_of":"2026-08-09T23:05:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:fc77faa1d13bb6154267ce9f3d96f04bbb456ca1a3204cff673faa3f5387699e","coverage":[{"denominator":62,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":62,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T22:14:42.900480Z","state":"measured"},{"denominator":62,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":62,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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/2607.15877/citation-record","integrity":"/paper/2607.15877/integrity","json":"/paper/2607.15877/citation-record.json","paper":"/paper/2607.15877"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:37.168012Z","title":null,"venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:37.168012Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:954bb7771b2fa53930f3dd017829a867098b07c06d564c084efa63a697ac2715","observation_id":"c448227d-b9d4-4671-aa69-aba664cc5ad4","resolution":{"observed_at":"2026-08-01T22:14:37.168012Z","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-01T22:14:37.314798Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:37.314798Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:3c5e5fefdab2c267bb305174f63d9e53996982270f6213552d570a0e81d9dbdc","observation_id":"52a75c97-37db-4bfa-999a-5b06c83651c6","resolution":{"observed_at":"2026-08-01T22:14:37.314798Z","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-01T22:14:37.458581Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:37.458581Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:0bd537a96310759ebf473be7aeaf2446d0a36ca878d8dd2b2451a33f63b371f9","observation_id":"c9c17b61-45b8-4d8b-90f0-8db8fe2c23a3","resolution":{"observed_at":"2026-08-01T22:14:37.458581Z","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-01T22:14:37.601768Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:37.601768Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:a2637e1793789431a62bd4567a31c246e91fb133b0199c66ce5ac7e1878c3343","observation_id":"c2eb3b47-12f0-41b8-a926-b104c1fb61ad","resolution":{"observed_at":"2026-08-01T22:14:37.601768Z","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-01T22:14:37.723793Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:37.723793Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:c6e9b034e5d999ab97511517b5051e8716c59127fa827b796bfba06ea44fc0eb","observation_id":"2837ec07-a863-43db-ae75-9177b7cca5a7","resolution":{"observed_at":"2026-08-01T22:14:37.723793Z","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-01T22:14:37.904682Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:37.904682Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:3a3b17180807b725c9839af35964e19be9c8547b04b09b42f225443aaf45a148","observation_id":"9daa77b1-4276-4aac-b34d-539aced7044b","resolution":{"observed_at":"2026-08-01T22:14:37.904682Z","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-01T22:14:38.075134Z","title":null,"venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:38.075134Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:b3435fc861775a76e84c326e0f029e48f29319e60292e4adf387db2dc1737040","observation_id":"464d875a-d578-4bc4-b866-d73dec19fa29","resolution":{"observed_at":"2026-08-01T22:14:38.075134Z","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-01T22:14:38.264138Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:38.264138Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:9b96aa59aeedaa84de64149e213f7d82193fd3de5fb1e037fdc5809ef27e7578","observation_id":"f3343bb4-1aae-4c70-9750-768d2dfc108c","resolution":{"observed_at":"2026-08-01T22:14:38.264138Z","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-01T22:14:38.549461Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:38.549461Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:952032e185adf5d4a456cbf34830fdcd64f9a7a824ee180615cc7e9510dc69ec","observation_id":"8356ca86-ce0a-4126-843f-f5637f78949c","resolution":{"observed_at":"2026-08-01T22:14:38.549461Z","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-01T22:14:38.610048Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:38.610048Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:af8ae1b7bcfb407d909f3e1c1dcc9780adc5e8ceefeaae435046eedfd5dcafdc","observation_id":"3a01827a-25cb-4d6f-9b19-39e745bfefd1","resolution":{"observed_at":"2026-08-01T22:14:38.610048Z","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-01T22:14:38.680350Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:38.680350Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:2b7ed54c115c37acb12b20e061472b0a10ea9327f5c2d75c5dbbd0eb22828b97","observation_id":"fc6ea6d6-b0ee-4119-a73c-8f2fe2f6d0fd","resolution":{"observed_at":"2026-08-01T22:14:38.680350Z","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-01T22:14:38.752174Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:38.752174Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:cf377dbe3c4cc73e18d0ce49d45fd5f3ce7f3199c73c35ec5ed7ec47418b8afc","observation_id":"3a57c7d2-b185-4013-b623-3163dd7f68a2","resolution":{"observed_at":"2026-08-01T22:14:38.752174Z","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-01T22:14:38.805978Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:38.805978Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:1379bdbba13cca2a5c65b2e5d61475cd6a16c98a65e2aa6ab7b310b6877aeb9e","observation_id":"18d1bf73-060a-44bb-8067-e958f65bff18","resolution":{"observed_at":"2026-08-01T22:14:38.805978Z","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-01T22:14:38.907303Z","title":"Chandra, Robert Griesemer, and Joshua Redstone","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:38.907303Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:9dbd1c8729c034da90d95e545fdd537b5ab2fa42b86ad3a68228b91e5b5b9799","observation_id":"6804b507-87a8-4afe-b875-165424e15d1f","resolution":{"observed_at":"2026-08-01T22:14:38.907303Z","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-01T22:14:39.004175Z","title":"Frans Kaashoek, and Nickolai Zeldovich","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:39.004175Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:b0da095a39f5ad38b06840f6611e61690c4a28aebdcd4cbfa3468df00fcc5c0c","observation_id":"871a2863-3a46-487c-b067-24d102c28cb5","resolution":{"observed_at":"2026-08-01T22:14:39.004175Z","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-01T22:14:39.075670Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:39.075670Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:986bb8110fa3c4ee36c2d0d5d2358f7165fab70b16cdaed305785eba0f31c7a6","observation_id":"5d83b4f4-7c04-4a1e-90cc-c39731746931","resolution":{"observed_at":"2026-08-01T22:14:39.075670Z","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-01T22:14:39.151872Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:39.151872Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:a5279bbea79e278590e18ccf42e15c61076950bc244eb0f22f0a51018c627a29","observation_id":"b1c30e88-add9-4583-bc9b-c28b09f5b6f3","resolution":{"observed_at":"2026-08-01T22:14:39.151872Z","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-01T22:14:39.297535Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:39.297535Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:3a1a1065db83f20a701bfc75924e2b475abb500eb5ad14139036886b5a849715","observation_id":"6f981d5d-5995-480b-9d3b-c57bcfbb5668","resolution":{"observed_at":"2026-08-01T22:14:39.297535Z","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-01T22:14:39.383718Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:39.383718Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:649ac3c68f3403de548a2e36400ea35fe634a20be074196ad3bd8a74a2e407d6","observation_id":"fa7d4d32-1534-484d-8eda-7a85ddda68d8","resolution":{"observed_at":"2026-08-01T22:14:39.383718Z","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-01T22:14:39.428726Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:39.428726Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:c8f123fa14e5647f82340a7e2cc96d8340d6542ed49d2f326fae7e3f14c61a6c","observation_id":"fd769264-9501-4378-9216-ec8b6a538f8f","resolution":{"observed_at":"2026-08-01T22:14:39.428726Z","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/3434323","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"de8652e2-df53-40bb-8145-f14770e0547b","year":2021},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:39.487357Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:24045be5b676f958c5b9b5d5550741ac73d4f7836bc7dc14434cd190de151a5f","observation_id":"35048e31-ad8f-4352-bb01-ff1ff6238df6","resolution":{"observed_at":"2026-08-01T22:18:35.732741Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3607859","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"77918b94-9f3e-4620-8d0f-bd04a9b8a22a","year":2023},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:39.540026Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:305962f61bb0d3a658915d40c450baa2d8eec2c66e1439a34d7a55514f415fb0","observation_id":"2338d16c-f8e3-40fb-b69d-fb59660cf40a","resolution":{"observed_at":"2026-08-01T22:18:35.643277Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-01T22:14:39.684251Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:39.684251Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:97e6ce66a93d9b0100755ee54568462c6ba516b8c898451828206525ff5d87da","observation_id":"e5f2da0f-26a8-4916-b81e-c429199e08ab","resolution":{"observed_at":"2026-08-01T22:14:39.684251Z","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-01T22:14:39.865564Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:39.865564Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:c29093c8b8f419ce31d35bc3c21b43497534622d1edef5208db2eb9ce68335e5","observation_id":"7a3307ac-e5eb-4e65-a0ce-f29d6c1017ed","resolution":{"observed_at":"2026-08-01T22:14:39.865564Z","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-01T22:14:40.039717Z","title":"Herlihy and Jeannette M","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:40.039717Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:225555ad22671288f56ea2fd51bae7f36638c389f22dea0b7c3a5e9f107b581d","observation_id":"b15a10aa-bdef-4674-be1b-c999cdd1056a","resolution":{"observed_at":"2026-08-01T22:14:40.039717Z","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-01T22:14:40.194487Z","title":null,"venue":null,"work_id":null,"year":1969},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:40.194487Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:56dee0417322039a698db200e9939730bd18ec27cb3864e5c80590f7535a584b","observation_id":"2d398f3a-0831-4ffc-8b55-c42096a96e23","resolution":{"observed_at":"2026-08-01T22:14:40.194487Z","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.14778/3583140","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:18:35.406759Z","title":null,"venue":null,"work_id":"84d82365-76da-4cf8-95de-24ae67fc9a8d","year":2023},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:40.332929Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:72ef0c3a60de5df335d832730ad4b8cded17e66e3376199e6ca0fd4882fe3791","observation_id":"bf5554f5-bd7c-46f2-8f98-40787a53df54","resolution":{"observed_at":"2026-08-01T22:18:35.547765Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-01T22:14:40.459952Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:40.459952Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:85b5c1387eb6c748ed9014d1a68901e439b148b970802f0c7a8d5629bcd51dcf","observation_id":"3a2b3a11-85d1-4fb7-a2d8-191f862c4fa1","resolution":{"observed_at":"2026-08-01T22:14:40.459952Z","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-01T22:14:40.576487Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:40.576487Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:21fdf62c22625adb634781d6fda6556c206924e5d98fd8c38c0077435e9b1274","observation_id":"af570f18-be29-4f38-916f-f8e81a18027e","resolution":{"observed_at":"2026-08-01T22:14:40.576487Z","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-01T22:14:40.700355Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:40.700355Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:ee241a182cd5fbbc4b625befd8f1c65a8722d141a3fecaa985571875e02435cb","observation_id":"0a5a0715-b7c3-48cd-9a6a-95496da358a5","resolution":{"observed_at":"2026-08-01T22:14:40.700355Z","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-01T22:14:40.878639Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:40.878639Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:df685d6caf7840d9c192d2f280db90b3f1097ed7a8fba71f600377f45cde4ec2","observation_id":"63901781-9e36-42eb-9cc6-7d2e58c87467","resolution":{"observed_at":"2026-08-01T22:14:40.878639Z","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/3158115","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"24d231b8-aa99-4787-8ac7-e62029aa0b93","year":2017},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.007850Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:cac60fafba6e4ac992b2714d2543be50e579801eeb31b9ef6d8cc4e1f217edd7","observation_id":"d7697c02-3378-4c6e-abdf-904456ee082a","resolution":{"observed_at":"2026-08-01T22:18:35.351083Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-01T22:14:41.077258Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.077258Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:e610232a3a4af7fd7b6278e0351b099ed9eca0c1fccb868d0d022540c057eac3","observation_id":"09e81ac7-648a-41ef-9f8c-0029bab9da16","resolution":{"observed_at":"2026-08-01T22:14:41.077258Z","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-01T22:14:41.148968Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.148968Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:a214297e0afb1012a9ee1a354315c883e5aca71fafaae8aa924290e9c19cd757","observation_id":"6d25082a-78b1-4475-acbf-bec3282075a3","resolution":{"observed_at":"2026-08-01T22:14:41.148968Z","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-01T22:14:41.218074Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.218074Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:f6a94170104e416813fcae89668f097703e917c77d35566bf34b64780067189a","observation_id":"51bde19e-0532-4bd7-82b6-44b08cd406cb","resolution":{"observed_at":"2026-08-01T22:14:41.218074Z","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-01T22:14:41.279509Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.279509Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:ee816f8b68c99f0be5cecf12bdbc50cc0748cfcc32ef0c37aa3b66ee3e38ab19","observation_id":"504c1439-3777-4c1f-a054-4764863bc921","resolution":{"observed_at":"2026-08-01T22:14:41.279509Z","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-01T22:14:41.391238Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.391238Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:496372d5f7ea2e0f260391e699799db9dc56c838ca32b71ea25223c2784cc19c","observation_id":"d7435a7b-07b9-4458-912e-32cbbcb98ef2","resolution":{"observed_at":"2026-08-01T22:14:41.391238Z","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-01T22:14:41.441401Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.441401Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:ed9559fe052f4e23dae36a8348cb3b7a5d93061e47577f3b0f1554b44e8d5c5b","observation_id":"414ff136-b0a5-42f0-acbd-55c24f150139","resolution":{"observed_at":"2026-08-01T22:14:41.441401Z","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-01T22:14:41.547074Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.547074Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:400bd998954c9f92faa0bc325c599752b40a4b064deb3328ef0eb79d8e18f69e","observation_id":"07431958-489d-43f1-9cf0-e29d4e9aae1c","resolution":{"observed_at":"2026-08-01T22:14:41.547074Z","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-01T22:14:41.602750Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.602750Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:18489d629df4d89d7b4ca66b0831fe6e5d9458887da63d745bb241674691c85d","observation_id":"336995dd-77aa-4a01-8d58-5d48a7c57659","resolution":{"observed_at":"2026-08-01T22:14:41.602750Z","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.4230/lipics.ecoop.2023.22","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"arXiv (Cornell University)","work_id":"b52335a4-5aa1-4140-8424-b7ae4022c6bd","year":2023},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.650594Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:98922c0fc100ce35e32abaa1f7bc7bca70a325b699621f5908c7604f9156174f","observation_id":"21e7bc03-a52d-4718-a7c1-20ecc6e93d8c","resolution":{"observed_at":"2026-08-01T22:18:35.283159Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-01T22:14:41.701420Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.701420Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:45e589bd358c8e9e26326b969c7d5be70147c5854bc28b9be0790f3bb319dc35","observation_id":"d5fc6ac4-5c0c-416e-9613-b23186c5fece","resolution":{"observed_at":"2026-08-01T22:14:41.701420Z","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-01T22:14:41.752155Z","title":null,"venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.752155Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:ea497c247fb092b95b4a21a56c16d6810c5a8d7dbb18c0b3ca04faefb93d7913","observation_id":"59a2bce8-3049-46f7-bad3-0a8313bceb66","resolution":{"observed_at":"2026-08-01T22:14:41.752155Z","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-01T22:14:41.816426Z","title":"Papadimitriou","venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.816426Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:ef5ae0d68af24f7c8a81ecb3c41a535da30ab8170703676ede4fcb22166e6bb7","observation_id":"6db1f07d-cc07-4998-a4f3-ca2ff0a138b3","resolution":{"observed_at":"2026-08-01T22:14:41.816426Z","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-01T22:14:41.900141Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.900141Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:02a015907243ea018e05f8c3e267d65f5102e7185a8d6e0510fb9a4bf186b7ff","observation_id":"80c0c8c2-d444-4d26-81a5-2f428a4dbfca","resolution":{"observed_at":"2026-08-01T22:14:41.900141Z","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-01T22:14:41.983204Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.983204Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:247e7ca5bde4b5d834414bf7a9ff4238a0e0c94aa2e4dd4fcc1fcf00023b6aa8","observation_id":"54889328-e5b5-473f-a243-c0f7fcead2da","resolution":{"observed_at":"2026-08-01T22:14:41.983204Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1805.06196","last_updated":"2018-09-27T16:36:54Z","snapshot_observed_at":"2026-07-06T06:39:26.409401Z","submitted_at":"2018-05-16T08:59:47Z","title":"On the Semantics of Snapshot Isolation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1805.06196","snapshot_observed_at":"2026-08-01T22:14:42.036609Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.036609Z"},"links":{"cited_paper":"/paper/1805.06196","citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:12712e9cd18bafe62c5200c7c800846959dd83ef2a835fb0c564aaa2b709de5f","observation_id":"820c9940-c689-4b79-bba1-37134e6b2eeb","resolution":{"observed_at":"2026-08-01T22:14:42.036609Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.10298","last_updated":"2020-09-03T20:58:25Z","snapshot_observed_at":"2026-07-06T08:59:36.401601Z","submitted_at":"2020-02-24T14:58:39Z","title":"Reducing urban traffic congestion due to localized routing decisions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.10298","snapshot_observed_at":"2026-08-01T22:14:42.096873Z","title":"Reynolds","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.096873Z"},"links":{"cited_paper":"/paper/2002.10298","citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:25f630159bd314d30e405b8060ca6eb74b600ba0a4a8f94dedcc714a0b7aef2c","observation_id":"7796a826-9ee4-4b8e-a5cc-335be82470dd","resolution":{"observed_at":"2026-08-01T22:14:42.096873Z","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-01T22:14:42.155332Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.155332Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:97c38447730a4b5a6199f3b82567e93f1ac99c2674eb372012820cebfd6244bf","observation_id":"c2bcfefe-64bc-4966-909e-70668f6b88a8","resolution":{"observed_at":"2026-08-01T22:14:42.155332Z","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-01T22:14:42.237717Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.237717Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:b9c48ff48b602dd880e135df0e25757e0ebd8f30e725343901f6424bd34b3ce4","observation_id":"6c287cd8-08c4-4efc-a04b-e13f75e26f44","resolution":{"observed_at":"2026-08-01T22:14:42.237717Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:42.312846Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.312846Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:45df861428501064ddacde03ca64ebfd6aebedf98f15d6428c3bcae168bec98a","observation_id":"8d649edc-efa3-4773-89db-2a443f1fecf0","resolution":{"observed_at":"2026-08-01T22:14:42.312846Z","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-01T22:14:42.369071Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.369071Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:ccb44cb058e809421e441c2707f577c11bd863a7d6d068461c54a0c252292e0c","observation_id":"b51afad8-d4fb-46d5-aba2-c0e9f87d1758","resolution":{"observed_at":"2026-08-01T22:14:42.369071Z","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/3632851","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"0b989364-087c-43bc-bee9-18e99db7b0f7","year":2024},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.447405Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:a22a183ff6371628c1d9ba7678d05f3a41d1e63b36b117b65f99e7bf1b91f0af","observation_id":"eafd054d-c930-4b91-ba6b-4f848f782b7f","resolution":{"observed_at":"2026-08-01T22:18:35.119748Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-01T22:14:42.528234Z","title":"Pierce, and Steve Zdancewic","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.528234Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:e10a69c70e5ba33b1d4c42eb75b8408113ee53c0cdf006ee221784124e9474ea","observation_id":"25982783-511c-4b8d-8366-ba2ac07c53e6","resolution":{"observed_at":"2026-08-01T22:14:42.528234Z","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-01T22:14:42.683706Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.683706Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:81d311e54b9a4be8aa81856dd366841b8feaf5594fc196e6de0dae9e15ea2206","observation_id":"867fc76c-45d4-471b-a5fe-07dd7640b77c","resolution":{"observed_at":"2026-08-01T22:14:42.683706Z","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-01T22:14:42.762764Z","title":"2020.Parametric Operational Semantics for Consistency Models","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.762764Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:8a38c08f278691b8e72a0dfbf3e459a160387ace399860c130ec3036b1f5a5d7","observation_id":"53103ece-2908-48a8-8c22-bbc3c3318ea4","resolution":{"observed_at":"2026-08-01T22:14:42.762764Z","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-01T22:14:42.840212Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.840212Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:756691a51f87f13f5e1ff871ae7fc7842ad98d29e364576717e376b3a48523bb","observation_id":"e4564318-a933-49ab-a986-7f212018e1f7","resolution":{"observed_at":"2026-08-01T22:14:42.840212Z","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-01T22:14:42.900480Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.900480Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:d8edc168dacf129da7e264c01e03648a1d879b8356bbdf318b0543f38cf70c77","observation_id":"c6a1f06b-e17b-4a2e-9aa1-e9a8b312f6ed","resolution":{"observed_at":"2026-08-01T22:14:42.900480Z","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-01T22:14:42.606722Z","title":"ACM Program","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.606722Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:bf7dface555f15d1a8e3b038c92d7985f2914a86d38449c6d25881d7a3bddb8b","observation_id":"b2f8c0ed-b9ef-4cae-b7ce-f67c50cc2473","resolution":{"observed_at":"2026-08-01T22:14:42.606722Z","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-01T22:14:41.335692Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.335692Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:17cc191fa9036988e5fc442703e99227b477c74a07497a9491e3c83b2843d190","observation_id":"a3d5b0b3-d786-4d22-b43b-a77afcc41105","resolution":{"observed_at":"2026-08-01T22:14:41.335692Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:38.440939Z","title":"ACM Program","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:38.440939Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:d50b043a4cbb26f35f9b3da4b22743d9570cc55b65cbb06493cecc3a0ea93d1a","observation_id":"4e845684-3074-41e5-b4d2-3a8a1090e76b","resolution":{"observed_at":"2026-08-01T22:14:38.440939Z","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-01T22:14:41.498622Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.498622Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:5e088f74e4e2ffdf3fe04c59b19025852ae2f9a19bb0a75958ca4b73da040f14","observation_id":"c0885f11-36b3-41e4-a990-6824cc1f2c82","resolution":{"observed_at":"2026-08-01T22:14:41.498622Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","latest_version":1,"primary_category":"cs.DB","snapshot_observed_at":"2026-08-06T11:23:24.559007Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic"},"reference_resolution":{"displayed":62,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":54,"verified_exact":6,"verified_fuzzy":0},"total_outbound_references":62},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 62 of 62 outbound references and 0 inbound Pith citation observations for arXiv:2607.15877."}