Paper Citation Record · LEDGER

Octopus: Practical Equivalence Checking of P4 Packet Parsers

As of 19 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:2608.01982.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2608.01982 v1

Coverage vector

measured 27 of 27 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-04T17:22:51.548463Z

measured 27 of 27 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

27 of 27 outbound references displayed

verified exact0
verified fuzzy0
unresolved22
parse uncertain0
malformed identifier4
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c95b19f9-dc36-4e82-9d35-e28205c9d4db · outbound

This paper cites In: TACAS.

Octopus: Practical Equivalence Checking of P4 Packet Parsers In: TACAS

Reference 1

Resolution: malformed identifier; no resolver link, observed 2026-08-04T17:22:49.360083Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7041e914-4038-4ff9-a68b-3ac6131eb604 · outbound

This paper cites In: HotSDN.

Octopus: Practical Equivalence Checking of P4 Packet Parsers In: HotSDN

Reference 2

Resolution: malformed identifier; no resolver link, observed 2026-08-04T17:22:49.401448Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4bb458a1-63a9-4ffb-944b-7aa543bd5c9d · outbound

This paper cites an unresolved cited work.

Octopus: Practical Equivalence Checking of P4 Packet Parsers Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-04T17:22:49.525935Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation faed831d-ff0e-46cc-b287-e3de0dd47db6 · outbound

This paper cites an unresolved cited work.

Octopus: Practical Equivalence Checking of P4 Packet Parsers Unresolved cited work

Reference 4

Resolution: malformed identifier; no resolver link, observed 2026-08-04T17:22:49.598961Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41162f81-08ce-477f-bdbc-6ff4dc7a9457 · outbound

This paper cites In: SOSR.

Octopus: Practical Equivalence Checking of P4 Packet Parsers In: SOSR

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-04T17:22:49.681029Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c4a719e-9777-4e01-9eb2-683832946b7e · outbound

This paper cites In: TACAS.

Octopus: Practical Equivalence Checking of P4 Packet Parsers In: TACAS

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-04T17:22:49.760927Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fbbbd77a-b950-4d54-95f6-92476906620b · outbound

This paper cites In: POPL.

Octopus: Practical Equivalence Checking of P4 Packet Parsers In: POPL

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-04T17:22:49.860310Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 475ff19b-7137-4bd6-8df5-06c816ea1869 · outbound

This paper cites In: PLDI.

Octopus: Practical Equivalence Checking of P4 Packet Parsers In: PLDI

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-04T17:22:49.955782Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7fa56c12-91ae-4de3-9289-bdc728829307 · outbound

This paper cites https://doi.org/10.48550/arXiv.2205.

Octopus: Practical Equivalence Checking of P4 Packet Parsers https://doi.org/10.48550/arXiv.2205

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-04T17:22:50.024785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 997fbc8e-332b-4c1a-b4fd-dcdf70e6a6d0 · outbound

This paper cites an unresolved cited work.

Octopus: Practical Equivalence Checking of P4 Packet Parsers Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-04T17:22:50.146221Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c24dc3f-8b24-4ef5-87aa-7736778ddff1 · outbound

This paper cites In: SMT workshop (2015).

Octopus: Practical Equivalence Checking of P4 Packet Parsers In: SMT workshop (2015)

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-04T17:22:50.243005Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c007bc66-cb42-4b89-a737-9f18741581e4 · outbound

This paper cites In: NEAT@SIGCOMM.

Octopus: Practical Equivalence Checking of P4 Packet Parsers In: NEAT@SIGCOMM

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-04T17:22:50.321314Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa7c4f93-d0ce-4f53-9aec-bcffc1cd858d · outbound

This paper cites P4K: A Formal Semantics of P4 and Applications.

Octopus: Practical Equivalence Checking of P4 Packet Parsers P4K: A Formal Semantics of P4 and Applications

Reference 13

Resolution: metadata mismatch; local_arxiv, observed 2026-08-04T17:23:23.019266Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 57b3769c-c984-433b-9dfc-106d9fcc5130 · outbound

This paper cites Pearson Education Limited, Harlow, United Kingdom, 8th edn.

Octopus: Practical Equivalence Checking of P4 Packet Parsers Pearson Education Limited, Harlow, United Kingdom, 8th edn

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-04T17:22:50.496910Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55c8a61b-ead3-4ace-96d5-0fddb798ac79 · outbound

This paper cites Thesis Bach- elor Informatica, LIACS, Leiden University (2025), https://theses.liacs.nl/3410.

Octopus: Practical Equivalence Checking of P4 Packet Parsers Thesis Bach- elor Informatica, LIACS, Leiden University (2025), https://theses.liacs.nl/3410

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-04T17:22:50.561610Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29743057-a69d-4b1d-af1f-2c0044f2c593 · outbound

This paper cites In: SIGCOMM.

Octopus: Practical Equivalence Checking of P4 Packet Parsers In: SIGCOMM

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-04T17:22:50.639927Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87c45a33-f811-453e-87b6-05fd9de1ef76 · outbound

This paper cites In: CoNEXT.

Octopus: Practical Equivalence Checking of P4 Packet Parsers In: CoNEXT

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-04T17:22:50.729907Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79b92b6a-9fac-4b3f-a9e8-705831f872e1 · outbound

This paper cites In: SOSR.

Octopus: Practical Equivalence Checking of P4 Packet Parsers In: SOSR

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-04T17:22:50.776641Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67d1d486-c3b6-419a-b562-06a2cb43beab · outbound

This paper cites In: USENIX Security.

Octopus: Practical Equivalence Checking of P4 Packet Parsers In: USENIX Security

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-04T17:22:50.829265Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5977bc5-40c7-4793-9ef0-5a96335069a7 · outbound

This paper cites an unresolved cited work.

Octopus: Practical Equivalence Checking of P4 Packet Parsers Unresolved cited work

Reference 20

Resolution: malformed identifier; no resolver link, observed 2026-08-04T17:22:50.949863Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 850f250b-9446-4c75-8e65-1da2487f064a · outbound

This paper cites Cambridge University Press (2011).

Octopus: Practical Equivalence Checking of P4 Packet Parsers Cambridge University Press (2011)

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-04T17:22:51.021504Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cfc119ae-6ea1-48b1-b03a-493e83298bea · outbound

This paper cites IEEE Syst.

Octopus: Practical Equivalence Checking of P4 Packet Parsers IEEE Syst

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-04T17:22:51.091085Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3aa8c324-f43c-4804-803b-eff808a46d68 · outbound

This paper cites In: SIGCOMM.

Octopus: Practical Equivalence Checking of P4 Packet Parsers In: SIGCOMM

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-04T17:22:51.158014Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cce70ea6-399c-4426-862a-7d6f1cf2a646 · outbound

This paper cites an unresolved cited work.

Octopus: Practical Equivalence Checking of P4 Packet Parsers Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-04T17:22:51.296731Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5a9a1d6-df4d-42d8-ba37-22616b07fa47 · outbound

This paper cites an unresolved cited work.

Octopus: Practical Equivalence Checking of P4 Packet Parsers Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-04T17:22:51.380878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60797125-7105-486a-a773-5fe0d42041fc · outbound

This paper cites an unresolved cited work.

Octopus: Practical Equivalence Checking of P4 Packet Parsers Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-04T17:22:51.464174Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 729e4589-3f86-4d8f-a67d-555f9c02dfb0 · outbound

This paper cites In: SIGCOMM.

Octopus: Practical Equivalence Checking of P4 Packet Parsers In: SIGCOMM

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-04T17:22:51.548463Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.