{"as_of":"2026-08-18T01:48:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9096f210a719bae938094134bd27062624f900ab2c16af9021b7d6a06b3b5c93","coverage":[{"denominator":65,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":65,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T15:30:27.007512Z","state":"measured"},{"denominator":69,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":69,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+00:00","state":"measured"},{"denominator":4,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":4,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T12:28:46.316270Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-04T15:39:56.828635Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.14174","snapshot_observed_at":"2026-08-11T12:28:46.316270Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.14234","last_updated":"2024-12-21T18:49:38Z","snapshot_observed_at":"2026-08-13T20:36:25.913769Z","submitted_at":"2024-12-18T18:55:46Z","title":"Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-11T12:28:46.316270Z"},"links":{"cited_paper":"/paper/2411.14174","citing_paper":"/paper/2412.14234"},"observation_digest":"sha256:671677036eb6435a82351ed10f48db90c30ad35a689bdbc534c0d3fd40363c4a","observation_id":"a180e753-599f-4a69-99b1-598a4ce6ac3d","resolution":{"observed_at":"2026-08-11T12:28:46.316270Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"cited_work":{"arxiv_id":"2411.14174","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2411.14174","snapshot_observed_at":"2026-07-04T15:39:56.828635Z","title":"Translating C to Rust: Lessons from a user study","venue":null,"work_id":"51626f58-d750-415a-9f69-0324d2303d47","year":2024},"citing_paper":{"arxiv_id":"2505.10708","last_updated":"2026-04-22T23:20:17Z","snapshot_observed_at":"2026-08-14T20:30:50.846765Z","submitted_at":"2025-05-15T21:05:33Z","title":"SafeTrans: LLM-assisted Transpilation from C to Rust","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-22T14:12:55.504993Z"},"links":{"cited_paper":"/paper/2411.14174","citing_paper":"/paper/2505.10708"},"observation_digest":"sha256:4ad70871825e47dd2f0ef167983365d215f28eeab4c986f4c25f40608fe0ba64","observation_id":"407db1d7-c897-46ca-bbce-5599832f3e39","resolution":{"observed_at":"2026-05-22T14:14:55.642327Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"cited_work":{"arxiv_id":"2411.14174","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2411.14174","snapshot_observed_at":"2026-07-04T15:39:56.828635Z","title":"Translating C to Rust: Lessons from a user study","venue":null,"work_id":"51626f58-d750-415a-9f69-0324d2303d47","year":2024},"citing_paper":{"arxiv_id":"2604.12048","last_updated":"2026-04-13T20:40:34Z","snapshot_observed_at":"2026-08-13T21:28:02.906084Z","submitted_at":"2026-04-13T20:40:34Z","title":"ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-10T15:19:09.020005Z"},"links":{"cited_paper":"/paper/2411.14174","citing_paper":"/paper/2604.12048"},"observation_digest":"sha256:38146d589d4cd3f205242c1907f2801e1a9ddde65cd81f66cc56a35bab98dfff","observation_id":"5d4ce252-2bdf-49a3-a1a5-2222767574d7","resolution":{"observed_at":"2026-05-11T10:46:05.056180Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"cited_work":{"arxiv_id":"2411.14174","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2411.14174","snapshot_observed_at":"2026-07-04T15:39:56.828635Z","title":"Translating C to Rust: Lessons from a user study","venue":null,"work_id":"51626f58-d750-415a-9f69-0324d2303d47","year":2024},"citing_paper":{"arxiv_id":"2606.27122","last_updated":"2026-06-25T14:59:08Z","snapshot_observed_at":"2026-08-11T16:52:57.881462Z","submitted_at":"2026-06-25T14:59:08Z","title":"Mostly Automatic Translation of Language Interpreters from C to Safe Rust","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-06-26T01:30:29.491568Z"},"links":{"cited_paper":"/paper/2411.14174","citing_paper":"/paper/2606.27122"},"observation_digest":"sha256:1ec6ef7628e83f3810315a6ffaa4c46848dc3215610b89d373c1fd3cfe22a863","observation_id":"438704e0-eb91-443a-b39f-ba4cabcf24f5","resolution":{"observed_at":"2026-07-04T15:39:56.830374Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2411.14174/citation-record","integrity":"/paper/2411.14174/integrity","json":"/paper/2411.14174/citation-record.json","paper":"/paper/2411.14174"},"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-12T15:30:27.686359Z","title":"C ++ core guidelines","venue":null,"work_id":"55dbd732-71cd-4bb6-9a51-6b787c58e47c","year":null},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.814785Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:c70a7fa961487f87973c8f69520235311c588fda0f4e682b597f24450c60c07e","observation_id":"205e069b-d44d-4438-8d72-d02ca64112f4","resolution":{"observed_at":"2026-08-12T15:30:27.689393Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.678303Z","title":"A command-line benchmarking tool","venue":null,"work_id":"94c3c999-d01f-45f5-90f1-33d6404ec721","year":null},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.818228Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:46333e8d1b6cf5b3a59279d61d4f890aea1600052d8f992a6ac54032239d3aef","observation_id":"4b945f1f-b6f7-4ba9-b3bf-38c21f3ce25c","resolution":{"observed_at":"2026-08-12T15:30:27.681188Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.670519Z","title":"Developer echosystem 2023: Rust","venue":null,"work_id":"cee0b50d-52e0-470f-9074-e1b228eb6218","year":2023},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.821252Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:7ef1a7ace40e4bf58638649d1bb5af4b874d0dc12471335d14789dae9626005a","observation_id":"c26c007b-32e4-4ef1-b204-d24cb7801492","resolution":{"observed_at":"2026-08-12T15:30:27.673311Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.662484Z","title":"Dynamically sized types","venue":null,"work_id":"479a36b1-8851-498d-aaba-8864baff339f","year":null},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.824409Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:b0fc94684b6d28045cb22166faa611d065f6102cbe525e1bdd6e3cc4d015ee01","observation_id":"0b2b06d5-c118-4dd8-a793-1fb721d28914","resolution":{"observed_at":"2026-08-12T15:30:27.665331Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.654285Z","title":"Google c ++ style guide: Static and global variables","venue":null,"work_id":"0b15bd62-01db-4bef-9feb-fa191c07ad29","year":null},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.827435Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:73b9dbeb0f91dd4f754cc568651815e627bc6f7acf86412cb75b47a11ffa1dc9","observation_id":"85f9bd35-7cd8-47c8-bb26-a48bc0e1083c","resolution":{"observed_at":"2026-08-12T15:30:27.657398Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.645760Z","title":"The heartblead bug (cve-2014-0160)","venue":null,"work_id":"83a5bf6e-bf01-41d4-98c1-8c8bf2a82239","year":2014},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.830524Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:3c216128a9455db169162c426a77f248354015e115c469408d69c73d3c817300","observation_id":"474adda4-ac9f-45cb-b35f-fe2312645051","resolution":{"observed_at":"2026-08-12T15:30:27.648898Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.637259Z","title":"Linux kernel coding style","venue":null,"work_id":"64f01010-ccd4-431e-af1e-f7e31c099d9c","year":null},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.833510Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:a74c223eb009c0055ee571a7e7ddea8c1b16945434518e50bf390da95e16ca08","observation_id":"e7ec31cb-9de7-436a-b3ab-2b361ea7a1d2","resolution":{"observed_at":"2026-08-12T15:30:27.640407Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.628975Z","title":"Oxidation","venue":null,"work_id":"8abbd2e3-2786-4702-948f-ba7dd7c73536","year":null},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.836431Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:cbc3e1a327e32587968990862f54622f53e05dc8d62bb8bec971368d29c961eb","observation_id":"04f1e905-a345-4012-a571-30b4c7c8c77a","resolution":{"observed_at":"2026-08-12T15:30:27.631895Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.620639Z","title":"References and borrowing - the rust programming language","venue":null,"work_id":"774ccf33-5fd3-4047-b30b-b0a354cffdd0","year":null},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.839474Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:171243a2069dc92941721b6904aadd7532c956e058030d1b16a546b85c0023d1","observation_id":"ec9fbd0c-93f0-4cd1-b2b1-81d8c051ae94","resolution":{"observed_at":"2026-08-12T15:30:27.623636Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.612249Z","title":"Thread local storage (rust)","venue":null,"work_id":"4583cf48-8d47-4fc9-ac2d-455e93bf3e82","year":null},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.842227Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:8b39938f70640dba82088fa4c79603a855698a2a900a03f3fd32a73f2e3f4a23","observation_id":"b31e7425-1a05-4caa-bb53-96f0d233b43f","resolution":{"observed_at":"2026-08-12T15:30:27.615218Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.603734Z","title":"Thread local storage (rust standard library)","venue":null,"work_id":"a9448a50-e252-4a72-993e-d5081b1b21f5","year":null},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.845396Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:0e623403995df1dc0a3f811116e26bfab62a912b99e185792b7f6290e8b13f2f","observation_id":"2023efe1-27c8-45d8-8846-3d58a020f209","resolution":{"observed_at":"2026-08-12T15:30:27.607017Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.595530Z","title":"Type punning","venue":null,"work_id":"64c84579-b8ed-402d-9448-c4bf5d11a427","year":null},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.848374Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:b72fca5fe48dad549a904e2d3f3c437affd73c5c1ab7cf78aa147c3f047b2d3c","observation_id":"a7acb695-3dd5-414a-b189-b35ccf3af783","resolution":{"observed_at":"2026-08-12T15:30:27.598360Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.587293Z","title":"”the web /local","venue":null,"work_id":"529d81ba-5c48-4a56-8a74-95cae555d8ca","year":2016},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.851260Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:55293c9325bd48fd96e878f432a8de7f5b197004e6be996ef7d73a463c1d1208","observation_id":"c685f03c-da5f-409f-bf5c-c9396b3e2bfb","resolution":{"observed_at":"2026-08-12T15:30:27.590242Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.578721Z","title":"Arm MTE architecture: Enhancing memory safety,","venue":null,"work_id":"5d337809-a218-4837-bf7a-c997027e9241","year":2019},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.854303Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:27a3cc3e244094e080d8cbe2b25a9975d25cc403c0e620ce4408aba278ab205f","observation_id":"823c265a-684d-46f1-8d7a-44c62a6be098","resolution":{"observed_at":"2026-08-12T15:30:27.581944Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.03109","last_updated":"2024-01-16T11:25:44Z","snapshot_observed_at":"2026-08-16T15:10:29.273019Z","submitted_at":"2023-08-06T13:33:13Z","title":"Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.03109","snapshot_observed_at":"2026-08-12T15:30:26.857178Z","title":"Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.857178Z"},"links":{"cited_paper":"/paper/2308.03109","citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:a48df1d2ceac44e8ed324dd45bf280e6318a093ab2aebd80f6028364d9c5b880","observation_id":"972b10fc-7656-4fff-80d8-49a48c19ee9a","resolution":{"observed_at":"2026-08-12T15:30:26.857178Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:30:27.570324Z","title":"Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs,","venue":null,"work_id":"c9a7a4bb-1899-409b-bf06-1f5c0b70d4f1","year":null},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.860631Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:15480f22d7652dc6806d70b599ed4e32f627cf0ac74507d741a50ab571782b3d","observation_id":"172ea392-0733-41e6-81af-28de6ef0c05e","resolution":{"observed_at":"2026-08-12T15:30:27.573476Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.553678Z","title":"Rad: a compile-time solution to buffer overflow attacks,","venue":null,"work_id":"654214ed-7b21-4534-815d-c4cb55edb830","year":2001},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.866112Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:c43311c89b660fe4d50eb0feac931c6a1115d0afd0dc8fb8e27a14db4d458574","observation_id":"2520eb43-6d18-4c7c-9243-3b90f559ec53","resolution":{"observed_at":"2026-08-12T15:30:27.556792Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.545504Z","title":"Ownership types: A survey,","venue":null,"work_id":"8f156542-3d30-4249-8f16-7bd30ac7f6b7","year":2013},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.869279Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:4b62d23e03086027850087e5e1851c16749c14b75cc4b004e23c4e28f2382591","observation_id":"45ec7583-1efb-474f-b57a-0a62465030bc","resolution":{"observed_at":"2026-08-12T15:30:27.548462Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.536966Z","title":"Dependent types for low-level programming,","venue":null,"work_id":"cc196c0c-1f67-489a-b329-f7711ae51f78","year":2007},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.872201Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:6a5170693cbca2f1680afb628bb97eabf30201e7ef9ec31a553bc18d92704d9c","observation_id":"32dd7b48-8936-4e65-a4ae-3392e7da2822","resolution":{"observed_at":"2026-08-12T15:30:27.539872Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.528363Z","title":"Stackguard: Automatic adaptive detection and prevention of bu ffer-overflow attacks,","venue":null,"work_id":"c056fe62-c230-48ad-824c-b09661befc03","year":1998},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.874985Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:5289a915de2aab6a9ab044379c945c90fe0578c5cf5eea85259215022a6b5f54","observation_id":"b6030372-231f-4ee1-a438-cd2eda9d8015","resolution":{"observed_at":"2026-08-12T15:30:27.531468Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:30:26.877890Z","title":"E ffectivesan: type and memory error detection using dynamically typed c /c++,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.877890Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:7179867fd62e75847165256787c4d74980db8a87f6941e28ab486889c7e880a3","observation_id":"7dcec7bc-3b84-4eb2-9849-e7c40c81fd07","resolution":{"observed_at":"2026-08-12T15:30:26.877890Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:30:27.519498Z","title":"Checked c: Making c safe by extension,","venue":null,"work_id":"aae2fce3-443f-4a6a-931f-b95217b1a4b0","year":2018},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.880735Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:47cd4495cf9ab2b625ba92032c555d70334405148de43e23fb6b76536ea3a981","observation_id":"4e10255e-1c3a-4975-af5c-9dc19bff5594","resolution":{"observed_at":"2026-08-12T15:30:27.522773Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.510767Z","title":"Aliasing limits on translating c to safe rust,","venue":null,"work_id":"852dd8a6-41c7-4993-8133-8b19ed548c42","year":2023},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.883538Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:6c7e4317b0a3f172b76bea94c560d7b47a40f0cbbeeb9c14e9bbaf7874178462","observation_id":"a506b042-72ff-48ce-8556-8c76ebb11cab","resolution":{"observed_at":"2026-08-12T15:30:27.513938Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.501864Z","title":"Translating c to safer rust,","venue":null,"work_id":"401f06e2-f2f5-4933-866e-7e8e5a25b585","year":2021},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.886388Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:954955c6b41d437a3225739df2315c44ecad8d322bd66c9a0c4640950f744e50","observation_id":"f3d20615-4f0d-4e47-8556-70510ca5c519","resolution":{"observed_at":"2026-08-12T15:30:27.504915Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.11514","last_updated":"2025-04-17T17:18:24Z","snapshot_observed_at":"2026-08-16T13:51:33.449591Z","submitted_at":"2024-05-19T10:54:03Z","title":"Towards Translating Real-World Code with LLMs: A Study of Translating to Rust","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.11514","snapshot_observed_at":"2026-08-12T15:30:26.889207Z","title":"Towards translating real-world code with llms: A study of translating to rust,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.889207Z"},"links":{"cited_paper":"/paper/2405.11514","citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:711c34928f11109b9896719cff08611064f2d2ece1086edcf8244bd9a2aafbf3","observation_id":"ab1c60dd-8ca4-4bad-b5b6-6be6b3f51b83","resolution":{"observed_at":"2026-08-12T15:30:26.889207Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:30:27.492953Z","title":"Afl ++: combining incremental steps of fuzzing research,","venue":null,"work_id":"e375ecd8-04d4-48b2-be4e-bd017afb8016","year":2020},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.892606Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:615b277846ed748f9f1b5fcb0684075264ab3646da26b9c765433eaa20a32db3","observation_id":"badddd72-6225-408a-9d79-aa0fa47d7b83","resolution":{"observed_at":"2026-08-12T15:30:27.496022Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.483873Z","title":"Flow-sensitive type qualifiers,","venue":null,"work_id":"be3b1108-7848-486d-9361-72103ad45bec","year":2002},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.895587Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:33c2a9cbf9645405e6dca55d0e6a078343f403c227adfd254fcf856670c0e2ca","observation_id":"1ad1a342-75ae-4ac9-838e-d6f5ffab65b2","resolution":{"observed_at":"2026-08-12T15:30:27.487032Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2211.12787","last_updated":"2022-11-23T09:04:45Z","snapshot_observed_at":"2026-08-16T16:13:57.486714Z","submitted_at":"2022-11-23T09:04:45Z","title":"Program Repair","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2211.12787","snapshot_observed_at":"2026-08-12T15:30:26.898725Z","title":"Program repair,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.898725Z"},"links":{"cited_paper":"/paper/2211.12787","citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:a714aaa0ac012757a697ec6e4ddd0b5a4310731974c8d2f680c6ec5f9b3a9f74","observation_id":"dfc4545e-829e-4044-ae42-49ab6f4f8528","resolution":{"observed_at":"2026-08-12T15:30:26.898725Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:30:27.475535Z","title":"Oss-fuzz vulnerabilities github repository,","venue":null,"work_id":"6ddade7f-1623-45c3-b683-2bc6b273598b","year":null},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.901888Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:e53da9e1cad174b8b45dfe0149cc9853426204efdf1eacd0928080f58430d82f","observation_id":"ab6fd987-a4bb-41cf-8d60-5925b761b759","resolution":{"observed_at":"2026-08-12T15:30:27.478479Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.457989Z","title":"Sticky tags: Efficient and deterministic spatial memory error mitigation using persistent memory tags,","venue":null,"work_id":"ac057eb3-afbe-45ed-9a8f-1bfaa6b53e4c","year":2024},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.907962Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:b08af16ce2f8eed32ed7d959d479ef3e68db14311bea32fb83f2545ef2e6ccb4","observation_id":"27133b60-4321-401f-9452-051e31d55f31","resolution":{"observed_at":"2026-08-12T15:30:27.461169Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:30:26.910797Z","title":"Data-oriented programming: On the expressiveness of non-control data attacks,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.910797Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:650759ed904f3bd069fac3e182f90a0dbc62f6f8982389d079232e3c45857332","observation_id":"a150d8af-7526-4621-8ce4-5f28e1ffed3e","resolution":{"observed_at":"2026-08-12T15:30:26.910797Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:30:27.444341Z","title":"Using safety properties to generate vulnerability patches,","venue":null,"work_id":"12b0d186-44c9-4b89-a958-561dc4689f11","year":2019},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.913604Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:b349d7a9f392a24e1fd363e9952ad2f2db08405a9740830553de9c12d9bc0de7","observation_id":"7c153239-2baf-43e1-a769-e07df3e328e6","resolution":{"observed_at":"2026-08-12T15:30:27.447647Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.435852Z","title":"c2rust: Migrate C code to Rust,","venue":null,"work_id":"555db085-3efb-40f7-9f78-a660ec06d256","year":2023},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.916383Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:e3a4c68247085d6ddc523c50b96c6f743a1874a8dbea5781b9e1e18a7b0454d8","observation_id":"6c28b20e-ac61-49ac-b17c-3946cf2a0fa5","resolution":{"observed_at":"2026-08-12T15:30:27.438898Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.427582Z","title":"Cyclone: A safe dialect of c,","venue":null,"work_id":"d903285e-cfb7-4ef4-8c86-344d881bc123","year":2002},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.919391Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:ac0b99e7801b3ea52a1652a67501c2d004548bdca2b5bd08da004bc6f6a09fe8","observation_id":"cdd649bf-d343-4295-b0fe-0b73a93353d7","resolution":{"observed_at":"2026-08-12T15:30:27.430498Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.419376Z","title":"Practical {Data-Only} attack generation,","venue":null,"work_id":"be3437ed-ce6f-43e5-86d9-a1388c018f57","year":2024},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.922140Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:787ceca2c85775aadcf22c1b4c75b9a6f7f1d99d34a0b37927ddf1bd2e4be590","observation_id":"ea602c66-a677-4c6a-ad0c-67b463ea220f","resolution":{"observed_at":"2026-08-12T15:30:27.422304Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.410903Z","title":"Rustbelt: Securing the foundations of the rust programming language,","venue":null,"work_id":"f59e1b58-aa7a-42b6-af25-99f85a5fa25d","year":2017},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.925175Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:53b406529d0617ce2c6c78c8c2be258fb9220355802d815052e44e5ddc1fb12f","observation_id":"1254fc89-2299-4543-ba51-8b6aa558fa93","resolution":{"observed_at":"2026-08-12T15:30:27.413934Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.402488Z","title":"A hybrid alias analysis and its application to global variable protection in the linux kernel,","venue":null,"work_id":"138ac488-71d1-4d62-8d27-0867e7844302","year":2023},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.928374Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:2fb53dba80997b923429e81e38b13a3298c2cfd7445f77621d7d1c410f072e6c","observation_id":"d3949bed-4cbb-479e-bc46-53270d6bd801","resolution":{"observed_at":"2026-08-12T15:30:27.405680Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.393876Z","title":"A formal model of checked c,","venue":null,"work_id":"e09f1cc5-9951-436e-9a94-fdec47d29c51","year":2022},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.931160Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:a86a99ac1affe451f4d5917ccce24d8f537c23fd13f619cfee0e1acd8c940128","observation_id":"fc527f9f-54f3-4164-8990-ad1205ccaa3b","resolution":{"observed_at":"2026-08-12T15:30:27.396820Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1811.09189","last_updated":"2019-05-24T13:39:20Z","snapshot_observed_at":"2026-08-14T17:55:05.404754Z","submitted_at":"2018-11-22T14:26:22Z","title":"PAC it up: Towards Pointer Integrity using ARM Pointer Authentication","version":4},"cited_work":{"arxiv_id":"1811.09189","doi":null,"metadata_source":"pith","pith_arxiv_id":"1811.09189","snapshot_observed_at":"2026-08-12T15:30:27.119840Z","title":"PAC it up: Towards Pointer Integrity using ARM Pointer Authentication","venue":"cs.CR","work_id":"5a2672e0-d5d8-4463-894d-564f11ffeaed","year":2018},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.934297Z"},"links":{"cited_paper":"/paper/1811.09189","citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:7f5bd236353bbf4910a6f18558efe0d0406648774d4f577b46e3f4f15e8efe22","observation_id":"192d7966-19f4-4e17-9d3e-7c26cae047ba","resolution":{"observed_at":"2026-08-12T15:30:27.123361Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.385785Z","title":"C to checked c by 3c,","venue":null,"work_id":"6fc60ac9-2f3a-4b4d-a81f-7c288c84ba21","year":2022},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.937596Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:d999b6156e0806bd9f3b6b12f62f33ce63cd7cd1cdd54e49f07fbd1838f34f19","observation_id":"211e9f62-4194-42ac-9c7c-8792693ee9aa","resolution":{"observed_at":"2026-08-12T15:30:27.388683Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.377568Z","title":"Bsd coreutils is a port of many utilities from bsd to linux and macos,","venue":null,"work_id":"496f4d7d-e87a-4bff-9e89-b4f3ee2a782a","year":2024},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.941480Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:2061cb92c87097dd114c41c83b699694b3f4e73d87f731656119e27353d35917","observation_id":"c2d7ccfd-fd92-4d17-9551-247f2017c29a","resolution":{"observed_at":"2026-08-12T15:30:27.380579Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.369673Z","title":"Hybrid concolic testing,","venue":null,"work_id":"6c9d3699-40fa-4219-b409-c22296eb2e38","year":2007},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.944658Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:e21224df543b60b0f73cac4d4674711757633bd8599aa559dfd2a596887da32d","observation_id":"8e645784-e326-4d44-b4bd-393fe8f24772","resolution":{"observed_at":"2026-08-12T15:30:27.372548Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.361371Z","title":"Softbound: highly compatible and complete spatial memory safety for c,","venue":null,"work_id":"2859e917-8624-444f-9a61-098ed09f0726","year":2009},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.947397Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:691ef2c358c279129bcc3caddb3d549b7e013fc68494a093023a612b2a9db1ce","observation_id":"7c98863b-a2d5-40fb-9c63-331de124deff","resolution":{"observed_at":"2026-08-12T15:30:27.364472Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.352875Z","title":"Cets: compiler enforced temporal safety for c,","venue":null,"work_id":"fb2b1af7-eecb-48a5-a2c4-bef689892dcf","year":2010},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.950199Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:b07e100ee053ff9d1b20bb20436ac356ad1ee80ae8b62f7bef93a5ff6021d8d2","observation_id":"8c3f483b-28c3-471b-ad1b-9567f5d2ce1b","resolution":{"observed_at":"2026-08-12T15:30:27.355816Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.344514Z","title":"Ccured: Type-safe retrofitting of legacy software,","venue":null,"work_id":"2e7277ed-39f3-4c4f-b46e-5ff45a07bf3d","year":2005},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.953308Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:72779a473d0be3fef96fa916b9bd39ab9e3550174223500cdee2b43490252bb1","observation_id":"9f90b11e-0fc0-4b0d-a2c0-20524cda5604","resolution":{"observed_at":"2026-08-12T15:30:27.347730Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.336117Z","title":"Ccured: type-safe retrofitting of legacy software,","venue":null,"work_id":"55705f15-8fa4-4d7b-b769-74769359fbe4","year":2005},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.956596Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:604097972f4a355f9452d1906fe0c300ddcdbae3aa06abe48424f9e81b479cd0","observation_id":"3441b1b7-f473-4e02-bee6-bd1868100a2d","resolution":{"observed_at":"2026-08-12T15:30:27.339154Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.327196Z","title":"libmpk: Software abstraction for intel memory protection keys (intel {MPK}),","venue":null,"work_id":"cf32ddf0-fa72-4ad4-ab11-a00914b18e92","year":2019},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.959475Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:da593acd8c26a743de07721a5afe43b64a090467f66c3a16a507acf920d39bdb","observation_id":"669eeec9-bd75-4862-bc53-9928c91d27dd","resolution":{"observed_at":"2026-08-12T15:30:27.330404Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.318835Z","title":"Symbolic execution with symcc: Don’t interpret, compile!","venue":null,"work_id":"1a5418d8-199e-4679-b444-f17d52ba0af7","year":2020},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.962243Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:302719281e2f809cac12cdb8887ad050bcc9a31afd4ff9cae93adff326f8445a","observation_id":"d32d9ceb-8a29-4e9b-85ee-8c2e1433a7aa","resolution":{"observed_at":"2026-08-12T15:30:27.321780Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:30:26.965009Z","title":"Localizing vulnerabilities statistically from one exploit,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.965009Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:b878e145f88b691b4183812e9ae6c6ef2bd000c75889134c49cfec6484801dee","observation_id":"f8e606e9-5eff-4b21-b319-1faa25e4efed","resolution":{"observed_at":"2026-08-12T15:30:26.965009Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:30:27.309847Z","title":"Provenfix: Temporal property guided program repair,","venue":null,"work_id":"83bbc9bc-0b9c-4616-8ec5-0c69fad8f099","year":2024},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.968154Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:9ed06a51a4926b2c1decf52d4e5ba84697ce12c437674ca15c66511cadb7737e","observation_id":"c7245162-5b75-4b5e-8d51-b45e520c8941","resolution":{"observed_at":"2026-08-12T15:30:27.313037Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.301430Z","title":"Sok: Eternal war in memory,","venue":null,"work_id":"8b32aa74-d279-4f91-9c04-de4f08f94119","year":2013},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.971048Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:a0a895e10763bc3e8057cd42b69ceec391557b5d44cc85ba9380974a727d3606","observation_id":"0b0896ec-1c32-494e-94b6-82d19449d10c","resolution":{"observed_at":"2026-08-12T15:30:27.304325Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.292318Z","title":"Address space layout randomization","venue":null,"work_id":"279a9ccc-b133-4a8a-b883-80e0f82728fa","year":null},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.973815Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:405930ead0189a196719da2ed9d10be1eb5f5cb5c37190ef68a8dda8ddab29d5","observation_id":"9067be56-8099-448b-a928-6612a4c8e6b4","resolution":{"observed_at":"2026-08-12T15:30:27.295628Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.283368Z","title":"Enforcing forward-edge control-flow integrity in gcc & llvm,","venue":null,"work_id":"3c851b73-41d7-427e-ab97-74e45e138561","year":2014},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.976612Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:58911eaa6f17af52096f77959c56ac79f77a32a2dc0cbdf46e965e77640981b6","observation_id":"0bb314df-e853-473a-929f-46c86b593d8d","resolution":{"observed_at":"2026-08-12T15:30:27.286678Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.274960Z","title":"Exec shield,","venue":null,"work_id":"a7e3fb21-2faa-4285-9483-c584342f91d0","year":2004},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.979337Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:aa63fa24a7821ba8db59b28371859ff83fea85586e075257a7ab9d354df74fbe","observation_id":"957351be-bd36-40d5-9d26-9d34685f2c06","resolution":{"observed_at":"2026-08-12T15:30:27.277886Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.265945Z","title":"The realities of language conversions,","venue":null,"work_id":"2813cd57-75e2-426f-a564-0cbad2516310","year":2000},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.982205Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:67cacdbdbc3b1460a8f99649e3864ef2a1532f3dd96745cc08c851732f2ad8a6","observation_id":"589288d4-6f64-4901-ba44-4d52e3d4a070","resolution":{"observed_at":"2026-08-12T15:30:27.269243Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.255193Z","title":"Cheri: A hybrid capability-system architecture for scalable software compartmentalization,","venue":null,"work_id":"7a0b6ed3-0e60-4903-b737-253855672303","year":2015},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.985175Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:f48c94e03c6428f8cc864e09169f2cf6fe96d589a4337573957a9b22d499c02a","observation_id":"13b16c77-7ba4-4df4-8dcf-b4addcbd3e83","resolution":{"observed_at":"2026-08-12T15:30:27.259003Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.245424Z","title":"An e fficient and backwards- compatible transformation to ensure memory safety of c programs,","venue":null,"work_id":"5d07e5a3-3af2-4eac-99fa-3f4f3e6e051b","year":2004},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.988171Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:8d61859f40a3155aca3eb0b08c2d38504735b50b58f2420122ad08457c8f5b07","observation_id":"db124a6a-9859-4cb1-b653-0d0ad7102f26","resolution":{"observed_at":"2026-08-12T15:30:27.248757Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.18852","last_updated":"2024-05-25T15:15:12Z","snapshot_observed_at":"2026-08-16T13:56:53.866577Z","submitted_at":"2024-04-29T16:45:03Z","title":"VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.18852","snapshot_observed_at":"2026-08-12T15:30:26.991295Z","title":"VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.991295Z"},"links":{"cited_paper":"/paper/2404.18852","citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:1cf2a43c5977c725a7b5cfc82fa162d02f1eb848d94d7cdf549523ae00d72823","observation_id":"7bfdb224-1d49-4028-a071-b0a0a8a4601c","resolution":{"observed_at":"2026-08-12T15:30:26.991295Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.13863","last_updated":"2023-03-09T07:23:25Z","snapshot_observed_at":"2026-08-16T15:52:24.492877Z","submitted_at":"2023-02-27T15:03:15Z","title":"Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version)","version":2},"cited_work":{"arxiv_id":"2302.13863","doi":null,"metadata_source":"pith","pith_arxiv_id":"2302.13863","snapshot_observed_at":"2026-08-12T15:30:27.043099Z","title":"Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version)","venue":"cs.CR","work_id":"ecac0150-2006-4b7f-a7a7-1b825f9f2cf8","year":2023},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.994727Z"},"links":{"cited_paper":"/paper/2302.13863","citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:280e998f1252024b2a3af7dee893a1457c2b618fd10cebbf5635561ecf4e19e4","observation_id":"d9f1816b-338e-42c8-8811-ca3c3ffe13fe","resolution":{"observed_at":"2026-08-12T15:30:27.048932Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.10515","last_updated":"2023-03-18T23:14:04Z","snapshot_observed_at":"2026-08-17T19:21:05.262977Z","submitted_at":"2023-03-18T23:14:04Z","title":"Ownership guided C to Rust translation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.10515","snapshot_observed_at":"2026-08-12T15:30:26.997895Z","title":"Ownership guided c to rust translation,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.997895Z"},"links":{"cited_paper":"/paper/2303.10515","citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:c54b4269d819d02aefbbe24fd9b9f224f11124d201ef39f1fef3260af0e62e5b","observation_id":"17dd3cfc-f964-44dc-af77-9deafbfeb0ec","resolution":{"observed_at":"2026-08-12T15:30:26.997895Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:30:27.235274Z","title":"Fat pointers for temporal memory safety of c,","venue":null,"work_id":"29284c5a-640f-4c27-ad41-0f1b727039ab","year":2022},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:27.001183Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:759c7c07e1567ef7ffb726b517f5de58f5e8437209754ddf3f12bf836dff78a2","observation_id":"a6e4887f-e6ac-4aa8-a859-72cf07736361","resolution":{"observed_at":"2026-08-12T15:30:27.238903Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.225056Z","title":"#url␣=>\\n","venue":null,"work_id":"aa840ca3-450e-4e2c-a016-e2464eda35da","year":null},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:27.004516Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:ed0bb97d74a950489475f17c796d9e2186a95c771c6038dbfbe659e36cfa5490","observation_id":"87e24373-ba6a-4ed6-a26f-bcfb2988d77e","resolution":{"observed_at":"2026-08-12T15:30:27.228550Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.215087Z","title":"Center\" C Output:","venue":null,"work_id":"b231419a-fd76-4a86-b75f-6388f1fbd737","year":null},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:27.007512Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:042c5e850c57abb66718d9a5f3e1bd899805c9a8af8295d8083c39f2d9be3ea0","observation_id":"14672c45-a069-4363-aa4a-eaadd136278c","resolution":{"observed_at":"2026-08-12T15:30:27.218640Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.562224Z","title":"Available: https: //api.semanticscholar.org/CorpusID: 2520229","venue":null,"work_id":"262d624e-e60c-49a7-b7b2-ce6a2cd2c3a6","year":null},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":2008,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.863441Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:b14a632bac73ff9d80072cd43c434c8627c6ed16637eaf1e68d7c38b55b1afaa","observation_id":"44e58be8-e641-4e39-8594-16cea87c2de7","resolution":{"observed_at":"2026-08-12T15:30:27.565213Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T15:30:27.467009Z","title":"Available: https: //github.com/google/oss-fuzz-vulns","venue":null,"work_id":"eac1561b-5571-4f0a-bd32-9b8539948c2c","year":null},"citing_paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study","version":2},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:26.904908Z"},"links":{"citing_paper":"/paper/2411.14174"},"observation_digest":"sha256:eb1808049034b47a967dd75b1eda125a50e647a6ce25e0ac72c02f7f2a654744","observation_id":"407e0d39-d948-46e8-b69f-d48c66556847","resolution":{"observed_at":"2026-08-12T15:30:27.470093Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.14174","last_updated":"2024-12-06T04:14:08Z","latest_version":2,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-14T18:24:31.664768Z","submitted_at":"2024-11-21T14:37:05Z","title":"Translating C To Rust: Lessons from a User Study"},"reference_resolution":{"displayed":65,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":2,"verified_fuzzy":55},"total_outbound_references":65},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 65 of 65 outbound references and 4 inbound Pith citation observations for arXiv:2411.14174."}