Paper Citation Record · LEDGER

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections

As of 10 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 0 inbound Pith citation observations for arXiv:2607.02748.

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

pith.paper-citation-record.v1
2607.02748 v1

Coverage vector

measured 28 of 28 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-12T07:18:56.905617Z

measured 28 of 28 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+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

28 of 28 outbound references displayed

verified exact2
verified fuzzy0
unresolved23
parse uncertain0
malformed identifier2
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 84feb343-5055-4417-b4be-4441445ef75b · outbound

This paper cites an unresolved cited work.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97f39531-a54a-42de-b68e-dd3dceed7225 · outbound

This paper cites Cimatti, A.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections Cimatti, A

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c663c17-a85e-40a9-b82e-4478493be42d · outbound

This paper cites an unresolved cited work.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections Unresolved cited work

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-07-12T07:28:35.323404Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 847f968f-3f1b-48ec-80df-5e54896ba513 · outbound

This paper cites an unresolved cited work.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc61465b-7ede-470c-8d8c-d53080920e42 · outbound

This paper cites The eBPF Runtime in the Linux Kernel.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections The eBPF Runtime in the Linux Kernel

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc1c64e1-d347-4bd9-ad44-26412b0108e5 · outbound

This paper cites Navas, Noam Rinetzky, Leonid Ryzhyk, and Mooly Sagiv.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections Navas, Noam Rinetzky, Leonid Ryzhyk, and Mooly Sagiv

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4cec23bb-dc72-4b69-8670-6dbbe51692e7 · outbound

This paper cites InProceedings of the 40th ACM SIGPLAN Conference on Pro- gramming Language Design and Implementation(Phoenix, AZ, USA) (PLDI 2019).

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections InProceedings of the 40th ACM SIGPLAN Conference on Pro- gramming Language Design and Implementation(Phoenix, AZ, USA) (PLDI 2019)

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc5602c7-5587-4e70-b2ba-95296304c0d3 · outbound

This paper cites Le, Hubertus Franke, Hani Jamjoom, Tianyin Xu, and Dan Williams.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections Le, Hubertus Franke, Hani Jamjoom, Tianyin Xu, and Dan Williams

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6a34d2c-b958-4d36-bad1-5c5d5a72f4ee · outbound

This paper cites A game of alignment:collective behavior of multi-species.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections A game of alignment:collective behavior of multi-species

Reference 9

Resolution: metadata mismatch; local_arxiv, observed 2026-07-12T07:28:35.332705Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ca8dac2b-8564-4a41-9510-14aea3639fe7 · outbound

This paper cites an unresolved cited work.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8580f26a-9603-4b98-adba-a04374a993cf · outbound

This paper cites an unresolved cited work.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections Unresolved cited work

Reference 11

Resolution: verified exact; arxiv_id, observed 2026-07-12T07:28:35.326520Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation af21499b-4489-412e-98f9-80ccb2b60277 · outbound

This paper cites an unresolved cited work.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5804126-cf5a-400c-87c2-518e509bde2d · outbound

This paper cites an unresolved cited work.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60eb5ae5-8e30-4375-9636-8d8c8a9b28c5 · outbound

This paper cites an unresolved cited work.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c08bf0c-8e10-4ea9-ba16-0148c5bdb39b · outbound

This paper cites an unresolved cited work.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f7f3f36-297c-48b7-81dc-058ac185699e · outbound

This paper cites an unresolved cited work.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ababff15-e900-40cb-85ca-3a32ec74d306 · outbound

This paper cites Seidel, Huma Sibghat, Kamalika Chaudhuri, Westley Weimer, and Ranjit Jhala.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections Seidel, Huma Sibghat, Kamalika Chaudhuri, Westley Weimer, and Ranjit Jhala

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2455379-5cbf-4e7e-b36a-2553cedad335 · outbound

This paper cites an unresolved cited work.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65f3047f-8f64-46e5-b83f-a59ca4ecd244 · outbound

This paper cites an unresolved cited work.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee717446-355c-48a2-bb76-9eeb36c694c3 · outbound

This paper cites an unresolved cited work.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df5cb9e3-70a8-4775-bcca-a878671840fc · outbound

This paper cites an unresolved cited work.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f7c54e69-f0b1-4ccf-a9cf-c5b37d25bd53 · outbound

This paper cites an unresolved cited work.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45a85087-1e21-46bc-b2e9-f35be169d677 · outbound

This paper cites Eric Wong, Ruizhi Gao, Yihao Li, Rui Abreu, and Franz Wotawa.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections Eric Wong, Ruizhi Gao, Yihao Li, Rui Abreu, and Franz Wotawa

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e59d28f7-ee47-4477-906f-19c450854a43 · outbound

This paper cites 2016), 707–740.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections 2016), 707–740

Reference 24

Resolution: malformed identifier; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29291c86-01ad-45fc-8d72-361a94167dbb · outbound

This paper cites an unresolved cited work.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections Unresolved cited work

Reference 25

Resolution: malformed identifier; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ba5a8ed-72b8-41f7-a6cc-5f7bdcf6c278 · outbound

This paper cites an unresolved cited work.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c5c3775-dd81-4745-8393-e21b68b5550a · outbound

This paper cites an unresolved cited work.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0077c1ac-58c4-42c2-bdaa-02da7d3f4d60 · outbound

This paper cites an unresolved cited work.

Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-12T07:18:56.905617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.