{"as_of":"2026-08-13T12:17:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:bb4322317a15daaa52bb9ab459003596ed59051ce179401c751e87d6f418c914","coverage":[{"denominator":52,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":52,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T16:52:03.088609Z","state":"measured"},{"denominator":52,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":52,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+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/2411.13220/citation-record","integrity":"/paper/2411.13220/integrity","json":"/paper/2411.13220/citation-record.json","paper":"/paper/2411.13220"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.jlap.2007.10.007","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:52:03.309682Z","title":null,"venue":null,"work_id":"700c7336-48ec-44ce-a374-03205a377dc6","year":2008},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.866215Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:690f62522c9217e4cb75be0671466fa4b6c2ce225e095489bd06d46d1ff28fb0","observation_id":"4745c2ac-524c-4606-a642-8677f6e6fdae","resolution":{"observed_at":"2026-08-12T16:52:03.314259Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:52:02.871602Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.871602Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:d6930e216efa8b0c184a0cc44ddae0d5d1ba515fbb3aab1caacdb5a9eb04bc7e","observation_id":"63f4e905-c9fb-4d87-9366-7ebd1c2f4535","resolution":{"observed_at":"2026-08-12T16:52:02.871602Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:52:05.020871Z","title":null,"venue":null,"work_id":"b8c978b0-b8ca-440f-9462-b0e18645c7ef","year":2001},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.876142Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:61129be28d099c422b8a8a88ae06433588bc44b3567d2cb701f75d96c9cecc89","observation_id":"3d5204b5-c37d-4d1b-a346-c9818a5263c1","resolution":{"observed_at":"2026-08-12T16:52:05.025301Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:52:05.006840Z","title":null,"venue":null,"work_id":"935cd991-1a3c-4826-8227-5ccd570f0ddd","year":2024},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.880865Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:865ea36b9e6fd56be318fad105b94170e703d2102b1bb01d9892402530fc9fb0","observation_id":"bdba7ff6-983e-4ac7-a6b4-2796551e19b0","resolution":{"observed_at":"2026-08-12T16:52:05.011306Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2022.10260","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:52:04.760037Z","title":null,"venue":null,"work_id":"aa2c1079-af8c-4710-aa70-761bb544769b","year":2022},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.885506Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:68709568248f5d9fc06adfe1fe1c5cb144cd51ef66d8182fdec0e30cc97476b0","observation_id":"6b859076-ed57-4f89-882f-c297cc8cfab5","resolution":{"observed_at":"2026-08-12T16:52:04.767048Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:52:02.890012Z","title":"Millstein, and Sriram K","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.890012Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:380b47e0f59a570f05b693f73f715483b341a06313495f357d7a6e5b093291ea","observation_id":"8492c712-cc99-4723-a481-a0fa742c77d7","resolution":{"observed_at":"2026-08-12T16:52:02.890012Z","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-12T16:52:02.894826Z","title":null,"venue":null,"work_id":null,"year":1966},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.894826Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:8c37055baedcb0de3fbbad448e0d81a61d66eddce9f759ffa333b21288281c80","observation_id":"655de8f0-34ae-4829-988f-90af4fbb4cb7","resolution":{"observed_at":"2026-08-12T16:52:02.894826Z","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-12T16:52:02.899252Z","title":"Brzozowski","venue":null,"work_id":null,"year":1964},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.899252Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:fd1e2bf99a76c439dc4d33e35eeb750b00442d7d4f2cb07cc240fa90f53e7195","observation_id":"9592177f-f394-498f-b778-8193692a37ef","resolution":{"observed_at":"2026-08-12T16:52:02.899252Z","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-12T16:52:02.903580Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.903580Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:d2efc8ec8aecc8dbb75667926004027f18a399e98581054790bea646b1db62c2","observation_id":"de77b154-6b28-476b-8083-cb3d2ae00dec","resolution":{"observed_at":"2026-08-12T16:52:02.903580Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:52:04.992703Z","title":null,"venue":null,"work_id":"81e63024-a993-466b-ade5-f3a9655223c8","year":2002},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.907891Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:9b8dd2d88af42ef046b7bc9e33833a568a503725433dde3e13e8d76b9f6d503c","observation_id":"b6bfccbc-fa73-400e-b328-d2ca7a910c4a","resolution":{"observed_at":"2026-08-12T16:52:04.997109Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:52:02.912379Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.912379Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:b734b2e5a89da27f657e393b00dd2dd92efc2bafa717e3253dcebfdc8b1b5fb8","observation_id":"61e7ada7-abcc-42be-bce5-852410cc8afe","resolution":{"observed_at":"2026-08-12T16:52:02.912379Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:52:04.978530Z","title":null,"venue":null,"work_id":"9ae1d3e0-45aa-4704-9252-335382d31252","year":1994},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.917215Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:1248aafc4c681aa6d57401e7a968c8dfa84b67bdd9ec2d6588f4da186bcece3a","observation_id":"04e2319c-46cf-4ba6-b663-b3ca0e82a9f3","resolution":{"observed_at":"2026-08-12T16:52:04.982878Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:52:04.964253Z","title":null,"venue":null,"work_id":"91ca6865-cbc0-4bce-a710-99d46c41a64a","year":1996},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.921501Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:f296921651f84cdb7fd8c7c8eff67880a22d9f98448abbf2280d054fa3f25a35","observation_id":"8b7564a7-52b0-4ec1-8af4-82bbeedc5a43","resolution":{"observed_at":"2026-08-12T16:52:04.968835Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:52:04.949682Z","title":null,"venue":null,"work_id":"ae68398e-2772-4818-af7a-8e98e605743b","year":2022},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.926044Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:602796c3488666b2e589545bf0401d6aefb395945f15643a4bf49450fded4e7c","observation_id":"84ab57d8-6d01-48f7-a7b1-b1a338c8344b","resolution":{"observed_at":"2026-08-12T16:52:04.954408Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:52:02.930291Z","title":"Adve, and Christopher W","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.930291Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:8f58121e2fad9f10870651c8be9b6837dfdb793e7d9a0cecc0891db3960cb892","observation_id":"d252ff3e-f2fc-471b-b683-f583fc965314","resolution":{"observed_at":"2026-08-12T16:52:02.930291Z","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-12T16:52:02.934462Z","title":"Erosa and Laurie J","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.934462Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:e07cb841269e9de80da829facb7adf8c1871e9021e9ed755427a754911808d48","observation_id":"84ed479a-d212-4a6f-bcf4-2aa2ca6a14b5","resolution":{"observed_at":"2026-08-12T16:52:02.934462Z","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":"10.1007/978-3-642-19805-2_25","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"5102bcc8-b5f3-40b4-9348-1349eb935733","year":2011},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.938925Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:eca6fb4f760dc84254a6414cf4887dc7e9bca46aaa6f7725db41d7c0535e8992","observation_id":"90a19fb2-ae50-4643-9715-8fdec93fcc7f","resolution":{"observed_at":"2026-08-12T16:52:03.290351Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.entcs.2005.01.030","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:52:03.270290Z","title":"Zuck, and Clark W","venue":null,"work_id":"e850bd39-e362-44e9-b9b3-35fd414cb94c","year":2004},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.943321Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:056371754763e116ec1665c68546b57c3b4cd58b93c89711b1e7b91bcf9b0192","observation_id":"19f7c723-4818-4d2b-b89d-fc37a76de725","resolution":{"observed_at":"2026-08-12T16:52:03.275245Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:52:02.947569Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.947569Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:1c0c7d90d46b5441b2c75110eecce79bd28e7175a9e3b4707a833f6f13056e8d","observation_id":"88336142-64ae-407f-8278-ba82b4829cac","resolution":{"observed_at":"2026-08-12T16:52:02.947569Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:52:04.935592Z","title":null,"venue":null,"work_id":"5e544369-c520-4688-862a-86c7d93d811e","year":2021},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.951739Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:df678621b73f4ff0038049e006eac5a342882cabedb3c1e8aeac82b2b65b5f4c","observation_id":"818dc4d0-89a6-4ab6-939b-d4a77ae92072","resolution":{"observed_at":"2026-08-12T16:52:04.940264Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:52:02.956140Z","title":"Adve, and Grigore Rosu","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.956140Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:3c55244a454cb76112ff142021347c4958ac7f26f3429ec1e972bb678381c75a","observation_id":"21e61c39-fcc2-4f43-bede-fcf589053596","resolution":{"observed_at":"2026-08-12T16:52:02.956140Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:52:04.920286Z","title":null,"venue":null,"work_id":"d5809c12-134c-4d2f-93a9-0e7074b694ca","year":1996},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.960328Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:f8e13d6b110069d356a00a63671553072de4e017b0d8b6d7a39202eede0c5062","observation_id":"f9c9a5b0-6e88-4657-b55b-3662006b3902","resolution":{"observed_at":"2026-08-12T16:52:04.925508Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:52:04.904648Z","title":null,"venue":null,"work_id":"252f7b46-4a90-447b-93ee-ce9e1dfd2689","year":2008},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.964665Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:c8aae51519ff1fc5a37a6216a1d323ddf876d50899ae273cf6077fef7eba2246","observation_id":"eade775c-3ce9-44b3-ac7e-8ee124cf4344","resolution":{"observed_at":"2026-08-12T16:52:04.909376Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-662-47666-6_23","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"af0ba857-36ae-48a9-907e-9e5d1c238101","year":2015},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.968925Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:57bbd7813ebb02d7a48c9973a295174f593fa27e43cee6621cfad66f9b15d813","observation_id":"7d1b2531-8220-496d-aa6f-d34ca2901390","resolution":{"observed_at":"2026-08-12T16:52:03.259877Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.jlamp.2017.06.002","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:52:03.240598Z","title":null,"venue":null,"work_id":"0beab078-6991-443d-bcc6-9d0647d3534c","year":2017},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.973167Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:ef32f823af5db0a160a51335043aafbe22899b4c20d8dc8155380cd5bdcac1b3","observation_id":"f74d3e4b-e341-4c41-b49b-48dcb0aa2040","resolution":{"observed_at":"2026-08-12T16:52:03.245198Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:52:02.977496Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.977496Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:a731452faa8448abd7af018ee4d1ce813cdce559e6bd2b6684232d12740aeedb","observation_id":"a27ba0f3-c7d3-4971-b883-bcad9bf78058","resolution":{"observed_at":"2026-08-12T16:52:02.977496Z","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-12T16:52:02.981741Z","title":null,"venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.981741Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:801fb2237d69aaa6ce144591c7460dd9ea1aba28d8e683db6ee14bda2a8e8d2b","observation_id":"f97708b0-ab0a-4ff1-990a-dfb534851d57","resolution":{"observed_at":"2026-08-12T16:52:02.981741Z","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-12T16:52:02.986258Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.986258Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:8616b5037c7a85fe618a41805a02296e5787b9ed6469909e677727cbcde139af","observation_id":"91b73fce-e2fc-4cd4-8c75-c296cf7d4d14","resolution":{"observed_at":"2026-08-12T16:52:02.986258Z","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-12T16:52:02.990491Z","title":"Kuznetsov","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.990491Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:ea08ac82f412e6645e3bd0db0cfc60de83cdbda909fbd48a2bc538ee20558696","observation_id":"297beb31-aa4a-4a36-b130-d896e62952aa","resolution":{"observed_at":"2026-08-12T16:52:02.990491Z","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-12T16:52:02.994782Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.994782Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:86f3b492e5cbd46b1b15cceace2ad3a5672c7d32336c661693a41069b366b67b","observation_id":"fd638d92-35b1-4eaa-adf9-18ffe480bd83","resolution":{"observed_at":"2026-08-12T16:52:02.994782Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:52:04.890451Z","title":null,"venue":null,"work_id":"f0d375dc-ce3b-474d-89f1-9e633400ac4b","year":2016},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:02.998769Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:8fc4b370c26d0a7b2f4c796e7e6432fbef42651b2762914c209ff18701b39b1a","observation_id":"7907f3f9-fba1-4168-896f-177d4d49269b","resolution":{"observed_at":"2026-08-12T16:52:04.895020Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:52:03.002794Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:03.002794Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:10f18bd1db1df7fce33e9fc452749fef829d2946d928c3a73a622b703058a05a","observation_id":"b59a5fb9-2511-4d26-8272-d290f8b80139","resolution":{"observed_at":"2026-08-12T16:52:03.002794Z","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-12T16:52:03.006920Z","title":null,"venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:03.006920Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:36510df3a52c53ff3faebed67dea0ed94b04b2f955cd24888e07169c506e72d3","observation_id":"16e3ff3b-afeb-4904-9384-01beb8957051","resolution":{"observed_at":"2026-08-12T16:52:03.006920Z","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-12T16:52:03.011052Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:03.011052Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:fca18a00028136b5b3911c29ac567576befa674a7620238d20d72829ea7d8ecc","observation_id":"82b3cd45-fed9-44a8-b5cd-75e470b375dc","resolution":{"observed_at":"2026-08-12T16:52:03.011052Z","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-12T16:52:03.015316Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:03.015316Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:f6d59c3bc5bccba899c8d92833e74c11f73351c1d3d5e0fa02474e766df6b358","observation_id":"a28d095a-9fdf-4608-a84b-1d30b64aa7fa","resolution":{"observed_at":"2026-08-12T16:52:03.015316Z","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-12T16:52:03.019814Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:03.019814Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:8de27ae6cc85a6f381cdfc14828821b380b844b779dabe220e5d9a37704de8b0","observation_id":"60592d93-9d24-4abf-919d-f88752fbcf70","resolution":{"observed_at":"2026-08-12T16:52:03.019814Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:52:04.875979Z","title":null,"venue":null,"work_id":"ddddbedf-ee94-4cee-9c15-be95b5c2961c","year":1998},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:03.023971Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:0c55c05af94dadfe39bd1ea9ef07df9d485e96e2f35701a7767021cf806591ee","observation_id":"c4da7ece-1708-4642-866c-99759dfa5b7a","resolution":{"observed_at":"2026-08-12T16:52:04.880760Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:52:03.028297Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:03.028297Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:6e265fce10a13ba49159828d441efd876b1c4273654e59ff94d767c223466815","observation_id":"16a9cafb-e993-492a-ab16-45df75c4b3ad","resolution":{"observed_at":"2026-08-12T16:52:03.028297Z","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-12T16:52:03.032498Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:03.032498Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:e8accfae41b5140fd8a26317830f311b7fb36e21793e1043bee706ae6d6d344a","observation_id":"2e5e3877-027c-4939-a965-8f0e3d91b309","resolution":{"observed_at":"2026-08-12T16:52:03.032498Z","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-12T16:52:03.036789Z","title":"Myreen, and Gerwin Klein","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:03.036789Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:71b4a0f799b93af7071d18f647566572684bfafb37d83a2565acf77c8c79dbf1","observation_id":"16f01e1d-1407-474f-b0c4-b77e44e1886d","resolution":{"observed_at":"2026-08-12T16:52:03.036789Z","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-12T16:52:03.040943Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:03.040943Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:183d11d5093f5362bcf9d47353a0025c3b15da08597664fed71d60ee8cc9dc8c","observation_id":"11510d8a-b400-4f45-8cd6-43068c267779","resolution":{"observed_at":"2026-08-12T16:52:03.040943Z","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-12T16:52:03.045276Z","title":"Myreen, Ramana Kumar, Anthony C","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:03.045276Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:67dfdb3a06faa837c322864841b3e252abdb9b5adbf8c28fe44a8ea5c9ab193c","observation_id":"38151445-d3ec-4a3c-bbb3-42cc2a75de0b","resolution":{"observed_at":"2026-08-12T16:52:03.045276Z","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-12T16:52:03.049388Z","title":null,"venue":null,"work_id":null,"year":1975},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:03.049388Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:26e880911b0c191ac5b6a51c128748c970746f5fa315b524c400a3c851a19e99","observation_id":"106bce6e-0b2f-465b-8e56-0d1997eaa5d5","resolution":{"observed_at":"2026-08-12T16:52:03.049388Z","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-12T16:52:03.053845Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:03.053845Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:c53b23b1145abc7fe296b8e2fe5a5fa467a50e619f3a223d6c24f604165ee54f","observation_id":"ea4bac16-583e-4bc6-a183-4c798dd88a4c","resolution":{"observed_at":"2026-08-12T16:52:03.053845Z","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-12T16:52:03.058366Z","title":null,"venue":null,"work_id":null,"year":1968},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:03.058366Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:e880fc859ab1ff12664093ae7f9e485577238aff2ae63cd540d50b27f3e252af","observation_id":"2bbfc4e7-859d-425a-9cae-87dae74b8b78","resolution":{"observed_at":"2026-08-12T16:52:03.058366Z","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-12T16:52:03.062693Z","title":"Bockenek, Zhoulai Fu, and Binoy Ravindran","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:03.062693Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:eb8e3cc196bff91fc84ed4325712d593b07d0295f085499fc7296abe217342de","observation_id":"ff39103c-fb01-4afd-b78b-0636fd7fc386","resolution":{"observed_at":"2026-08-12T16:52:03.062693Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:52:04.861522Z","title":null,"venue":null,"work_id":"b3fd691d-eb34-42a1-b8f8-74c61a64adba","year":2024},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:03.066805Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:1d0aa103d358681aa863f7fd95b849c75dc8eee3530dcfe30c51987265ad555b","observation_id":"fffb5f86-a138-43aa-8558-8ce2e302ec46","resolution":{"observed_at":"2026-08-12T16:52:04.866260Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-58768-0_14","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"8ef6006f-8364-447c-b289-0c125ae5e120","year":2020},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:03.070935Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:65c0a70a0eade39796455f0ee38b507c5d9c87335fea9f92a21e58d69a6d27e6","observation_id":"accb2a83-3bd7-43e1-8a6b-4a13016177c2","resolution":{"observed_at":"2026-08-12T16:52:03.154005Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:52:04.847229Z","title":null,"venue":null,"work_id":"5ee9304f-53ca-434c-979b-dc7791ee51e1","year":2015},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:03.075282Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:f27bfd5f9a801923b2a7a306def360e0d4c8daa13a2cdca12f1dccab02d28c9e","observation_id":"d9fb093e-741f-4d8f-8ae6-f245b4371d78","resolution":{"observed_at":"2026-08-12T16:52:04.851899Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:52:03.079477Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:03.079477Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:3dc2d8c7b120e3abe9e182632d257589f76df6b84606c115b515f1bf127fd252","observation_id":"edd58a15-85c6-46ce-a777-bdcac07f17fc","resolution":{"observed_at":"2026-08-12T16:52:03.079477Z","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":"10.5281/zenodo.13938565","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:52:03.134765Z","title":"Narvaéz, and Nico Naus","venue":null,"work_id":"8396209a-9db1-4894-8e54-5d416b403f5f","year":2024},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:03.083724Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:1d8bc573cddd759cd5e01e86629257f55ba837fd1402fa077d7c55c1b6484627","observation_id":"392b993f-511b-4f28-a3de-7746f4cbd142","resolution":{"observed_at":"2026-08-12T16:52:03.139395Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-72344-0_3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"86d46021-adec-453c-9b66-e20741114618","year":2018},"citing_paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-12T16:52:03.088609Z"},"links":{"citing_paper":"/paper/2411.13220"},"observation_digest":"sha256:d582405a71b55a6baa3d738861b1d84a8d3ff787040a3ca6893f133fc66a8367","observation_id":"c093b2cd-dfd4-43c2-8a16-7c578efd1f74","resolution":{"observed_at":"2026-08-12T16:52:03.124334Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.13220","last_updated":"2025-01-16T16:17:00Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-12T16:39:00.568315Z","submitted_at":"2024-11-20T11:28:23Z","title":"CF-GKAT: Efficient Validation of Control-Flow Transformations"},"reference_resolution":{"displayed":52,"state_counts":{"malformed_identifier":1,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":42,"verified_exact":8,"verified_fuzzy":0},"total_outbound_references":52},"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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"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."}