Paper Citation Record · LEDGER

KernelScript: Cross-Boundary Typed DSL for eBPF Applications

As of 14 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 0 inbound Pith citation observations for arXiv:2607.23900.

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

pith.paper-citation-record.v1
2607.23900 v1

Coverage vector

measured 30 of 30 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-31T23:39:29.261475Z

measured 30 of 30 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+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

30 of 30 outbound references displayed

verified exact0
verified fuzzy0
unresolved29
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation f0af540a-af8b-443b-aaaa-cdff2dc4fac3 · outbound

This paper cites an unresolved cited work.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:26.111510Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ad31990-7e1b-4c61-a134-c1b762c325cc · outbound

This paper cites an unresolved cited work.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:26.157814Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 848ed022-98f8-4d93-81d5-e1ca7471be6f · outbound

This paper cites an unresolved cited work.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:26.256736Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 585fe360-005b-4b96-b963-29a3937143a5 · outbound

This paper cites Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:26.381614Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 943b0608-0128-4169-9223-b73100c5bcdf · outbound

This paper cites an unresolved cited work.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:26.552278Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0d5c308-e1fb-4b30-84d9-bdce0892fd36 · outbound

This paper cites an unresolved cited work.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:26.669326Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 247aa98c-d9af-484d-8944-815fb243b68b · outbound

This paper cites an unresolved cited work.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:26.821079Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c865b457-d5ba-4f42-817d-dae096d5c0a1 · outbound

This paper cites an unresolved cited work.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:26.958493Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a3d22a86-c737-4a19-ac6e-9c1f9cbc682b · outbound

This paper cites an unresolved cited work.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:27.035741Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a97b2ff7-eb73-4019-b1f3-e0244aa68fea · outbound

This paper cites Vasconcelos, and Makoto Kubo.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Vasconcelos, and Makoto Kubo

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:27.155720Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf77b723-3a74-49ec-b069-2913cc12e3ae · outbound

This paper cites an unresolved cited work.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:27.275750Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00443c2a-72b5-4564-9ece-d52e7f4fb32e · outbound

This paper cites an unresolved cited work.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:27.327379Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9752d04-e832-4127-83f6-7515a9208736 · outbound

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

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Le, Hubertus Franke, Hani Jamjoom, Tianyin Xu, and Dan Williams

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:27.385263Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13bf3756-af6e-4608-8513-c3d56945dee1 · outbound

This paper cites an unresolved cited work.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:27.459104Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9598bb80-41b0-4012-bbb0-46d85c9e83b8 · outbound

This paper cites an unresolved cited work.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:27.496969Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a99fc5ac-20dc-4419-93e4-61710655c84d · outbound

This paper cites an unresolved cited work.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:27.605735Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9919c334-bed7-464d-b673-ba1764a853af · outbound

This paper cites an unresolved cited work.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:27.682206Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0f4f53b-38b6-43d4-9baf-c64c234bce47 · outbound

This paper cites an unresolved cited work.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:27.790076Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a4d1a04-6e0d-43ee-b4f4-b8aee6d19a4e · outbound

This paper cites Shiv Kumar, S.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Shiv Kumar, S

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:27.969182Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b24d2ea-003b-41db-b3cd-57e97470fcfa · outbound

This paper cites Strom and Shaula Yemini.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Strom and Shaula Yemini

Reference 20

Resolution: malformed identifier; no resolver link, observed 2026-07-31T23:39:28.109856Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e84d5e8c-42f2-4dc9-9195-cb3257cd37c8 · outbound

This paper cites an unresolved cited work.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:28.188526Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c224717-e34c-4b9e-8e8d-6351f85f0e32 · outbound

This paper cites an unresolved cited work.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:28.402938Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation abfb0be9-48cc-450c-9778-3ff06d8ee19d · outbound

This paper cites an unresolved cited work.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:28.548056Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ddc711b4-47aa-4ecc-8c3a-ebb757e28af2 · outbound

This paper cites an unresolved cited work.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:28.661027Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2db33761-282f-4507-b9bd-848059267472 · outbound

This paper cites ActPlane: Programmable OS-Level Policy Enforcement for Agent Harnesses.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications ActPlane: Programmable OS-Level Policy Enforcement for Agent Harnesses

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:28.761571Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41948f18-eb88-4747-9927-9a25dfcceb3e · outbound

This paper cites an unresolved cited work.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:28.895559Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 109d87aa-ec3b-4b40-b01b-d34dbe9dd72b · outbound

This paper cites an unresolved cited work.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:29.090468Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc937a3f-4e5c-42ff-8514-4985c08bb537 · outbound

This paper cites Wasm-bpf: Streamlining eBPF Deployment in Cloud Environments with WebAssembly.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Wasm-bpf: Streamlining eBPF Deployment in Cloud Environments with WebAssembly

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:29.198901Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e1e4698b-e4a8-4343-bb9a-f7046f97b53c · outbound

This paper cites an unresolved cited work.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:29.261475Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb1b4846-3a57-4a69-9df5-5bb7e6265486 · outbound

This paper cites an unresolved cited work.

KernelScript: Cross-Boundary Typed DSL for eBPF Applications Unresolved cited work

Reference 138

Resolution: unresolved; no resolver link, observed 2026-07-31T23:39:27.221611Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.