{"as_of":"2026-08-08T13:33:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c92963d6912df07f4f18497981b6ab6ca530d26dea136b518c2ec61577bf7426","coverage":[{"denominator":34,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":34,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T10:56:36.019811Z","state":"measured"},{"denominator":35,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":35,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T22:54:38.410503Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-05T22:54:39.388807Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"cited_work":{"arxiv_id":"2506.03909","doi":null,"metadata_source":"pith","pith_arxiv_id":"2506.03909","snapshot_observed_at":"2026-08-05T22:54:39.388807Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","venue":"cs.SE","work_id":"e00cc804-888b-4946-b319-a17fe45ecfc6","year":2025},"citing_paper":{"arxiv_id":"2508.06182","last_updated":"2025-08-08T09:55:54Z","snapshot_observed_at":"2026-08-05T22:54:35.507830Z","submitted_at":"2025-08-08T09:55:54Z","title":"Clinically-guided Data Synthesis for Laryngeal Lesion Detection","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-05T22:54:38.410503Z"},"links":{"cited_paper":"/paper/2506.03909","citing_paper":"/paper/2508.06182"},"observation_digest":"sha256:2797b21db4b3c272536fc4739cbf3f7118b46cb95db6c34e6a22d8ad79d22988","observation_id":"d31ef098-4618-4412-940b-5d30538062f6","resolution":{"observed_at":"2026-08-05T22:54:39.392297Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2506.03909/citation-record","integrity":"/paper/2506.03909/integrity","json":"/paper/2506.03909/citation-record.json","paper":"/paper/2506.03909"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:56:36.542413Z","title":"Challenges and common solutions in smart contract development,","venue":null,"work_id":"273a5ab3-795e-412e-b117-c7c1590e2875","year":2021},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.867627Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:5b8e61eb6fc740605bb60e5fe5abd7819ff91e8390ec9848755c3730ce1ee8e8","observation_id":"5fee3319-2aa1-4305-8ffc-7f1183399d3c","resolution":{"observed_at":"2026-08-07T10:56:36.547446Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.528141Z","title":"Understanding solidity event logging practices in the wild,","venue":null,"work_id":"6c6a6cce-18cb-4303-be68-85d3f82d6e92","year":2023},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.873936Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:6eba58dc22df61b388ef1f6b22339315e49a34a790ed392b5a55dd76c3f34bc6","observation_id":"c94b7439-0c5b-4ff3-ba01-fb2e2124a1de","resolution":{"observed_at":"2026-08-07T10:56:36.532763Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.513212Z","title":null,"venue":null,"work_id":"78ae78ce-faa9-4634-a46e-cd9f84278c8a","year":2018},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.878773Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:6072cecfc1d98dba23fbe463ddd58a7bae0f8f3edf9bd362bf937f27be3cb954","observation_id":"13b71057-0f0c-42e3-9605-39c6bec81014","resolution":{"observed_at":"2026-08-07T10:56:36.518478Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.499518Z","title":"Ethereum: A secure decentralised gener- alised transaction ledger,","venue":null,"work_id":"5f9ef093-1646-4cce-95ad-e3fbbe905fbd","year":2014},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.883344Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:6957bc98417624cc51d884580885718c5c05fe84c5fdf60d0bd2668cc5ddb154","observation_id":"95c7c038-bf6a-45a9-985e-20d3618793cf","resolution":{"observed_at":"2026-08-07T10:56:36.503883Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.485299Z","title":"Use of blockchain-based smart contracts in logistics and supply chains,","venue":null,"work_id":"5e135967-8f42-4f74-bf77-453bf4923da3","year":2023},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.888692Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:5bbe1bc75e234a3572e82dd2bacf42feb7a98a028b0f094d34c3ed10b7f80acc","observation_id":"6fbe04e2-b68c-4e3f-bb5e-39d10fb15a98","resolution":{"observed_at":"2026-08-07T10:56:36.490007Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.471346Z","title":"An empirical study of smart contract decompilers,","venue":null,"work_id":"1659afcf-bbe7-4231-89d9-e7e428252bc6","year":2023},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.893188Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:33ebca71f8f35861b1c442bbcb41e94558661a12103047df42bfe9e882867eb0","observation_id":"bcb9abab-01f5-48b1-b325-ff8d5c68104e","resolution":{"observed_at":"2026-08-07T10:56:36.476007Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.456784Z","title":"Super-optimization of smart con- tracts,","venue":null,"work_id":"8662e598-a6bf-4d52-8508-3310ab44a3ee","year":2022},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.898124Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:07965d220558580344bf2a0f505f535f6433a4bc607feb14d43531de024bf93a","observation_id":"59e0bb4d-2f37-406a-9531-166a4f0c0a85","resolution":{"observed_at":"2026-08-07T10:56:36.461665Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.440150Z","title":"A survey of compiler testing,","venue":null,"work_id":"a19771d5-a7b6-496c-85f4-f78ee4fcea66","year":2020},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.902410Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:7a3419f8e02dca76400a0d75037921e40c65a906150fcab0f3e3885e3f7405f4","observation_id":"4fabc9db-33d9-4a24-a17a-66bfb9eda809","resolution":{"observed_at":"2026-08-07T10:56:36.445507Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.424271Z","title":"Differential testing: a new approach to change detection,","venue":null,"work_id":"e08b2a68-ebc5-4339-93e5-7cadfcf1f7a8","year":2007},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.906701Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:0353f747a17911b34fe9ee53afb4475fe2812db6812477b9b5b653f3f480617a","observation_id":"c627d178-0698-4a22-922a-74677091189b","resolution":{"observed_at":"2026-08-07T10:56:36.429303Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.408268Z","title":"Does the failing test execute a single or multiple faults? an approach to classifying failing tests,","venue":null,"work_id":"fa8665c6-2832-4863-8c82-0c185fdc889a","year":2015},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.911062Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:bf94fde66ea843bf4b0ef4e30008864ddf844f5edd5fb5bca0b76c67a2288037","observation_id":"a35c7a80-21bb-4d71-88d4-11e9e0846415","resolution":{"observed_at":"2026-08-07T10:56:36.414047Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.392820Z","title":"Alleviating patch overfitting with automatic test generation: A study of feasibility and effectiveness for the nopol repair system,","venue":null,"work_id":"6d68f8fb-2ec8-43b0-869f-d73f7634b106","year":2019},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.915485Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:662544367182fdeb104836ed9da2c1886de910e0496b677487049b2beaa1fbd1","observation_id":"ede4aeb2-0874-4ee4-baaa-5e14322ddc63","resolution":{"observed_at":"2026-08-07T10:56:36.398943Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.378405Z","title":"A snowballing literature study on test amplification,","venue":null,"work_id":"82a1ab5d-d1c6-4380-9ebe-859e2cefd17e","year":2019},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.920051Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:41767402225f03f1337a81ea4fb0559354b4385e5c4ab4122c7ce4f47c2d5276","observation_id":"d6c79fa7-d813-4e85-bfb4-a2c6c6aaf512","resolution":{"observed_at":"2026-08-07T10:56:36.383314Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.363908Z","title":"Mutation-oriented test data augmentation for gui software fault localization,","venue":null,"work_id":"deceba0a-4b7d-4cfc-bb7d-f4f276372290","year":2013},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.924425Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:3e063b07548baa6e09d06847b0e1b9e3d9de74cab224f0a509e3db0c59f5fd07","observation_id":"8a3b701b-5c5c-47eb-85c9-bcaad3b561f1","resolution":{"observed_at":"2026-08-07T10:56:36.368068Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.350602Z","title":"Boosting compiler testing by injecting real-world code,","venue":null,"work_id":"8cdc1591-34e0-48c3-98b6-d70d91916ff4","year":null},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.929058Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:ff015492d1dc35c46024638bfa084f69da47e83325f09e9b8b506d60d797c394","observation_id":"e75eea2d-bbf2-442a-9bb9-3a3ee39f6b68","resolution":{"observed_at":"2026-08-07T10:56:36.355136Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.337390Z","title":"Taming compiler fuzzers,","venue":null,"work_id":"6f855267-c583-4142-bb3b-1a2ab8c15f17","year":2013},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.933506Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:18f0e13b4570016be778d8cc83d012320a04faf12eea10261635285322d0cf39","observation_id":"c8d9c13f-0dfc-44d8-be1c-fe123872cdb9","resolution":{"observed_at":"2026-08-07T10:56:36.341575Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.322488Z","title":"Llm-based code generation method for golang compiler testing,","venue":null,"work_id":"465f4775-8120-449b-8bdf-4b2026835097","year":2023},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.937779Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:af5b7c0c1ddecd4d74bd5b63bd8c2e9d5257c87e1c46c7a652e4d0f5509cc1fc","observation_id":"ae048afe-a447-4106-9bd5-e91dc7d2dfee","resolution":{"observed_at":"2026-08-07T10:56:36.327281Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.308223Z","title":"Syntax-aware mutation for testing the solidity compiler,","venue":null,"work_id":"928d5937-8430-4cdf-b82d-848cf5ccf670","year":2023},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.942022Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:2138a6355c1b0b99b62a09d83d90587c422d4f9c78500c035e637f124898044e","observation_id":"8e0b4207-98a7-4f42-8243-fea5dfaceede","resolution":{"observed_at":"2026-08-07T10:56:36.312762Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.292783Z","title":"Differential testing solidity compiler through deep contract manipu- lation and mutation,","venue":null,"work_id":"0ad59f9d-f1e2-4013-8d25-10b5b894faee","year":2024},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.946329Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:5b67301a7bd3d0c8163907f9884a50e1d2c2dc40f4bbb8a4a3a878e731a7b6f6","observation_id":"3b554b4b-5cbf-49c1-a4e8-a12afb55a3f3","resolution":{"observed_at":"2026-08-07T10:56:36.297617Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.278029Z","title":"Spectest: Specification-based compiler testing,","venue":null,"work_id":"d7e7ae28-2c03-4050-be9a-855a956813f6","year":2021},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.951862Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:dc1f6d391796c9af87dcf05b8be3fd7708866c68fbfbbb456a16a00f0b4eb6f8","observation_id":"b2a9d14e-99d7-47cd-a718-0b2ad608cfde","resolution":{"observed_at":"2026-08-07T10:56:36.282847Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.263415Z","title":"Finding and understanding bugs in c compilers,","venue":null,"work_id":"edb7bfed-e83e-4498-967e-6e72ed531390","year":2011},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.956366Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:9e84d224fe8fe1c272d6a6737ccd81376dbb3a0862993571c076915de9b9d9aa","observation_id":"ec9ed796-d57d-4923-aec8-a6ddf427914c","resolution":{"observed_at":"2026-08-07T10:56:36.268101Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.248825Z","title":"Kubo: Precise and scalable detection of user-triggerable undefined behavior bugs in os kernel.,","venue":null,"work_id":"0e78cad9-dc2e-4da0-ac60-b18f1c828a86","year":2021},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.960634Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:574d9272c6e23bba0dda347fa45a50f686f7c3b6fb8209b2989bf42311b8e477","observation_id":"81352248-feb6-4d75-ac9b-c1f64a16333c","resolution":{"observed_at":"2026-08-07T10:56:36.253548Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.231885Z","title":"Differential testing for software,","venue":null,"work_id":"c5faa811-4902-4d20-8697-9b9c92863024","year":null},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.965049Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:5da1d102d2e276d357f8010ff978acddce503fcf2fed3aa8751ee56516188eaf","observation_id":"01dd3683-ff01-4c76-999e-fb25f659e96f","resolution":{"observed_at":"2026-08-07T10:56:36.238271Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.216387Z","title":"Differential testing: a new approach to change detection,","venue":null,"work_id":"89c05993-3bb2-42a8-b5e7-849c4db6876b","year":2007},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.969430Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:6fe22cac6756d683fdd3ef2b21c807cd4913c65aa5ee317346c259a211c4367f","observation_id":"a0875bc5-cc21-4ea6-92b1-d5af021f7e7f","resolution":{"observed_at":"2026-08-07T10:56:36.221007Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.201834Z","title":"Rustsmith: Random differential compiler testing for rust,","venue":null,"work_id":"75dbcb05-3ed3-4e7f-ab23-3b0243407a12","year":2023},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.973398Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:dd303ca9e22d28f111b248cb28c75044f92540bfb5db4728d40230be5ffc5022","observation_id":"45a7320a-edd2-47e9-9730-e401da7122d4","resolution":{"observed_at":"2026-08-07T10:56:36.206539Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.187204Z","title":"Random testing for c and c++ compilers with yarpgen,","venue":null,"work_id":"9ad67e56-da32-4a33-91ca-7419ae004906","year":2020},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.977733Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:94a9d5ce2cf191971cffe94cdb7dbef4f40b80ebb9654c51d319537ee0ec94ee","observation_id":"02cb3bb6-6521-4f2e-9c10-bad43a9b2a28","resolution":{"observed_at":"2026-08-07T10:56:36.192235Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.172268Z","title":"using-the-compiler: input-description","venue":null,"work_id":"7b114eee-61c9-4ab6-b2a0-12d1c42e78ba","year":2025},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.982079Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:01646d0cd9d5c843d9b5f3fc7c42b2a160280164966c5f7b4c2c6acaa146fc0e","observation_id":"cb84ea8d-cb69-4c8b-8f24-0bf9a21858d2","resolution":{"observed_at":"2026-08-07T10:56:36.177621Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.157218Z","title":"https://hardhat.org/docs, 2025","venue":null,"work_id":"c6d3adc8-77a4-41b4-a622-90cfcec1c258","year":2025},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.986433Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:60b8ba53bfa49300b7802a16839cc5a93467e36edd573e2120ba97b73d80f4a4","observation_id":"81cf5184-7f31-4293-8822-89b5b1b2ce8a","resolution":{"observed_at":"2026-08-07T10:56:36.162611Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.141894Z","title":"Compiler testing using template java programs,","venue":null,"work_id":"a0f382b8-f746-4acd-a96b-8029e8da1ed4","year":null},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.990809Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:b6708afd5f6887c89048e97b03d30d96229a6175bd0bf6224d1267e94b051b4f","observation_id":"41def6e4-98d8-4bb1-8eaf-fade111aa392","resolution":{"observed_at":"2026-08-07T10:56:36.147085Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.125928Z","title":"Compiler optimiza- tion testing based on optimization-guided equivalence transformations,","venue":null,"work_id":"3b583b90-3b76-4a37-b64d-ce440d16d638","year":2025},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:35.995235Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:9480f78ef2c3332c84ab5ddcba90c824170be7b58dd03ee4f210b102db5856b3","observation_id":"1794ba20-b791-4c43-b2b9-dbcc17debbad","resolution":{"observed_at":"2026-08-07T10:56:36.130842Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.110934Z","title":"Test-case reduction and deduplication almost for free with transformation- based compiler testing,","venue":null,"work_id":"c5347000-e8a3-4ec6-8311-2eb1267ade9c","year":2021},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:36.000307Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:b08831c224525fe22b0623978da08705747de7b51f68d9cf3bc411d0ad6706f0","observation_id":"724df203-c79e-4f01-b660-330b760891ae","resolution":{"observed_at":"2026-08-07T10:56:36.115454Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.096015Z","title":"Finding typing com- piler bugs,","venue":null,"work_id":"98599727-bfe8-4bce-828b-7fbbb61c0866","year":2022},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:36.004821Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:c40121dd7a92b0bf1f8a42893ba9cbead05c572cc583fb0547fe597aff5b0e1e","observation_id":"2c0b2663-889e-47c9-b464-16439d092084","resolution":{"observed_at":"2026-08-07T10:56:36.100700Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.080670Z","title":"Nnsmith: Generating diverse and valid test cases for deep learning compilers,","venue":null,"work_id":"9efc28cb-ff36-4c5b-886a-93146377d582","year":2023},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:36.010079Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:f865a8053dd29044b39611df7f7fa942b92a85f00993fac994a6960cccf9c626","observation_id":"21ac0c49-772b-4f35-bd44-eb36c1c34a00","resolution":{"observed_at":"2026-08-07T10:56:36.085381Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.066729Z","title":"A new methodology for generating test cases for a programming language compiler,","venue":null,"work_id":"e3f29587-c88d-42ec-943a-db609c18843e","year":1983},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:36.014456Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:ff0a50a87950320ad3339d81982db9073fa5a23aa51fd4626b904c3ffca290ce","observation_id":"b39f9d48-8fcc-4456-bde3-77f7a5f7e6ec","resolution":{"observed_at":"2026-08-07T10:56:36.071158Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:56:36.050029Z","title":"Orthogonal latin squares: an application of experiment design to compiler testing,","venue":null,"work_id":"4de20927-2dca-4b25-ae71-08739a3b9855","year":1985},"citing_paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T10:56:36.019811Z"},"links":{"citing_paper":"/paper/2506.03909"},"observation_digest":"sha256:303e5b66a7d3c6cc0afcbdded4bc61c91a907fd7b513083514dc3cd94b500634","observation_id":"f5814a67-81ac-4c44-b41b-d27d5fcd914d","resolution":{"observed_at":"2026-08-07T10:56:36.056962Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.03909","last_updated":"2025-06-04T13:04:17Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-07T10:50:59.611608Z","submitted_at":"2025-06-04T13:04:17Z","title":"Solsmith: Solidity Random Program Generator for Compiler Testing"},"reference_resolution":{"displayed":34,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":1,"verified_exact":0,"verified_fuzzy":33},"total_outbound_references":34},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 1 inbound Pith citation observation for arXiv:2506.03909."}