{"as_of":"2026-08-10T03:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7d90fc828c9926e8bb98379bd441ae2c1f9bbc58057cbc54120e9807e053aee8","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-09T18:05:20.343282Z","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:d88f8d43e2255ed1bf67b87230dc8a9eab2e217073a67e8dbe418c750fdc8b78","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-09T18:05:20.343282Z","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:ec460b25c6eb7d1a130493dd992c920a070bc1d860ef9a59c4131ab6a28fd4a1","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-09T18:05:20.343282Z","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:c63916af895a01682b2bc6c0da847eb7e7f30050ec3b6f11f0f711fbc3f38d7f","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-09T18:05:20.343282Z","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:ec670ab322613e2bafe573b23087f1aa1eacec45f128a306703681b6d9888acf","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-09T18:05:20.343282Z","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:6adf16f32e9bb91fad8d31039fe7f794719bd5c7ae565685e3a3a33d9cd9842a","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-09T18:05:20.343282Z","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:241d1a08be5c6e64131fedc15889910df677318bc923c6af6cc69b9627c3d296","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-09T18:05:20.343282Z","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:f981e8bf53317c9202bed95f77584c77990a3d180ca09cfbc3ed73640124e25d","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-09T18:05:20.343282Z","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:b8512f6feffc99efa2881258ba63adef8355f52c01e52b94458b470ea5dbd455","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-09T18:05:20.343282Z","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:6cb2fc42d5060ce881f04fef489ba84710a9e3a822f4fe54b9fb1008aa777ba4","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-09T18:05:20.343282Z","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:409dbe6a7d8a4b7b56098e1ca71aefd4deae4d9ad55b1d5d900adbff8ecba466","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-09T18:05:20.343282Z","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:3738c927bb5a37f6fc56e345ea6ae3052c79ea59ab57514a4a61a5f3a87db3e6","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-09T18:05:20.343282Z","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:a5847e28b03c09bae3e1aa9454aa38aa0f6a43fade12df9fcd6134e9b10ace8b","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-09T18:05:20.343282Z","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:cbee33d89553163f3158d775a67a0b640b134c95252a04d9050fa6131ee2bd1f","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-09T18:05:20.343282Z","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:61a2dfda42b2559388bf664169e7a0544ab5adb263bc8ce79f7029b5b465271d","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-09T18:05:20.343282Z","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:11ba7be16dd97aaafc82065bde6de8c3d01fe0be81c0dd64d7a034b079eb37c1","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-09T18:05:20.343282Z","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:79ac29b15c0a41785b3a123eee0b6fe862d666412f4c123374d3e9597967485a","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-09T18:05:20.343282Z","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:3b3c83ffb0d960e0792fb9c97b42084ceeb16e88d15733580f30deae218d3953","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-09T18:05:20.343282Z","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:9a5bcf88a01317f0bc5549e88f4874745d15233b7d0e64affab7f4a17197be54","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-09T18:05:20.343282Z","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:7ba35e16febe9c91d079a4d38cb11a9021de7d42743a9afe387938a91ce8dcf8","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-09T18:05:20.343282Z","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:936a386cf49009401afe1941f6ebf79622408e62dff8e75995132f18acd04ddf","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-09T18:05:20.343282Z","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:02e6c3c7ac1772e5bb52633b68631ce7ea802bf1e1bc6c3ceb93474a528a3f9a","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-09T18:05:20.343282Z","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:baf5e10f7577f5ce38e394171829a8e5385d95974ef0b79d9a479c5b0df68bf0","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-09T18:05:20.343282Z","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:7c991e1d03f8c6e9ea9c80b8ae5b1e7d647abee15de41b280045326ae26e16cb","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-09T18:05:20.343282Z","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:003abdf442d972c357887d66c5001101e43b724bbce265e32910d5c8a9d13885","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-09T18:05:20.343282Z","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:e0d8df55b2c296a9977e5e2744f2e7c6f728dc913d8bca3dd9e835b0ec55332e","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-09T18:05:20.343282Z","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:5897c90afbe9ba34ee4671cd56321701d8407eb348e2a888c753613a960e6312","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-09T18:05:20.343282Z","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:d61096e0e87b41fa06365470605da69a05797fa08a8744315a0c7a14ef328c98","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-09T18:05:20.343282Z","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:93a3b133832638f122c4d6febedcf6f931ff39ee56fabb72a8b44d7c1e8b8cd0","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-09T18:05:20.343282Z","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:52ff1c8bcb72429ea6bb4e0df528010bc952c66e8eb10581aaaa9d4e69739a92","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-09T18:05:20.343282Z","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:bbcd9ca87a1d55f7a543ae54b9ba599a72cd125164a1b8b62597937bcfef7bdf","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-09T18:05:20.343282Z","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:396024d62b00b0d86b31cf27dc34019c877fe7cc98869ea3142648a2ee2e3699","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-09T18:05:20.343282Z","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:3da324b0b4dca9a3e0f667f5584e525ebac650a6218fa0bc664bc08950bdc495","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-09T18:05:20.343282Z","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:cb28cde686ac52e5245fc5f3a0fca20aace473398f73293bb29ed2ff3490c526","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-09T18:05:20.343282Z","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:9e6c1657a303c541875ee0827a94965d1aab2c47f92679e832d02c8d13869409","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-09T18:05:20.343282Z","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:d4dc62b20d2edfb6ecae84f64705a263f7859b87e4f078ed4b4e35e903ae6c16","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-09T18:05:20.343282Z","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:ffe9778dc7ebe39a545994143ca170da5e5fb13d1da70e42b37791c5d19de1d2","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-09T18:05:20.343282Z","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:138e1079a79a63c70029dc4ff95a200be4c5aaca0d16865e912c5619a310cecd","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-09T18:05:20.343282Z","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:e0d3aab6032583bc38a7572c999382ae17b10ebf2b5c9459ab4513615c695d92","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-09T18:05:20.343282Z","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:379041f6bbbc9140dce6bf6f0668356fd66a24b50b600e8227bfba01e6375044","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-09T18:05:20.343282Z","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:1b5e8eaebdbe72e50cec417256d3a8cb834c5b5e29b0d877321b0917245923d5","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-09T18:05:20.343282Z","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 10 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 0 inbound Pith citation observations for arXiv:2607.15762."}