{"as_of":"2026-08-22T02:04:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:8883cb4d88528376f422ba78e8dbe9fc552eec54160513e1e573e6e3444aec8f","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-21T06:32:19.484+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-18T14:06:12.453193Z","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:f1179f2e6fb6d6c92b7913e50237fc5dba11740fd37eac4b2dfb0939be91e5f7","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:5925ecfccb54d4214c4b06793b11c309779fe377b9b6cb2fc8ac2f30185a6bac","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:0889e5e2575fa33108b0e3adf635848bbd7b8b70675c35aa92f5c2dc9eccfa8b","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:7690ea92a4d55354bb98ff8a5b3873c6199b4155c31b40ed9f2b707e2da73deb","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:e757d1af6e3cb9fae3b33f353a9d525fb26de9ceb7a935408620fc499e0e24ce","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:7a559a9cdd5087f12e7a9fd713251670ed70c8c32e18f7bdcfa3a31eb16b5c5b","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:a3ac5366a596445f276a96cee9328a54c66f9a2e1a51cb754eb98e02e84c89ff","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:9979141dd6f84fc158590fe338b3a7382d422a3fe6eecbb337aabdc1e1029cee","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:dee690082e38d21c5496056d98b53417fcafaac1c421b337b80cd6dbabebd128","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:8b0be82f290dc815d2eaff1d378b9b82e586958338785dba47f33be613d504f7","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:badac118c855ddea07c85261e175841bc96e34f09e20edf3ff79437dc832cfc9","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:e52437db5c7a6e182e349fb749118ac0a776bc225b682b2012ba979398ceee24","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:c9562fc20a561970d82e4661a537ea834c2983501aeb082c1dc12f6d2a8e3308","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:01eddbf5e15edb75b80658f7c90f22e242563006cbc8c2eb354b4e812561a614","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:15516954c413091bc620a65a69394215bdd8de3e7c137cda932c49203ea27cc3","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:3b6bfa888d33b0d7a146b8a3e83bf66c5aa74312598a26e3dec93100afd2fac3","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:b9d378d3043fa481c746ef5ece5dece18967dc3d92b2ad89878c61df9859deb7","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:b484be361ea4c41d5de73a6b7abd17959a879104b34bf38bc193f2eeff726ded","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:fc1e91141aa04fdfda85e16b2d8ab66ac29c567624802ad05674e819c8a0abc8","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:2f3d900d7759bdfda5dc10a24e249730168c9101cb54d09a804551c9e85e0015","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:0fa4b48884c3507c7a50a08733dd4fb3a3363dd0c7b125a4d3e382c47e4f03fe","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:8c60a317ce551a56387ac2527a6173e7991d162a0ce5e335991efb26b87b0645","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:314e14480cb17b18b1f93869bf37ceba2ff3a5eb1bed3cec2f8f219b097799a2","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:fe41714252e56b2a2565d72874649b71dc2221eb89b7a048e88279b37e4f6b55","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:ddcd3048d304ca8c041b8a3416dec1046d50b8494f1195019fd8906d64f2f430","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:7136cb87ede521474c0a6ce387a07ac82efa476f5875e2409b0731fc1370f1c7","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:faf8e9905d6f7e7f5a6590d548e52d015a000dedcc4373d4af69b995c86d3a1c","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:4b433f7d78f44706236d543ea78bcbeed4fd39c8b7664bd5fccadc7fb70cca70","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:99a16b1960a44ed54be173b0e3c297c537794d95190e885815c48955ae2f16fa","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:ab8259d86029dc98092f20378f1175f8adea19946d05c6e71648a29bc4fe7b7f","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:1dc03c14370954dbde27b1d35ffec2c69ea569243fdfd5a9b7a4c7ceae06e5fc","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:cffa18efc5f82e8d4d579e6cfc8762655825842863f8537a840026c167e3d890","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:0639c59f4b85a054b261fd5c3c9db53f0cf2129c57dc36d3fde1121899154dae","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:c753adf81fcbb10cad8023fa11c7b9b611a4199dce6c617133219cc4cf44574c","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:33b12c6c0176fa87303a541a19eff1545141240d041adf33792d4c82da02bc51","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 22 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 1 inbound Pith citation observation for arXiv:2506.03909."}