{"as_of":"2026-08-09T09:06:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5731ea76f50f12bb6a45230e47a1241d96bf1ad5dd55563670ec15125e85412d","coverage":[{"denominator":40,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":40,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T22:26:31.442582Z","state":"measured"},{"denominator":40,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":40,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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/2607.15762/citation-record","integrity":"/paper/2607.15762/integrity","json":"/paper/2607.15762/citation-record.json","paper":"/paper/2607.15762"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:26:27.643581Z","title":"A Survey of Compiler Testing,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:27.643581Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:07577d0f0de26ad9c19606a13a4237c461613478201d7392d0621ad00c77e9cb","observation_id":"9a3a9aac-1a6a-4e05-a9c2-c9d71fc2cd46","resolution":{"observed_at":"2026-08-01T22:26:27.643581Z","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-01T22:26:27.712850Z","title":"Finding and understanding bugs in C compilers,","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:27.712850Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:6b378015a24fb52a75ee256cfb0d20f0f3c1ea3d6daf918fe972ecb2cd71abe8","observation_id":"1f2bef23-270c-457d-a295-5f5df37befb3","resolution":{"observed_at":"2026-08-01T22:26:27.712850Z","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-01T22:26:27.790000Z","title":"CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:27.790000Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:d0fcb09f9250880f6080114a8d1a3dbfa7894234ee8e4c1de27602df8ff7569c","observation_id":"6dbf73c0-30cb-493a-9215-4ce626d03afa","resolution":{"observed_at":"2026-08-01T22:26:27.790000Z","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-01T22:26:27.873417Z","title":"Random testing for C and C++ compilers with Y ARPGen,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:27.873417Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:521a3093a312fc996a1f3c062ee42fa67a27d921f13f29ee186fa6a27eeb2efd","observation_id":"6a220f3e-3ff3-4e6d-aa8e-420816ad9c73","resolution":{"observed_at":"2026-08-01T22:26:27.873417Z","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-01T22:26:27.930090Z","title":"Fuzzing with code fragments,","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:27.930090Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:b875c3e371d33100d32f7dbec1f3d0b1dd9bb80d6474be654202aac958db3711","observation_id":"bc9437da-5dd9-4e9d-8974-f427b79edb39","resolution":{"observed_at":"2026-08-01T22:26:27.930090Z","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-01T22:26:27.998535Z","title":"Compiler validation via equivalence modulo inputs,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:27.998535Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:fab63029ee99732a6fee22c303b4b0d3f7d3a1eb773c7f0e80bd7ac40d2f0d87","observation_id":"52d6798a-02cb-43bc-a160-78ff929a68bb","resolution":{"observed_at":"2026-08-01T22:26:27.998535Z","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-01T22:26:28.169729Z","title":"Finding deep compiler bugs via guided stochastic program mutation,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:28.169729Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:74a6ad5a2bd195ddeb535d7dc331be7966afb95734df6b19d028e12bae1064b2","observation_id":"1c506c26-eff1-4b5b-a711-5add3c71ed28","resolution":{"observed_at":"2026-08-01T22:26:28.169729Z","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-01T22:26:28.260503Z","title":"Boosting Compiler Testing by Injecting Real-World Code,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:28.260503Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:e2c2a93d8c32cc72378e1aada5fa39529b612ee61622223eebce2d79b0cafa1e","observation_id":"bf2c40e8-7090-4e20-a673-48182efc37da","resolution":{"observed_at":"2026-08-01T22:26:28.260503Z","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-01T22:26:28.433135Z","title":"GrayC: Greybox Fuzzing of Compilers and Analysers for C,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:28.433135Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:45d05affa5676a3fd444aa649b403b3ff45ab0f712e0e49469bc6bae1b00c9e7","observation_id":"98bd1fa1-7a9c-4151-b1e5-d9d67762b331","resolution":{"observed_at":"2026-08-01T22:26:28.433135Z","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-01T22:26:28.552803Z","title":"Coverage-guided tensor compiler fuzzing with joint IR-pass mutation,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:28.552803Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:32f92b81247528fc3930ee4a651c1f7aa061e62445ca05800cab5eb56b27386e","observation_id":"1a248522-f1db-4ece-920a-e693dd8a6169","resolution":{"observed_at":"2026-08-01T22:26:28.552803Z","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-01T22:26:28.715403Z","title":"Generating focused random tests using directed swarm testing,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:28.715403Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:719f07cb6304940dfd794df4d1d7d16fa15bfc3b55a41cf46525cbce0d105389","observation_id":"f6f789f8-dd59-45fd-b001-7ef1b43a1025","resolution":{"observed_at":"2026-08-01T22:26:28.715403Z","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-01T22:26:28.917634Z","title":"Fuzz4All: Universal Fuzzing with Large Language Models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:28.917634Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:26b2522e4f630382e5bc633dc1173ef66ceec5746c271a591b99a30999b7298f","observation_id":"ea2b0212-41c7-4fd5-88ee-583d17bb3fcf","resolution":{"observed_at":"2026-08-01T22:26:28.917634Z","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-01T22:26:29.011453Z","title":"WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:29.011453Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:7dbe4fb99e6628a2a491e638fc221fb732ab2b661ca9964c2a408a7bfb58103f","observation_id":"e8f3354e-e6b0-495d-914a-e6769f47e496","resolution":{"observed_at":"2026-08-01T22:26:29.011453Z","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-01T22:26:29.143636Z","title":"LegoFuzz: Interleaving Large Language Models for Compiler Testing,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:29.143636Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:a6c67c424f7a078712b609a8a463fb70b23fdab06cb17340ce0d97457791d28d","observation_id":"350f586c-8aa9-44f8-967e-5fbc0de7a6f6","resolution":{"observed_at":"2026-08-01T22:26:29.143636Z","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-01T22:26:29.247272Z","title":"Optimization-Directed Compiler Fuzzing for Continuous Translation Validation,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:29.247272Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:f5d63540518318767470cddfbf5956b5512fcb8c86394aea81eabb6a23a16231","observation_id":"f691ea40-47f9-4e70-9175-6b062c4862df","resolution":{"observed_at":"2026-08-01T22:26:29.247272Z","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-01T22:26:29.325458Z","title":"Alive: Provably Correct InstCombine Optimizations,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:29.325458Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:e9a5b4672b808b7748a3bbb8f1626ab48f42628847fe88eb04c7e14a012650a7","observation_id":"935cccfb-a00f-459a-bd9a-4ace52dcc0b6","resolution":{"observed_at":"2026-08-01T22:26:29.325458Z","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-01T22:26:29.374858Z","title":"Symbolic execution and program testing,","venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:29.374858Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:5866c696eda50891f961f5a8eba36079edc5d41bf72924b2967717c9f4e65627","observation_id":"0cf7a418-0c19-4b5e-8c48-b8a322c90a0b","resolution":{"observed_at":"2026-08-01T22:26:29.374858Z","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-01T22:26:29.490090Z","title":"GNU Compiler Collection,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:29.490090Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:3cc67229a17fff38ec61a2f630aad4a655f83e40ff35276172cf7cbec86b104e","observation_id":"7a0d9520-6163-4f4c-9ad1-a8ae60f3db70","resolution":{"observed_at":"2026-08-01T22:26:29.490090Z","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-01T22:26:29.536355Z","title":"The LLVM Compiler Infrastructure,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:29.536355Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:729adb22051d489fd1a954e918951a9489b560a6db663b43c8a2550e41345222","observation_id":"008e7c47-b03b-4a78-856f-30ea2f8addf5","resolution":{"observed_at":"2026-08-01T22:26:29.536355Z","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-01T22:26:29.572238Z","title":"gcov—a Test Coverage Program,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:29.572238Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:a7086c88143d7e21fec4f7b08a218f1ab5b3dec732b11202d62829f792e05d94","observation_id":"6971755e-0774-4cef-9827-73cbfe7ab890","resolution":{"observed_at":"2026-08-01T22:26:29.572238Z","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-01T22:26:29.622274Z","title":"Learning Deep Semantics for Test Completion,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:29.622274Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:a876b8335fb2fedf910220ca20d41db73a665fdbfc9bde0894c491bed8ba88e6","observation_id":"db7264e2-6f4e-4114-92dd-c11102df53ab","resolution":{"observed_at":"2026-08-01T22:26:29.622274Z","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-01T22:26:29.671971Z","title":"CodeT5: Identifier- aware Unified Pre-trained Encoder-Decoder Models for Code Under- standing and Generation,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:29.671971Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:37182f212466c07b73cccb68e0554cfe5210a594149862d06a5ce1a8642e3ffb","observation_id":"bf3f992d-3b02-46ef-b0d1-da449213bc13","resolution":{"observed_at":"2026-08-01T22:26:29.671971Z","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-01T22:26:29.739260Z","title":"TestPilot,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:29.739260Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:0bf182e1d812bab619082fffa000c20e3669210513bd0a81145d4b1b0fee9142","observation_id":"c84dc5b4-7df8-4748-9610-f7bf44aeadb0","resolution":{"observed_at":"2026-08-01T22:26:29.739260Z","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-01T22:26:29.839455Z","title":"Introducing Codex,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:29.839455Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:20f6d28d3e2f7bc1b800fddfc127389d52f119b26346a076d7bd3963e4907a8f","observation_id":"401d17c3-79dd-43a6-b0ad-62619fe39476","resolution":{"observed_at":"2026-08-01T22:26:29.839455Z","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-01T22:26:29.916940Z","title":"Effective test generation using pre-trained Large Language Models and mutation testing,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:29.916940Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:894d2090ebd1ee24ce77f90bf0c8837ea4937930608c91e485e070b9711ee165","observation_id":"a7d2c6a6-79af-4df6-ab6f-9b3167cc4b8d","resolution":{"observed_at":"2026-08-01T22:26:29.916940Z","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-01T22:26:29.962206Z","title":"ChatUniTest: A Framework for LLM-Based Test Generation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:29.962206Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:71e108c5d9653e24a2cf13e47c0241756838c13f4e2837ade05c87f549f5706f","observation_id":"500dfbe8-74f5-4e50-9766-6ad0b788d05b","resolution":{"observed_at":"2026-08-01T22:26:29.962206Z","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-01T22:26:30.018560Z","title":"ChatGPT,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:30.018560Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:e22c73a57445173d58afa64d143c7bc775f579f451898934a561a1894adaae8e","observation_id":"eb06b986-a5e0-42ea-83ec-881591ce635e","resolution":{"observed_at":"2026-08-01T22:26:30.018560Z","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-01T22:26:30.078024Z","title":"CodaMosa: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:30.078024Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:cdb71b51ad555db76651034d6f3e9c058d801e41ad2f0fdceb9cda858901e87d","observation_id":"3cc407ec-96d2-4f63-9fbc-5a7fa535a325","resolution":{"observed_at":"2026-08-01T22:26:30.078024Z","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-01T22:26:30.176415Z","title":"ChatGPT vs SBST: A Compar- ative Assessment of Unit Test Suite Generation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:30.176415Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:8a4673cb0615c74a331991edf5a30983c2c08f315c9740355f208eac2cd0b1d9","observation_id":"83b292fa-4e19-4792-a994-cae277c944db","resolution":{"observed_at":"2026-08-01T22:26:30.176415Z","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-01T22:26:30.251028Z","title":"CoverUp: Effective High Coverage Test Generation for Python,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:30.251028Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:7d65a08ff08b31fad901d142bc08f7251982a897aef5c1b54fd488ad3d50d385","observation_id":"7f1d93d7-6e71-4c8b-802f-b8c13407a197","resolution":{"observed_at":"2026-08-01T22:26:30.251028Z","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-01T22:26:30.350203Z","title":"Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:30.350203Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:2979b0ea9a0bfa4e61b784f9d76286fc328f227dd5a0981bb000dbab07b8defb","observation_id":"946e381a-dcba-463e-9ded-dd6ed2ddfa64","resolution":{"observed_at":"2026-08-01T22:26:30.350203Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2304.02014","last_updated":"2023-04-04T17:59:52Z","snapshot_observed_at":"2026-07-06T15:12:14.729772Z","submitted_at":"2023-04-04T17:59:52Z","title":"Large Language Models are Edge-Case Fuzzers: Testing Deep Learning Libraries via FuzzGPT","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.02014","snapshot_observed_at":"2026-08-01T22:26:30.437114Z","title":"Large Language Models are Edge-Case Fuzzers: Testing Deep Learning Libraries via FuzzGPT,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:30.437114Z"},"links":{"cited_paper":"/paper/2304.02014","citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:aab5c6b215c0d26bbc4fcaa7b30a38ccd486173ec3a4bd32933f95663df98d03","observation_id":"2681f208-a38d-4d07-af4b-6c672ebd3556","resolution":{"observed_at":"2026-08-01T22:26:30.437114Z","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-01T22:26:30.541137Z","title":"SMT Solver Validation Empowered by Large Pre-Trained Language Models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:30.541137Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:2f7790322655d78a4fac0d277e4ec1ecd4f681af84304aa7448e914753e27650","observation_id":"9ac39062-7c35-46ab-bbd7-80b6343e643f","resolution":{"observed_at":"2026-08-01T22:26:30.541137Z","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-01T22:26:30.700659Z","title":"Towards understanding the effectiveness of large language models on directed test input generation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:30.700659Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:bb1b2b356d2c7e80a1369cb9af3f2f6795dcc39948d6425519f24dc05c4c501e","observation_id":"8c781128-1af0-4062-8144-71d072e28262","resolution":{"observed_at":"2026-08-01T22:26:30.700659Z","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-01T22:26:30.868356Z","title":"Compiler Auto-Tuning via Critical Flag Selec- tion,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:30.868356Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:89aa73c155eaa84b9ccbab58c303e4b61ffef5574dc25e78d1294515e9f01e74","observation_id":"96c8ad55-5c17-4121-a796-64deeeccd7c8","resolution":{"observed_at":"2026-08-01T22:26:30.868356Z","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-01T22:26:30.981668Z","title":"Compiler Autotuning through Multiple- phase Learning,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:30.981668Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:9899bc14390b5535688d27c99b9dc0c52322f572bdf6cea22e5b5bfb6632d7e0","observation_id":"0a3cde36-6dac-4815-ba83-3219429b7b9d","resolution":{"observed_at":"2026-08-01T22:26:30.981668Z","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-01T22:26:31.126482Z","title":"PDCAT: Preference-Driven Compiler Auto-tuning,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:31.126482Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:e67a08969c707bca50d8194a1e4456266fb6d7b3ad4b61a26d9ed15d437f0082","observation_id":"674fe826-358c-44cb-9c64-5713134b7316","resolution":{"observed_at":"2026-08-01T22:26:31.126482Z","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-01T22:26:31.244291Z","title":"The Saturation Effect in Fuzzing,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:31.244291Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:bba3f5683fa9a5c5daa56f00f4e5e6af66ce0e62740f3a5f7cf5b17810abf0ad","observation_id":"0b010ffb-fb2b-4835-b748-f6d533f8c579","resolution":{"observed_at":"2026-08-01T22:26:31.244291Z","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-01T22:26:31.350453Z","title":"Boosting Fuzzer Efficiency: An Information Theoretic Perspective,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:31.350453Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:6932c60811997ebf6039d9f8364861190ce6cc7b92a7c14dbd9e39633f4ca999","observation_id":"d7e401fe-3557-492f-aa79-a0802168634a","resolution":{"observed_at":"2026-08-01T22:26:31.350453Z","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.21103572","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:28:24.869111Z","title":"GapSmith Repository,","venue":null,"work_id":"9c9ae9e0-eca1-40a8-bfae-1efd3a417048","year":2026},"citing_paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-01T22:26:31.442582Z"},"links":{"citing_paper":"/paper/2607.15762"},"observation_digest":"sha256:01068b330404d3156062fcaec90fcc2c8508d24a013e5fdc67ec154b7b482aed","observation_id":"62d9cc78-d7e4-4208-8a74-3580f9724ee8","resolution":{"observed_at":"2026-08-01T22:28:24.954818Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.15762","last_updated":"2026-07-17T08:53:19Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-03T08:20:20.510181Z","submitted_at":"2026-07-17T08:53:19Z","title":"GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis"},"reference_resolution":{"displayed":40,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":39,"verified_exact":1,"verified_fuzzy":0},"total_outbound_references":40},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 0 inbound Pith citation observations for arXiv:2607.15762."}