{"as_of":"2026-08-16T21:03:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c6b1ab479a3bb0eebc237239dc8d4fbf00b2e34302ee83650bed8808ccc85fe3","coverage":[{"denominator":22,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":22,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T13:15:38.487446Z","state":"measured"},{"denominator":22,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":22,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+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/1908.05799/citation-record","integrity":"/paper/1908.05799/integrity","json":"/paper/1908.05799/citation-record.json","paper":"/paper/1908.05799"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:15:38.727461Z","title":"https://www.microsoft.com/en-us/research/publication/this-is-boogie-2-2/ K","venue":null,"work_id":"dff1c3b1-f00b-4181-8cb7-dba245921dc1","year":2008},"citing_paper":{"arxiv_id":"1908.05799","last_updated":"2019-08-16T00:18:43Z","snapshot_observed_at":"2026-08-16T13:11:56.835075Z","submitted_at":"2019-08-16T00:18:43Z","title":"Modular Verification of Heap Reachability Properties in Separation Logic","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T13:15:38.417473Z"},"links":{"citing_paper":"/paper/1908.05799"},"observation_digest":"sha256:6d13331076c2e02e6bfcbcc564cbb69ae7e4a5cc276dc4e5a615ff170fcd20c2","observation_id":"21da8bb5-df6f-416b-be55-dfb3c220b8e4","resolution":{"observed_at":"2026-08-14T13:15:38.732279Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:15:38.600027Z","title":"We denote the footprint of the method enclosing this field update as g","venue":null,"work_id":"e316019b-80e6-4f5a-b315-80ae1bb10d9c","year":1995},"citing_paper":{"arxiv_id":"1908.05799","last_updated":"2019-08-16T00:18:43Z","snapshot_observed_at":"2026-08-16T13:11:56.835075Z","submitted_at":"2019-08-16T00:18:43Z","title":"Modular Verification of Heap Reachability Properties in Separation Logic","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T13:15:38.465819Z"},"links":{"citing_paper":"/paper/1908.05799"},"observation_digest":"sha256:1047325982356f6f0082617c2533b99eb50804dcc925f6200b1f4c0142ee55f8","observation_id":"58b42997-6630-4e6a-975b-c55f5b49f4a7","resolution":{"observed_at":"2026-08-14T13:15:38.604671Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:15:38.567899Z","title":null,"venue":null,"work_id":"79c6cf24-bd81-4f0c-8061-533807413008","year":2019},"citing_paper":{"arxiv_id":"1908.05799","last_updated":"2019-08-16T00:18:43Z","snapshot_observed_at":"2026-08-16T13:11:56.835075Z","submitted_at":"2019-08-16T00:18:43Z","title":"Modular Verification of Heap Reachability Properties in Separation Logic","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T13:15:38.475752Z"},"links":{"citing_paper":"/paper/1908.05799"},"observation_digest":"sha256:430419a9ce782dc762c7e77fa23c9efe65e914409296603b84d17e94dd546ab8","observation_id":"7bcea41f-8dd3-41f6-a294-8efed76f0d5f","resolution":{"observed_at":"2026-08-14T13:15:38.572748Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:15:38.687256Z","title":"ACM International Conference Proceeding Series (2009)","venue":null,"work_id":"0c1cb977-4885-459a-b484-f2b03151f7a1","year":2009},"citing_paper":{"arxiv_id":"1908.05799","last_updated":"2019-08-16T00:18:43Z","snapshot_observed_at":"2026-08-16T13:11:56.835075Z","submitted_at":"2019-08-16T00:18:43Z","title":"Modular Verification of Heap Reachability Properties in Separation Logic","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T13:15:38.433426Z"},"links":{"citing_paper":"/paper/1908.05799"},"observation_digest":"sha256:e5eed66988ba773701936eae9cde8abdf88086ae96ad0bfa375b96623613a9ea","observation_id":"88c3905d-95d2-4b24-bbd8-b0e99ad5ac66","resolution":{"observed_at":"2026-08-14T13:15:38.691328Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:15:38.672881Z","title":"In Principled Software Development , Peter Müller and Ina Schaefer (Eds.)","venue":null,"work_id":"a57ade05-456e-4f1d-9b0e-3f3e085e0de5","year":2016},"citing_paper":{"arxiv_id":"1908.05799","last_updated":"2019-08-16T00:18:43Z","snapshot_observed_at":"2026-08-16T13:11:56.835075Z","submitted_at":"2019-08-16T00:18:43Z","title":"Modular Verification of Heap Reachability Properties in Separation Logic","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T13:15:38.437981Z"},"links":{"citing_paper":"/paper/1908.05799"},"observation_digest":"sha256:6b9514f564553d9c854083d37ab04c8b3254cec5846cea5525d87f3fbf866396","observation_id":"54676d2d-413e-4a15-9ff8-59d2f8ee8e00","resolution":{"observed_at":"2026-08-14T13:15:38.677487Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:15:38.582563Z","title":"The dire ct update formulas provide a canonical form of the reachability relation in the new state (e","venue":null,"work_id":"ea86eddf-b32b-4101-becc-aa103e4292b2","year":1995},"citing_paper":{"arxiv_id":"1908.05799","last_updated":"2019-08-16T00:18:43Z","snapshot_observed_at":"2026-08-16T13:11:56.835075Z","submitted_at":"2019-08-16T00:18:43Z","title":"Modular Verification of Heap Reachability Properties in Separation Logic","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T13:15:38.470851Z"},"links":{"citing_paper":"/paper/1908.05799"},"observation_digest":"sha256:0b1f5f7177aed8fbcd150c9916fa6bd7a6e2398761c6472899c916bd0cd5b744","observation_id":"394d4633-aa58-45e6-bb27-ba0152921c9b","resolution":{"observed_at":"2026-08-14T13:15:38.589228Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:15:38.553990Z","title":"Page 33 of 1–34","venue":null,"work_id":"ae23e186-fbd7-462d-acc5-a04a9a6c9e1e","year":2019},"citing_paper":{"arxiv_id":"1908.05799","last_updated":"2019-08-16T00:18:43Z","snapshot_observed_at":"2026-08-16T13:11:56.835075Z","submitted_at":"2019-08-16T00:18:43Z","title":"Modular Verification of Heap Reachability Properties in Separation Logic","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T13:15:38.481473Z"},"links":{"citing_paper":"/paper/1908.05799"},"observation_digest":"sha256:d60058cbfcc4716826877806c86c08483be31f441031d0d8e1953f171d6c447e","observation_id":"273be454-915e-40ef-a4ce-8086b9f6d2ca","resolution":{"observed_at":"2026-08-14T13:15:38.558249Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:15:38.537793Z","title":"2019-08-19 00:46","venue":null,"work_id":"bd6ce2fd-bce9-4816-b767-53eda0d44966","year":2019},"citing_paper":{"arxiv_id":"1908.05799","last_updated":"2019-08-16T00:18:43Z","snapshot_observed_at":"2026-08-16T13:11:56.835075Z","submitted_at":"2019-08-16T00:18:43Z","title":"Modular Verification of Heap Reachability Properties in Separation Logic","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T13:15:38.487446Z"},"links":{"citing_paper":"/paper/1908.05799"},"observation_digest":"sha256:9a37a3045934c0a3877dbbe07b01531605e41dfd0105ae6c91aa8088ff8e4a78","observation_id":"259052b3-9cf8-410c-a36b-d840e4906e4e","resolution":{"observed_at":"2026-08-14T13:15:38.543723Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:15:38.806784Z","title":"Operations Research 6, 6 (1958), 791–812","venue":null,"work_id":"ca13b7c2-ac9a-4c07-b5ee-e8824d439ace","year":1958},"citing_paper":{"arxiv_id":"1908.05799","last_updated":"2019-08-16T00:18:43Z","snapshot_observed_at":"2026-08-16T13:11:56.835075Z","submitted_at":"2019-08-16T00:18:43Z","title":"Modular Verification of Heap Reachability Properties in Separation Logic","version":1},"reference_index":1958,"source":"pdf_text","source_observed_at":"2026-08-14T13:15:38.389337Z"},"links":{"citing_paper":"/paper/1908.05799"},"observation_digest":"sha256:cc6b06c94c1874dffff05ab844a0560ec998c50af10ae76e6057c6b2ba60c113","observation_id":"ed1e1e46-d2d0-4b01-92f6-34c199938ad3","resolution":{"observed_at":"2026-08-14T13:15:38.810888Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:15:38.741151Z","title":"The Bell System Technical Journal 38, 4 (1959), 985–999","venue":null,"work_id":"bb71c5eb-ad43-4980-aad3-d01514d0cdf5","year":1959},"citing_paper":{"arxiv_id":"1908.05799","last_updated":"2019-08-16T00:18:43Z","snapshot_observed_at":"2026-08-16T13:11:56.835075Z","submitted_at":"2019-08-16T00:18:43Z","title":"Modular Verification of Heap Reachability Properties in Separation Logic","version":1},"reference_index":1959,"source":"pdf_text","source_observed_at":"2026-08-14T13:15:38.413053Z"},"links":{"citing_paper":"/paper/1908.05799"},"observation_digest":"sha256:8ebc7100b1edafa6a03536bdda10f5ae7fd66d5a69d01ba1ed910a6c0c2aaddd","observation_id":"a889365d-28e8-4343-a07b-413b7f9c91ef","resolution":{"observed_at":"2026-08-14T13:15:38.745201Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:15:38.700136Z","title":"The Bell System Technical Journal 44, 10 (1965), 2245–2269","venue":null,"work_id":"2dd08e45-f43a-4a67-acd2-39c461f08075","year":1965},"citing_paper":{"arxiv_id":"1908.05799","last_updated":"2019-08-16T00:18:43Z","snapshot_observed_at":"2026-08-16T13:11:56.835075Z","submitted_at":"2019-08-16T00:18:43Z","title":"Modular Verification of Heap Reachability Properties in Separation Logic","version":1},"reference_index":1965,"source":"pdf_text","source_observed_at":"2026-08-14T13:15:38.428124Z"},"links":{"citing_paper":"/paper/1908.05799"},"observation_digest":"sha256:1d6a4d6021d7675767bde8198e094b15c93d90df03509a5d1cce5673897d370a","observation_id":"fd76b0d6-295b-4d49-9492-84c8a45cc087","resolution":{"observed_at":"2026-08-14T13:15:38.704199Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:15:38.614967Z","title":"Journal of the ACM 22, 2 (1975), 215–225","venue":null,"work_id":"eac18a87-b7d1-4f72-937e-16af62380a04","year":1975},"citing_paper":{"arxiv_id":"1908.05799","last_updated":"2019-08-16T00:18:43Z","snapshot_observed_at":"2026-08-16T13:11:56.835075Z","submitted_at":"2019-08-16T00:18:43Z","title":"Modular Verification of Heap Reachability Properties in Separation Logic","version":1},"reference_index":1975,"source":"pdf_text","source_observed_at":"2026-08-14T13:15:38.457060Z"},"links":{"citing_paper":"/paper/1908.05799"},"observation_digest":"sha256:efa1a2ab2440e145dd8336fdc584f8016e9585664add2ffee92219de2850bbaa","observation_id":"63ee2dd0-9769-43e2-b2ac-5c8a768ec038","resolution":{"observed_at":"2026-08-14T13:15:38.619655Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:15:38.820553Z","title":"IEEE Trans","venue":null,"work_id":"fa231bc6-828a-43b9-be03-3b75b8f9d598","year":1978},"citing_paper":{"arxiv_id":"1908.05799","last_updated":"2019-08-16T00:18:43Z","snapshot_observed_at":"2026-08-16T13:11:56.835075Z","submitted_at":"2019-08-16T00:18:43Z","title":"Modular Verification of Heap Reachability Properties in Separation Logic","version":1},"reference_index":1978,"source":"pdf_text","source_observed_at":"2026-08-14T13:15:38.384094Z"},"links":{"citing_paper":"/paper/1908.05799"},"observation_digest":"sha256:42dfe19fea5e87c0e50d9f0176b8870c1a40c74347cb5d640e9d95687ca12857","observation_id":"2bd6dbdb-764f-4476-b2f3-d4b889f7a0f3","resolution":{"observed_at":"2026-08-14T13:15:38.824554Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:15:38.767348Z","title":"Algorithmica 1 (1986), 111–129","venue":null,"work_id":"b4c56d4f-8443-4801-a734-8177647c70aa","year":1986},"citing_paper":{"arxiv_id":"1908.05799","last_updated":"2019-08-16T00:18:43Z","snapshot_observed_at":"2026-08-16T13:11:56.835075Z","submitted_at":"2019-08-16T00:18:43Z","title":"Modular Verification of Heap Reachability Properties in Separation Logic","version":1},"reference_index":1986,"source":"pdf_text","source_observed_at":"2026-08-14T13:15:38.403362Z"},"links":{"citing_paper":"/paper/1908.05799"},"observation_digest":"sha256:7c946084779050181645bb18fe8dd2c8237d69bd4af87a5c799fd416c9754965","observation_id":"68c1c29f-9c9e-42d6-a724-7704705ebeb3","resolution":{"observed_at":"2026-08-14T13:15:38.771253Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:15:38.644415Z","title":"IEEE Trans","venue":null,"work_id":"5f1e3df0-d7bf-484e-bd56-b1480b5321ba","year":1990},"citing_paper":{"arxiv_id":"1908.05799","last_updated":"2019-08-16T00:18:43Z","snapshot_observed_at":"2026-08-16T13:11:56.835075Z","submitted_at":"2019-08-16T00:18:43Z","title":"Modular Verification of Heap Reachability Properties in Separation Logic","version":1},"reference_index":1990,"source":"pdf_text","source_observed_at":"2026-08-14T13:15:38.446702Z"},"links":{"citing_paper":"/paper/1908.05799"},"observation_digest":"sha256:2ad0dde5b780f847a97f01fd3da088bba42fb50cd083857ad5aff46b487dc902","observation_id":"e552def7-b353-4b3b-bd24-c97a2eb966f4","resolution":{"observed_at":"2026-08-14T13:15:38.648876Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:15:38.780595Z","title":null,"venue":null,"work_id":"473a4f86-0ffc-4a4a-91c3-5e9ef893870d","year":1995},"citing_paper":{"arxiv_id":"1908.05799","last_updated":"2019-08-16T00:18:43Z","snapshot_observed_at":"2026-08-16T13:11:56.835075Z","submitted_at":"2019-08-16T00:18:43Z","title":"Modular Verification of Heap Reachability Properties in Separation Logic","version":1},"reference_index":1995,"source":"pdf_text","source_observed_at":"2026-08-14T13:15:38.398290Z"},"links":{"citing_paper":"/paper/1908.05799"},"observation_digest":"sha256:3bd0b22d5c6888ff47be27bfee31a254b7afa4080d38097f4f1467908af05f41","observation_id":"759854b7-83cd-4ed6-859e-3dfc46eb0c62","resolution":{"observed_at":"2026-08-14T13:15:38.784726Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:15:38.793690Z","title":"Journal of the ACM 52, 3 (2005), 365–473","venue":null,"work_id":"47e645e4-159a-4440-97b4-0295c8c6e827","year":2005},"citing_paper":{"arxiv_id":"1908.05799","last_updated":"2019-08-16T00:18:43Z","snapshot_observed_at":"2026-08-16T13:11:56.835075Z","submitted_at":"2019-08-16T00:18:43Z","title":"Modular Verification of Heap Reachability Properties in Separation Logic","version":1},"reference_index":2005,"source":"pdf_text","source_observed_at":"2026-08-14T13:15:38.393899Z"},"links":{"citing_paper":"/paper/1908.05799"},"observation_digest":"sha256:d6d6e4a36dd10b1847f95e9bd93dae339ced370d63afcd9c94faec53116f8a02","observation_id":"362415ca-94f6-4eff-ae87-40d0f8923ad7","resolution":{"observed_at":"2026-08-14T13:15:38.797797Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:15:38.712576Z","title":"Logical Methods in Computer Science 5, 2 (2009)","venue":null,"work_id":"1d7a59be-2b88-4469-bbcb-40dbd89fa233","year":2009},"citing_paper":{"arxiv_id":"1908.05799","last_updated":"2019-08-16T00:18:43Z","snapshot_observed_at":"2026-08-16T13:11:56.835075Z","submitted_at":"2019-08-16T00:18:43Z","title":"Modular Verification of Heap Reachability Properties in Separation Logic","version":1},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-14T13:15:38.422660Z"},"links":{"citing_paper":"/paper/1908.05799"},"observation_digest":"sha256:9212c990c81cd99e6134dbc12dab2215db652c1badb05ef5eea784ee8643512e","observation_id":"3e3ec3cd-59ea-494e-bf29-ac3fdcc6e358","resolution":{"observed_at":"2026-08-14T13:15:38.716612Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:15:38.657831Z","title":"In ESOP, Gilles Barthe (Ed.)","venue":null,"work_id":"8c0346b6-ff2f-444b-a5da-a10e85577da8","year":2019},"citing_paper":{"arxiv_id":"1908.05799","last_updated":"2019-08-16T00:18:43Z","snapshot_observed_at":"2026-08-16T13:11:56.835075Z","submitted_at":"2019-08-16T00:18:43Z","title":"Modular Verification of Heap Reachability Properties in Separation Logic","version":1},"reference_index":2011,"source":"pdf_text","source_observed_at":"2026-08-14T13:15:38.441935Z"},"links":{"citing_paper":"/paper/1908.05799"},"observation_digest":"sha256:10449c3e0c873e82cf1b61a3c00209631e7968a3e996876caa778de50612552e","observation_id":"27308937-f9e9-4dad-ac93-e7a528b6db2e","resolution":{"observed_at":"2026-08-14T13:15:38.662279Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:15:38.628558Z","title":"ACM Transactions on Programming Languages and Systems 34, 1, Article 2 (2012), 58 pages","venue":null,"work_id":"b2164767-3d98-475b-afa8-2cc58a26eca9","year":2012},"citing_paper":{"arxiv_id":"1908.05799","last_updated":"2019-08-16T00:18:43Z","snapshot_observed_at":"2026-08-16T13:11:56.835075Z","submitted_at":"2019-08-16T00:18:43Z","title":"Modular Verification of Heap Reachability Properties in Separation Logic","version":1},"reference_index":2012,"source":"pdf_text","source_observed_at":"2026-08-14T13:15:38.451429Z"},"links":{"citing_paper":"/paper/1908.05799"},"observation_digest":"sha256:9e763ff5c31aed6df62d12b74b721ca0cbc57458b95951bde04eff6a657a0562","observation_id":"482da0ea-0a53-4701-88d7-b4759699b600","resolution":{"observed_at":"2026-08-14T13:15:38.633862Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:15:38.753900Z","title":"PACMPL 2, POPL (2018), 37:1–37:31","venue":null,"work_id":"34ba7b84-27f8-486a-a691-d0a8b2aa6966","year":2018},"citing_paper":{"arxiv_id":"1908.05799","last_updated":"2019-08-16T00:18:43Z","snapshot_observed_at":"2026-08-16T13:11:56.835075Z","submitted_at":"2019-08-16T00:18:43Z","title":"Modular Verification of Heap Reachability Properties in Separation Logic","version":1},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-14T13:15:38.408104Z"},"links":{"citing_paper":"/paper/1908.05799"},"observation_digest":"sha256:f3a478b3ab81f25fecdfaa719dee3b40222e771c641dad916e6a582bac86af4f","observation_id":"e12d2eb1-927b-48a0-93ed-3c2bf7272e27","resolution":{"observed_at":"2026-08-14T13:15:38.758110Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.3367478","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:15:38.519714Z","title":"https://doi.org/10.5281/zenodo.3367478 Hongseok Yang","venue":null,"work_id":"ec5add54-44de-4648-b9eb-881311149d9a","year":null},"citing_paper":{"arxiv_id":"1908.05799","last_updated":"2019-08-16T00:18:43Z","snapshot_observed_at":"2026-08-16T13:11:56.835075Z","submitted_at":"2019-08-16T00:18:43Z","title":"Modular Verification of Heap Reachability Properties in Separation Logic","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-14T13:15:38.461298Z"},"links":{"citing_paper":"/paper/1908.05799"},"observation_digest":"sha256:0f3d81ae218b72fee6ff560e26a61c27b4973a66a0df4161e3fb0a84ea511bfd","observation_id":"e69e6a13-8485-4b2a-bd2b-c78c0d613dee","resolution":{"observed_at":"2026-08-14T13:15:38.525046Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.05799","last_updated":"2019-08-16T00:18:43Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-16T13:11:56.835075Z","submitted_at":"2019-08-16T00:18:43Z","title":"Modular Verification of Heap Reachability Properties in Separation Logic"},"reference_resolution":{"displayed":22,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":2,"verified_exact":1,"verified_fuzzy":19},"total_outbound_references":22},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:1908.05799."}