{"as_of":"2026-08-14T00:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9f8a2b47602287b483099696e51c8369f7fb6557eb9cf59a34b18c0c8044d10a","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-13T06:32:02.005865+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-12T15:38:49.911784Z","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:db3405f4c790c4184cd25db9a7f2ac66b8d9d4198c8dd1f4ff21a99798848cab","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-12T15:38:49.911784Z","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-07-06T21:24:39.918413Z","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:9de8cce55227b83ce0840a178f6d1cf4399322c9be461d2d10b12211aec10b7a","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:423b6b82de31e1b07a2f441b3ae88eb662e891d8b0c863d1b22f7a5d6d02230c","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:6ec171b4094923b1c202e7853dfd9e5ed6e6091f329dcf2a9ae759f08ff20af5","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:70b5730ba2b2a4c6847bb0c95894a7980cae2254629e7b338e6ee08cf9a33821","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:de07ff798e23151d83c3d5213163dfaa0b1b2754d151400d9c1d1a70876c66d3","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:d86fe9cd60a387d98cffa091a0a81af1b32b6a5a27261b42b260dc3e7854ed66","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:57b64afa484e07596d5f7954672b5c74d47e36222d73da3a6360f68974db8218","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:39f56eb1dbe3721dfa552da49f4d45addefb95814772d6a84fe4a9d6e4326f89","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:a2cce87e47ce23b30213be9a6ecc7c9019dca13539321ac74be94531c2fb9e07","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:a8d6df43f6b6f5a79f91645e79e4b309fb5ff6b74b47be20a4bba08074f0d7f9","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:ceaf4cd76b87a4c1c51b45f9ab2e4815aa676393032bb6a74671e2ddc4d56d17","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:ae1e5fd700400a78a62e43f46d0aa0d0a880410e5aaa630203d49da470c4a621","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:134317aecada6273e64ad03c03f1a950cd0fda7c9616f31878f8496b74cc6e8c","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:5662505431f22d95618f1ddf622fad365324b99ef963a47a27afa17e03b5a1af","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:74501fa921d4f7078351c13c4e223f2c8d6dbac98bc6a55b0f5a6bede1ca85df","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:b211a2388a75488c9de7e20a9883ad7e48c3537d5bf85b9072b11379c660356d","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:16ce3ef9ee508f16baba3a2902d2f5b6065adc2592459901d59171d0cccd08b7","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-13T10:39:55.528314Z","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-12T15:38:49.911784Z","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:0158d443b2655eccb5618b2853a902f37d5f480570e7bd17bad2c7c211eb1ba6","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-12T15:38:49.911784Z","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:f332dc4ae6728d515a27a2e462fa7b2fa193a64cc300d7ceadbdd437de847651","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:b95eb7e64ffac9206ad80035a7aecdd248bb8ff33e64f6e965bf9ec40daf2e2f","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:4621bc27a310950e57068666661a0ce6cec9bab0dc0553706736fdb12014292e","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:b842cb0b4dc7bd6ffaf2dee4640ec30b0ff14b304fed0c7eeb4380b741d47d34","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:f05ccaeac648fc3968b8eec57ba7fdc9a06d6ef78ea53b6dfdd271c402976187","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:765cddd99c669a47251d2c3192b8f920a0e79e38b3ef9840934629ee62aad3a2","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-12T15:38:49.911784Z","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:189fc3bb609ead0acd4ba1c3f2edf64023d0745c239bc1e7b491b4c27fecd20d","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:8b2cb7327f29539d40806384358e7cb73b883647d592a6bdae04ebb8ae1871f9","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:8de3e2e550199a7556e9237ca7da9d52ef21b8004331ebd352b61002c96094c6","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-13T00:04:22.244081Z","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-12T15:38:49.911784Z","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:a6041a4465d1ef6f4bfcc9672eb5b4ebaa35f2c44405a410d3c5fe8c9f890a4a","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-12T15:38:49.911784Z","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:5b1ca068b6f33243c7380966fd2f988f3affe5e555199ef5f0e781d0d755fd93","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:9e9f85f57b8c31bb33a82ce33629d03c2636c6a8d52e913552d9ff2ba9f2c209","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-13T13:36:52.431417Z","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-12T15:38:49.911784Z","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:9953f6f3891bd6c643fd0cc8c43bada64a18c0b3b7e5ea0a24960652e63a6ecc","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-12T15:38:49.911784Z","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:a1d25fefd5af027e31d47f5d1eededbbc99a7061bfb2efb11043c3ef5bff7eea","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:1029b03d563bb023f105802999438e39c935aa3fa46d69e1c95b0ef0e11b08d8","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:35f5fc44699e64b10a10a2c5cd18dec1eb147ca930bed6524237fb78f981fbe1","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-12T15:38:49.911784Z","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:4f7e2aa410b3e8bff15ad29ee44718fb1e2e8f630260463b0c0073870f4815f4","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:cbb654b5274d57985c711b84487ff1fc3d1a80f8c4af505d4d7a66a71a518c70","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:9f1683cf10cb405c43bbcfffc85989bd80906369b98291f93cc6485526a7ecc1","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:71896cfc2c91ed4cd451dba36e7a35993f2c03e8e9aa47f00110cd24fe0219d2","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:f01a1dbeea16b908f210e971f5723b3300c79502ee98315d72fb2c8d34edd463","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:b1658fdad5e1d96fc949cd72567858d056cf3bf70bc8858ad856b48c16182398","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:290f465729dd79b57b194ae3d15b112e01a7853c0086b6ccfb3fd3cc9726b317","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-04T04:51:36.840979Z","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-12T15:38:49.911784Z","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:0c0fd588c3492a1c7f0bce5b411fa930149097be2857ae90708081821bbd6211","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:cae3ae608dcdc7af8f206806d5a9fb1712899c3263524f96061e93a8afb262ea","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:2ba4eeecf62e39a40e6dee7b16a9c8a6eb45c453f9ab1fc4d1e6b08f037de9be","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:747a7e829c8d964d8aac0128c92c922b38c7fd774b4a56ff5acc16c340c08a91","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:64639daae833b6e0ede5a75ca8f3928c80711face19f7bc3645552c10b8c722c","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:80258fb07a75200a6f20d9b8d846dedfa0faec09fc3c9918410de2b11e5c76b2","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:06f96bbcf2323dbc255637207a86051866f4e6d6f1db4cdfbb798419bf212cf4","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:a8923ab97521fb6116980f8fdd0b33fb86cd607c438f18489e1d469bb85b0499","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:4cbeb42e0ed4d292cc5d11170be96f522d75a163f9873a0253c6a9c0af68ba47","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:088c185cafb4847fc2de0105839cd0ebe43b37413fe01ba8777b80a1510ce414","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:ad09fb359a31246f99e18bc8f5e3d3efb4bb0c1694dbf90a7091b475a6fe2de2","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-12T15:38:49.911784Z","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:976aa9e9ed11b6c73a1ce44c9b100b22b66b2ac1cb9b169674bad1449f019866","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:a805ec5e14ee57a92802d6ad8946e961272378aef11af93616cb7a90bd123b83","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:9bd57a7e888029b509381a063fe67a34100653da937d886977ec6bb068b7d806","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:7bf0add993d600cce6420925bd7e51152ac589f34932f0b72a5f25f76c12cea1","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:9bca0c23d877356713b14dd3c48edec223e0943a0d587fea2e05c38c1bf111f9","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:e81336ce044d377c427016e357b932c31b4510732756ffbf3e0a9535f0c297e2","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:6c9408e7dec6113badc36193cfdc648f367ef1d3765627c235d24bd6fec580b1","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:62ce50bfac7d47f23f28f8d3639196410e926a4c5100d24f772249b6554951b7","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-13T00:19:18.147606Z","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-12T15:38:49.911784Z","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:1ddcd456300ec4bcfb4b7dfc06fd2ddb98326ef8e51a6ac79a3a8702a7487716","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-13T12:36:47.350653Z","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-12T15:38:49.911784Z","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:f4b1030adbf85a06020ccee0dfb401d4269f137d500e31fbe2c7ee313cc63871","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-13T12:22:05.199603Z","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-12T15:38:49.911784Z","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:ed51a4b883bdac6c403d4f612719ebf05de670dfb40fedf84f219760210005c5","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-12T15:38:49.911784Z","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:768b405ac031ffabb61a7a88700677e70d76caa2421552324d85eac75253fc85","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:294a3070772a84c7d865b3acc521255fa431addc0cc0c4270b195c2ff312829e","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:a420f281c11d48d2eac5dff6b4bcf0620c07a8e72477e8a6a08779249a0510f2","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:ce406b379acfc70159b8f8260339fa165051e335b14166ac9fd3f943ff32f6cd","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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:bfb9a399c8c99055c8602924d12ec3020ee6543621cdc4c9b3363dae9bf86d0c","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:38:49.911784Z","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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 65 of 65 outbound references and 4 inbound Pith citation observations for arXiv:2411.14174."}