{"as_of":"2026-08-07T05:37:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5c71a6af032fe0a12949f710c0513dd4b8332f05a1f8b49885523c50ae29626d","coverage":[{"denominator":27,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":27,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T17:22:51.548463Z","state":"measured"},{"denominator":27,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":27,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-06T06:34:29.942622+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/2608.01982/citation-record","integrity":"/paper/2608.01982/integrity","json":"/paper/2608.01982/citation-record.json","paper":"/paper/2608.01982"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T17:22:49.360083Z","title":"In: TACAS","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:49.360083Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:a533a7ca0b325952689ed1bb2431b975d6fec827095ce65e4208593f08094e06","observation_id":"c95b19f9-dc36-4e82-9d35-e28205c9d4db","resolution":{"observed_at":"2026-08-04T17:22:49.360083Z","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-04T17:22:49.401448Z","title":"In: HotSDN","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:49.401448Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:c2992d5dc6680c92b07cccd9cef4edd7b3273827b9d28dadf4c296e17ffde3fc","observation_id":"7041e914-4038-4ff9-a68b-3ac6131eb604","resolution":{"observed_at":"2026-08-04T17:22:49.401448Z","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-04T17:22:49.525935Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:49.525935Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:348751dc4984f65f5c0c98ccba0881e0b23a08ffe5a88a886c2a5eb32fb62252","observation_id":"4bb458a1-63a9-4ffb-944b-7aa543bd5c9d","resolution":{"observed_at":"2026-08-04T17:22:49.525935Z","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-04T17:22:49.598961Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:49.598961Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:5afa9b10e4e614f08436a629bec36177078545f4c273b2fbbd4c02c675487a96","observation_id":"faed831d-ff0e-46cc-b287-e3de0dd47db6","resolution":{"observed_at":"2026-08-04T17:22:49.598961Z","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-04T17:22:49.681029Z","title":"In: SOSR","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:49.681029Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:565a539c7cd2ca2cd16d4a5bb595154cc59d0eedb79839b62a638bca6a5cc172","observation_id":"41162f81-08ce-477f-bdbc-6ff4dc7a9457","resolution":{"observed_at":"2026-08-04T17:22:49.681029Z","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-04T17:22:49.760927Z","title":"In: TACAS","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:49.760927Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:2abd9a7d2c801e3eb75c798f5b78363030c0edc3bcd63df23080176433181d9d","observation_id":"6c4a719e-9777-4e01-9eb2-683832946b7e","resolution":{"observed_at":"2026-08-04T17:22:49.760927Z","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-04T17:22:49.860310Z","title":"In: POPL","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:49.860310Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:a33535abf068035d5b97a8fcc841942f139d53947880076d11bd8f0ab4e0153b","observation_id":"fbbbd77a-b950-4d54-95f6-92476906620b","resolution":{"observed_at":"2026-08-04T17:22:49.860310Z","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-04T17:22:49.955782Z","title":"In: PLDI","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:49.955782Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:51df0947dc4cd4c51622ae15d73c4bbd823b8b920f5798478412693266a8066f","observation_id":"475ff19b-7137-4bd6-8df5-06c816ea1869","resolution":{"observed_at":"2026-08-04T17:22:49.955782Z","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-04T17:22:50.024785Z","title":"https://doi.org/10.48550/arXiv.2205","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:50.024785Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:85c5a0dc2cc9200c92d03dc0c04bea70943eafba1066fcccc38b8048b3ab41ab","observation_id":"7fa56c12-91ae-4de3-9289-bdc728829307","resolution":{"observed_at":"2026-08-04T17:22:50.024785Z","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-04T17:22:50.146221Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:50.146221Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:0f002077194889603e26f4c260de305e77736ea53f5e43e997b92df6962de5f6","observation_id":"997fbc8e-332b-4c1a-b4fd-dcdf70e6a6d0","resolution":{"observed_at":"2026-08-04T17:22:50.146221Z","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-04T17:22:50.243005Z","title":"In: SMT workshop (2015)","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:50.243005Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:a7076d1eb36bec6fe0feeea2036f5d30b0e72e0ee755e08388b1ad1bfac9262e","observation_id":"8c24dc3f-8b24-4ef5-87aa-7736778ddff1","resolution":{"observed_at":"2026-08-04T17:22:50.243005Z","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-04T17:22:50.321314Z","title":"In: NEAT@SIGCOMM","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:50.321314Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:ceb4c11940c65cb6367f52ad5af0af84036522e9ff8c1f05baeacd5a278ea50c","observation_id":"c007bc66-cb42-4b89-a737-9f18741581e4","resolution":{"observed_at":"2026-08-04T17:22:50.321314Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1804.01468","last_updated":"2018-04-04T15:29:31Z","snapshot_observed_at":"2026-07-06T06:31:45.401940Z","submitted_at":"2018-04-04T15:29:31Z","title":"P4K: A Formal Semantics of P4 and Applications","version":1},"cited_work":{"arxiv_id":"1804.01468","doi":"10.48550/arxiv.1804.01468","metadata_source":"pith","pith_arxiv_id":"1804.01468","snapshot_observed_at":"2026-08-04T18:16:12.699793Z","title":"P4K: A Formal Semantics of P4 and Applications","venue":"cs.NI","work_id":"1734a850-b5c6-4789-80d1-cfdc71a478d1","year":2018},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:50.405749Z"},"links":{"cited_paper":"/paper/1804.01468","citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:5754ea36641ba7868d14381c15f345df276b96adf42ccd117e7b7703d03e2633","observation_id":"fa7c4f93-d0ce-4f53-9aec-bcffc1cd858d","resolution":{"observed_at":"2026-08-04T17:23:23.019266Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-04T17:22:50.496910Z","title":"Pearson Education Limited, Harlow, United Kingdom, 8th edn","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:50.496910Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:4e07a0bbe2918fb8a888296ac9676690729946f1090f402504feb0824db79398","observation_id":"57b3769c-c984-433b-9dfc-106d9fcc5130","resolution":{"observed_at":"2026-08-04T17:22:50.496910Z","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-04T17:22:50.561610Z","title":"Thesis Bach- elor Informatica, LIACS, Leiden University (2025), https://theses.liacs.nl/3410","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:50.561610Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:f30a0d88249d747e150260602fd4ea80edb8ee1819bf5d5924e7229bd4330c8c","observation_id":"55c8a61b-ead3-4ace-96d5-0fddb798ac79","resolution":{"observed_at":"2026-08-04T17:22:50.561610Z","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-04T17:22:50.639927Z","title":"In: SIGCOMM","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:50.639927Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:10f6c8ad77cbc53b2c31c4ee3ca36ffd2e647182c9786dda7dc88d1cc95b7cdb","observation_id":"29743057-a69d-4b1d-af1f-2c0044f2c593","resolution":{"observed_at":"2026-08-04T17:22:50.639927Z","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-04T17:22:50.729907Z","title":"In: CoNEXT","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:50.729907Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:7e24a3fe04d5a42b309e137562cb4d846c846b416df78a97da1342f6ef7a79aa","observation_id":"87c45a33-f811-453e-87b6-05fd9de1ef76","resolution":{"observed_at":"2026-08-04T17:22:50.729907Z","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-04T17:22:50.776641Z","title":"In: SOSR","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:50.776641Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:29bf0119d1a8b9648814a79838c03501434e3a557369c1cc8a163b479b76bab4","observation_id":"79b92b6a-9fac-4b3f-a9e8-705831f872e1","resolution":{"observed_at":"2026-08-04T17:22:50.776641Z","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-04T17:22:50.829265Z","title":"In: USENIX Security","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:50.829265Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:c11a06d088daf0e0303d718cb0470882a6bac7f555877dfc0c1aaa02e4622378","observation_id":"67d1d486-c3b6-419a-b562-06a2cb43beab","resolution":{"observed_at":"2026-08-04T17:22:50.829265Z","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-04T17:22:50.949863Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:50.949863Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:e8c779626007379c6a507d565b5ff0dd59e44be4444ed9eb5d3bca98487a1bb4","observation_id":"f5977bc5-40c7-4793-9ef0-5a96335069a7","resolution":{"observed_at":"2026-08-04T17:22:50.949863Z","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-04T17:22:51.021504Z","title":"Cambridge University Press (2011)","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:51.021504Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:3531cda474591aa76792b843ed8b5d2e46ed4ca1cecefcb337e3b47b8d412cfd","observation_id":"850f250b-9446-4c75-8e65-1da2487f064a","resolution":{"observed_at":"2026-08-04T17:22:51.021504Z","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-04T17:22:51.091085Z","title":"IEEE Syst","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:51.091085Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:8769cce8537b81bd35b79c8d17b7bd7a1b7e4fe8a29f826c61af66f08ebdfbb9","observation_id":"cfc119ae-6ea1-48b1-b03a-493e83298bea","resolution":{"observed_at":"2026-08-04T17:22:51.091085Z","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-04T17:22:51.158014Z","title":"In: SIGCOMM","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:51.158014Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:ff50f2ad37aba3307038856d740d83e053d20f1af684257613d66acb9ef52df2","observation_id":"3aa8c324-f43c-4804-803b-eff808a46d68","resolution":{"observed_at":"2026-08-04T17:22:51.158014Z","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-04T17:22:51.296731Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:51.296731Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:ce466e76102f192eb21dffe40d1db0bc5bab78f2a60e8757e5fcca1de944aff8","observation_id":"cce70ea6-399c-4426-862a-7d6f1cf2a646","resolution":{"observed_at":"2026-08-04T17:22:51.296731Z","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-04T17:22:51.380878Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:51.380878Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:081f40fd043ae2a5dd9cd2ca8be68bae0024d8c51b81f60af6cd3a8065e98b25","observation_id":"f5a9a1d6-df4d-42d8-ba37-22616b07fa47","resolution":{"observed_at":"2026-08-04T17:22:51.380878Z","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-04T17:22:51.464174Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:51.464174Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:7eaa4d0cd39c96a3967137e72c4ceca144dc7047307494fe078b075ed2d8bac7","observation_id":"60797125-7105-486a-a773-5fe0d42041fc","resolution":{"observed_at":"2026-08-04T17:22:51.464174Z","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-04T17:22:51.548463Z","title":"In: SIGCOMM","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-04T17:22:51.548463Z"},"links":{"citing_paper":"/paper/2608.01982"},"observation_digest":"sha256:81930a26dd45d34649f951e9cf4070400e905ce512b938785d62ed2be8fd9a93","observation_id":"729e4589-3f86-4d8f-a67d-555f9c02dfb0","resolution":{"observed_at":"2026-08-04T17:22:51.548463Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2608.01982","last_updated":"2026-08-03T09:43:58Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-06T23:35:50.224830Z","submitted_at":"2026-08-03T09:43:58Z","title":"Octopus: Practical Equivalence Checking of P4 Packet Parsers"},"reference_resolution":{"displayed":27,"state_counts":{"malformed_identifier":4,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":22,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":27},"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-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:2608.01982."}