Paper Citation Record · LEDGER

CF-GKAT: Efficient Validation of Control-Flow Transformations

As of 13 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2411.13220.

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

pith.paper-citation-record.v1
2411.13220 v2

Coverage vector

measured 52 of 52 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T16:52:03.088609Z

measured 52 of 52 standing notices

One-hop event checks from named stored sources.

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

52 of 52 outbound references displayed

verified exact8
verified fuzzy0
unresolved42
parse uncertain0
malformed identifier1
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4745c2ac-524c-4606-a642-8677f6e6fdae · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 1

Resolution: verified exact; doi, observed 2026-08-12T16:52:03.314259Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 63f4e905-c9fb-4d87-9366-7ebd1c2f4535 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:02.871602Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d5204b5-c37d-4d1b-a346-c9818a5263c1 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:52:05.025301Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation bdba7ff6-983e-4ac7-a6b4-2796551e19b0 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:52:05.011306Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 6b859076-ed57-4f89-882f-c297cc8cfab5 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 5

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T16:52:04.767048Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 8492c712-cc99-4723-a481-a0fa742c77d7 · outbound

This paper cites Millstein, and Sriram K.

CF-GKAT: Efficient Validation of Control-Flow Transformations Millstein, and Sriram K

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:02.890012Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 655de8f0-34ae-4829-988f-90af4fbb4cb7 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:02.894826Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9592177f-f394-498f-b778-8193692a37ef · outbound

This paper cites Brzozowski.

CF-GKAT: Efficient Validation of Control-Flow Transformations Brzozowski

Reference 8

Resolution: malformed identifier; no resolver link, observed 2026-08-12T16:52:02.899252Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de77b154-6b28-476b-8083-cb3d2ae00dec · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:02.903580Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6bfccbc-fa73-400e-b328-d2ca7a910c4a · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:52:04.997109Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 61e7ada7-abcc-42be-bce5-852410cc8afe · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:02.912379Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04e2319c-46cf-4ba6-b663-b3ca0e82a9f3 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:52:04.982878Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 8b7564a7-52b0-4ec1-8af4-82bbeedc5a43 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:52:04.968835Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 84ab57d8-6d01-48f7-a7b1-b1a338c8344b · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:52:04.954408Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d252ff3e-f2fc-471b-b683-f583fc965314 · outbound

This paper cites Adve, and Christopher W.

CF-GKAT: Efficient Validation of Control-Flow Transformations Adve, and Christopher W

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:02.930291Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84ed479a-d212-4a6f-bcf4-2aa2ca6a14b5 · outbound

This paper cites Erosa and Laurie J.

CF-GKAT: Efficient Validation of Control-Flow Transformations Erosa and Laurie J

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:02.934462Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 90a19fb2-ae50-4643-9715-8fdec93fcc7f · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 17

Resolution: verified exact; doi, observed 2026-08-12T16:52:03.290351Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 19f7c723-4818-4d2b-b89d-fc37a76de725 · outbound

This paper cites Zuck, and Clark W.

CF-GKAT: Efficient Validation of Control-Flow Transformations Zuck, and Clark W

Reference 18

Resolution: verified exact; doi, observed 2026-08-12T16:52:03.275245Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 88336142-64ae-407f-8278-ba82b4829cac · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:02.947569Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 818dc4d0-89a6-4ab6-939b-d4a77ae92072 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:52:04.940264Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 21e61c39-fcc2-4f43-bede-fcf589053596 · outbound

This paper cites Adve, and Grigore Rosu.

CF-GKAT: Efficient Validation of Control-Flow Transformations Adve, and Grigore Rosu

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:02.956140Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9c9a5b0-6e88-4657-b55b-3662006b3902 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:52:04.925508Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation eade775c-3ce9-44b3-ac7e-8ee124cf4344 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:52:04.909376Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 7d1b2531-8220-496d-aa6f-d34ca2901390 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 24

Resolution: verified exact; doi, observed 2026-08-12T16:52:03.259877Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation f74d3e4b-e341-4c41-b49b-48dcb0aa2040 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 25

Resolution: verified exact; doi, observed 2026-08-12T16:52:03.245198Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation a27ba0f3-c7d3-4971-b883-bcad9bf78058 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:02.977496Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f97708b0-ab0a-4ff1-990a-dfb534851d57 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:02.981741Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91b73fce-e2fc-4cd4-8c75-c296cf7d4d14 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:02.986258Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 297beb31-aa4a-4a36-b130-d896e62952aa · outbound

This paper cites Kuznetsov.

CF-GKAT: Efficient Validation of Control-Flow Transformations Kuznetsov

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:02.990491Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd638d92-35b1-4eaa-adf9-18ffe480bd83 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:02.994782Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7907f3f9-fba1-4168-896f-177d4d49269b · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:52:04.895020Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation b59a5fb9-2511-4d26-8272-d290f8b80139 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:03.002794Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16e3ff3b-afeb-4904-9384-01beb8957051 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:03.006920Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82b3cd45-fed9-44a8-b5cd-75e470b375dc · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:03.011052Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a28d095a-9fdf-4608-a84b-1d30b64aa7fa · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:03.015316Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60592d93-9d24-4abf-919d-f88752fbcf70 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:03.019814Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4da7ece-1708-4642-866c-99759dfa5b7a · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:52:04.880760Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 16a9cafb-e993-492a-ab16-45df75c4b3ad · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:03.028297Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e5e3877-027c-4939-a965-8f0e3d91b309 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:03.032498Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16f01e1d-1407-474f-b0c4-b77e44e1886d · outbound

This paper cites Myreen, and Gerwin Klein.

CF-GKAT: Efficient Validation of Control-Flow Transformations Myreen, and Gerwin Klein

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:03.036789Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11510d8a-b400-4f45-8cd6-43068c267779 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:03.040943Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38151445-d3ec-4a3c-bbb3-42cc2a75de0b · outbound

This paper cites Myreen, Ramana Kumar, Anthony C.

CF-GKAT: Efficient Validation of Control-Flow Transformations Myreen, Ramana Kumar, Anthony C

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:03.045276Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 106bce6e-0b2f-465b-8e56-0d1997eaa5d5 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:03.049388Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea4bac16-583e-4bc6-a183-4c798dd88a4c · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:03.053845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2bbfc4e7-859d-425a-9cae-87dae74b8b78 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:03.058366Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff39103c-fb01-4afd-b78b-0636fd7fc386 · outbound

This paper cites Bockenek, Zhoulai Fu, and Binoy Ravindran.

CF-GKAT: Efficient Validation of Control-Flow Transformations Bockenek, Zhoulai Fu, and Binoy Ravindran

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:03.062693Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fffb5f86-a138-43aa-8558-8ce2e302ec46 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 47

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:52:04.866260Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation accb2a83-3bd7-43e1-8a6b-4a13016177c2 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 48

Resolution: verified exact; doi, observed 2026-08-12T16:52:03.154005Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d9fb093e-741f-4d8f-8ae6-f245b4371d78 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 49

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:52:04.851899Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation edd58a15-85c6-46ce-a777-bdcac07f17fc · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-12T16:52:03.079477Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 392b993f-511b-4f28-a3de-7746f4cbd142 · outbound

This paper cites Narvaéz, and Nico Naus.

CF-GKAT: Efficient Validation of Control-Flow Transformations Narvaéz, and Nico Naus

Reference 51

Resolution: verified exact; doi, observed 2026-08-12T16:52:03.139395Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation c093b2cd-dfd4-43c2-8a16-7c578efd1f74 · outbound

This paper cites an unresolved cited work.

CF-GKAT: Efficient Validation of Control-Flow Transformations Unresolved cited work

Reference 52

Resolution: verified exact; doi, observed 2026-08-12T16:52:03.124334Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Pith citing papers

No inbound Pith citation observations are available.