Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T15:30:27.007512Z
Paper Citation Record · LEDGER
Translating C To Rust: Lessons from a User Study
As of 17 August 2026, this Paper Citation Record lists 65 of 65 outbound references and 4 inbound Pith citation observations for arXiv:2411.14174.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-11T12:28:46.316270Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-07-04T15:39:56.828635Z
Reference resolution
65 of 65 outbound references displayed
- verified exact2
- verified fuzzy55
- unresolved8
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 205e069b-d44d-4438-8d72-d02ca64112f4 · outbound
This paper cites C ++ core guidelines.
Translating C To Rust: Lessons from a User Study C ++ core guidelines
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.689393Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 4b945f1f-b6f7-4ba9-b3bf-38c21f3ce25c · outbound
This paper cites A command-line benchmarking tool.
Translating C To Rust: Lessons from a User Study A command-line benchmarking tool
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.681188Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation c26c007b-32e4-4ef1-b204-d24cb7801492 · outbound
This paper cites Developer echosystem 2023: Rust.
Translating C To Rust: Lessons from a User Study Developer echosystem 2023: Rust
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.673311Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 0b2b06d5-c118-4dd8-a793-1fb721d28914 · outbound
This paper cites Dynamically sized types.
Translating C To Rust: Lessons from a User Study Dynamically sized types
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.665331Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 85f9bd35-7cd8-47c8-bb26-a48bc0e1083c · outbound
This paper cites Google c ++ style guide: Static and global variables.
Translating C To Rust: Lessons from a User Study Google c ++ style guide: Static and global variables
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.657398Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 474adda4-ac9f-45cb-b35f-fe2312645051 · outbound
This paper cites The heartblead bug (cve-2014-0160).
Translating C To Rust: Lessons from a User Study The heartblead bug (cve-2014-0160)
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.648898Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation e7ec31cb-9de7-436a-b3ab-2b361ea7a1d2 · outbound
This paper cites Linux kernel coding style.
Translating C To Rust: Lessons from a User Study Linux kernel coding style
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.640407Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 04f1e905-a345-4012-a571-30b4c7c8c77a · outbound
This paper cites Oxidation.
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.631895Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation ec9fbd0c-93f0-4cd1-b2b1-81d8c051ae94 · outbound
This paper cites References and borrowing - the rust programming language.
Translating C To Rust: Lessons from a User Study References and borrowing - the rust programming language
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.623636Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation b31e7425-1a05-4caa-bb53-96f0d233b43f · outbound
This paper cites Thread local storage (rust).
Translating C To Rust: Lessons from a User Study Thread local storage (rust)
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.615218Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 2023efe1-27c8-45d8-8846-3d58a020f209 · outbound
This paper cites Thread local storage (rust standard library).
Translating C To Rust: Lessons from a User Study Thread local storage (rust standard library)
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.607017Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation a7acb695-3dd5-414a-b189-b35ccf3af783 · outbound
This paper cites Type punning.
Translating C To Rust: Lessons from a User Study Type punning
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.598360Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation c685f03c-da5f-409f-bf5c-c9396b3e2bfb · outbound
This paper cites ”the web /local.
Translating C To Rust: Lessons from a User Study ”the web /local
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.590242Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 823c265a-684d-46f1-8d7a-44c62a6be098 · outbound
This paper cites Arm MTE architecture: Enhancing memory safety,.
Translating C To Rust: Lessons from a User Study Arm MTE architecture: Enhancing memory safety,
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.581944Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 972b10fc-7656-4fff-80d8-49a48c19ee9a · outbound
This paper cites Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code.
Translating C To Rust: Lessons from a User Study Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T15:30:26.857178Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 172ea392-0733-41e6-81af-28de6ef0c05e · outbound
This paper cites Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs,.
Translating C To Rust: Lessons from a User Study Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs,
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.573476Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 2520eb43-6d18-4c7c-9243-3b90f559ec53 · outbound
This paper cites Rad: a compile-time solution to buffer overflow attacks,.
Translating C To Rust: Lessons from a User Study Rad: a compile-time solution to buffer overflow attacks,
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.556792Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 45ec7583-1efb-474f-b57a-0a62465030bc · outbound
This paper cites Ownership types: A survey,.
Translating C To Rust: Lessons from a User Study Ownership types: A survey,
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.548462Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 32dd7b48-8936-4e65-a4ae-3392e7da2822 · outbound
This paper cites Dependent types for low-level programming,.
Translating C To Rust: Lessons from a User Study Dependent types for low-level programming,
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.539872Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation b6030372-231f-4ee1-a438-cd2eda9d8015 · outbound
This paper cites Stackguard: Automatic adaptive detection and prevention of bu ffer-overflow attacks,.
Translating C To Rust: Lessons from a User Study Stackguard: Automatic adaptive detection and prevention of bu ffer-overflow attacks,
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.531468Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 7dcec7bc-3b84-4eb2-9849-e7c40c81fd07 · outbound
This paper cites E ffectivesan: type and memory error detection using dynamically typed c /c++,.
Translating C To Rust: Lessons from a User Study E ffectivesan: type and memory error detection using dynamically typed c /c++,
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T15:30:26.877890Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4e10255e-1c3a-4975-af5c-9dc19bff5594 · outbound
This paper cites Checked c: Making c safe by extension,.
Translating C To Rust: Lessons from a User Study Checked c: Making c safe by extension,
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.522773Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation a506b042-72ff-48ce-8556-8c76ebb11cab · outbound
This paper cites Aliasing limits on translating c to safe rust,.
Translating C To Rust: Lessons from a User Study Aliasing limits on translating c to safe rust,
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.513938Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation f3d20615-4f0d-4e47-8556-70510ca5c519 · outbound
This paper cites Translating c to safer rust,.
Translating C To Rust: Lessons from a User Study Translating c to safer rust,
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.504915Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation ab1c60dd-8ca4-4bad-b5b6-6be6b3f51b83 · outbound
This paper cites Towards Translating Real-World Code with LLMs: A Study of Translating to Rust.
Translating C To Rust: Lessons from a User Study Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T15:30:26.889207Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation badddd72-6225-408a-9d79-aa0fa47d7b83 · outbound
This paper cites Afl ++: combining incremental steps of fuzzing research,.
Translating C To Rust: Lessons from a User Study Afl ++: combining incremental steps of fuzzing research,
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.496022Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 1ad1a342-75ae-4ac9-838e-d6f5ffab65b2 · outbound
This paper cites Flow-sensitive type qualifiers,.
Translating C To Rust: Lessons from a User Study Flow-sensitive type qualifiers,
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.487032Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation dfc4545e-829e-4044-ae42-49ab6f4f8528 · outbound
This paper cites Program Repair.
Translating C To Rust: Lessons from a User Study Program Repair
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T15:30:26.898725Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ab6fd987-a4bb-41cf-8d60-5925b761b759 · outbound
This paper cites Oss-fuzz vulnerabilities github repository,.
Translating C To Rust: Lessons from a User Study Oss-fuzz vulnerabilities github repository,
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.478479Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 27133b60-4321-401f-9452-051e31d55f31 · outbound
This paper cites Sticky tags: Efficient and deterministic spatial memory error mitigation using persistent memory tags,.
Translating C To Rust: Lessons from a User Study Sticky tags: Efficient and deterministic spatial memory error mitigation using persistent memory tags,
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.461169Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation a150d8af-7526-4621-8ce4-5f28e1ffed3e · outbound
This paper cites Data-oriented programming: On the expressiveness of non-control data attacks,.
Translating C To Rust: Lessons from a User Study Data-oriented programming: On the expressiveness of non-control data attacks,
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T15:30:26.910797Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7c153239-2baf-43e1-a769-e07df3e328e6 · outbound
This paper cites Using safety properties to generate vulnerability patches,.
Translating C To Rust: Lessons from a User Study Using safety properties to generate vulnerability patches,
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.447647Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 6c28b20e-ac61-49ac-b17c-3946cf2a0fa5 · outbound
This paper cites c2rust: Migrate C code to Rust,.
Translating C To Rust: Lessons from a User Study c2rust: Migrate C code to Rust,
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.438898Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation cdd649bf-d343-4295-b0fe-0b73a93353d7 · outbound
This paper cites Cyclone: A safe dialect of c,.
Translating C To Rust: Lessons from a User Study Cyclone: A safe dialect of c,
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.430498Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation ea602c66-a677-4c6a-ad0c-67b463ea220f · outbound
This paper cites Practical {Data-Only} attack generation,.
Translating C To Rust: Lessons from a User Study Practical {Data-Only} attack generation,
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.422304Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 1254fc89-2299-4543-ba51-8b6aa558fa93 · outbound
This paper cites Rustbelt: Securing the foundations of the rust programming language,.
Translating C To Rust: Lessons from a User Study Rustbelt: Securing the foundations of the rust programming language,
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.413934Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation d3949bed-4cbb-479e-bc46-53270d6bd801 · outbound
This paper cites A hybrid alias analysis and its application to global variable protection in the linux kernel,.
Translating C To Rust: Lessons from a User Study A hybrid alias analysis and its application to global variable protection in the linux kernel,
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.405680Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation fc527f9f-54f3-4164-8990-ad1205ccaa3b · outbound
This paper cites A formal model of checked c,.
Translating C To Rust: Lessons from a User Study A formal model of checked c,
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.396820Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 192d7966-19f4-4e17-9d3e-7c26cae047ba · outbound
This paper cites PAC it up: Towards Pointer Integrity using ARM Pointer Authentication.
Translating C To Rust: Lessons from a User Study PAC it up: Towards Pointer Integrity using ARM Pointer Authentication
Reference 39
- Resolution
- verified exact
- local_arxiv, observed 2026-08-12T15:30:27.123361Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 211e9f62-4194-42ac-9c7c-8792693ee9aa · outbound
This paper cites C to checked c by 3c,.
Translating C To Rust: Lessons from a User Study C to checked c by 3c,
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.388683Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation c2d7ccfd-fd92-4d17-9551-247f2017c29a · outbound
This paper cites Bsd coreutils is a port of many utilities from bsd to linux and macos,.
Translating C To Rust: Lessons from a User Study Bsd coreutils is a port of many utilities from bsd to linux and macos,
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.380579Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 8e645784-e326-4d44-b4bd-393fe8f24772 · outbound
This paper cites Hybrid concolic testing,.
Translating C To Rust: Lessons from a User Study Hybrid concolic testing,
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.372548Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 7c98863b-a2d5-40fb-9c63-331de124deff · outbound
This paper cites Softbound: highly compatible and complete spatial memory safety for c,.
Translating C To Rust: Lessons from a User Study Softbound: highly compatible and complete spatial memory safety for c,
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.364472Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 8c3f483b-28c3-471b-ad1b-9567f5d2ce1b · outbound
This paper cites Cets: compiler enforced temporal safety for c,.
Translating C To Rust: Lessons from a User Study Cets: compiler enforced temporal safety for c,
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.355816Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 9f90b11e-0fc0-4b0d-a2c0-20524cda5604 · outbound
This paper cites Ccured: Type-safe retrofitting of legacy software,.
Translating C To Rust: Lessons from a User Study Ccured: Type-safe retrofitting of legacy software,
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.347730Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 3441b1b7-f473-4e02-bee6-bd1868100a2d · outbound
This paper cites Ccured: type-safe retrofitting of legacy software,.
Translating C To Rust: Lessons from a User Study Ccured: type-safe retrofitting of legacy software,
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.339154Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 669eeec9-bd75-4862-bc53-9928c91d27dd · outbound
This paper cites libmpk: Software abstraction for intel memory protection keys (intel {MPK}),.
Translating C To Rust: Lessons from a User Study libmpk: Software abstraction for intel memory protection keys (intel {MPK}),
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.330404Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation d32d9ceb-8a29-4e9b-85ee-8c2e1433a7aa · outbound
This paper cites Symbolic execution with symcc: Don’t interpret, compile!.
Translating C To Rust: Lessons from a User Study Symbolic execution with symcc: Don’t interpret, compile!
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.321780Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation f8e606e9-5eff-4b21-b319-1faa25e4efed · outbound
This paper cites Localizing vulnerabilities statistically from one exploit,.
Translating C To Rust: Lessons from a User Study Localizing vulnerabilities statistically from one exploit,
Reference 49
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T15:30:26.965009Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c7245162-5b75-4b5e-8d51-b45e520c8941 · outbound
This paper cites Provenfix: Temporal property guided program repair,.
Translating C To Rust: Lessons from a User Study Provenfix: Temporal property guided program repair,
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.313037Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 0b0896ec-1c32-494e-94b6-82d19449d10c · outbound
This paper cites Sok: Eternal war in memory,.
Translating C To Rust: Lessons from a User Study Sok: Eternal war in memory,
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.304325Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 9067be56-8099-448b-a928-6612a4c8e6b4 · outbound
This paper cites Address space layout randomization.
Translating C To Rust: Lessons from a User Study Address space layout randomization
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.295628Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 0bb314df-e853-473a-929f-46c86b593d8d · outbound
This paper cites Enforcing forward-edge control-flow integrity in gcc & llvm,.
Translating C To Rust: Lessons from a User Study Enforcing forward-edge control-flow integrity in gcc & llvm,
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.286678Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 957351be-bd36-40d5-9d26-9d34685f2c06 · outbound
This paper cites Exec shield,.
Translating C To Rust: Lessons from a User Study Exec shield,
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.277886Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 589288d4-6f64-4901-ba44-4d52e3d4a070 · outbound
This paper cites The realities of language conversions,.
Translating C To Rust: Lessons from a User Study The realities of language conversions,
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.269243Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 13b16c77-7ba4-4df4-8dcf-b4addcbd3e83 · outbound
This paper cites Cheri: A hybrid capability-system architecture for scalable software compartmentalization,.
Translating C To Rust: Lessons from a User Study Cheri: A hybrid capability-system architecture for scalable software compartmentalization,
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.259003Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation db124a6a-9859-4cb1-b653-0d0ad7102f26 · outbound
This paper cites An e fficient and backwards- compatible transformation to ensure memory safety of c programs,.
Translating C To Rust: Lessons from a User Study An e fficient and backwards- compatible transformation to ensure memory safety of c programs,
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.248757Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 7bfdb224-1d49-4028-a071-b0a0a8a4601c · outbound
This paper cites VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners.
Translating C To Rust: Lessons from a User Study VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
Reference 58
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T15:30:26.991295Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d9f1816b-338e-42c8-8811-ca3c3ffe13fe · outbound
This paper cites Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version).
Translating C To Rust: Lessons from a User Study Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version)
Reference 59
- Resolution
- verified exact
- local_arxiv, observed 2026-08-12T15:30:27.048932Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 17dd3cfc-f964-44dc-af77-9deafbfeb0ec · outbound
This paper cites Ownership guided C to Rust translation.
Translating C To Rust: Lessons from a User Study Ownership guided C to Rust translation
Reference 60
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T15:30:26.997895Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a6e4887f-e6ac-4aa8-a859-72cf07736361 · outbound
This paper cites Fat pointers for temporal memory safety of c,.
Translating C To Rust: Lessons from a User Study Fat pointers for temporal memory safety of c,
Reference 61
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.238903Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 87e24373-ba6a-4ed6-a26f-bcfb2988d77e · outbound
This paper cites #url␣=>\n.
Reference 64
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.228550Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 14672c45-a069-4363-aa4a-eaadd136278c · outbound
This paper cites Center" C Output:.
Translating C To Rust: Lessons from a User Study Center" C Output:
Reference 65
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.218640Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 44e58be8-e641-4e39-8594-16cea87c2de7 · outbound
This paper cites Available: https: //api.semanticscholar.org/CorpusID: 2520229.
Translating C To Rust: Lessons from a User Study Available: https: //api.semanticscholar.org/CorpusID: 2520229
Reference 2008
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.565213Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 407e0d39-d948-46e8-b69f-d48c66556847 · outbound
This paper cites Available: https: //github.com/google/oss-fuzz-vulns.
Translating C To Rust: Lessons from a User Study Available: https: //github.com/google/oss-fuzz-vulns
Reference 2024
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:30:27.470093Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Pith citing papers
Observation a180e753-599f-4a69-99b1-598a4ce6ac3d · inbound
Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis cites this paper.
Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis Translating C To Rust: Lessons from a User Study
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T12:28:46.316270Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 407db1d7-c897-46ca-bbce-5599832f3e39 · inbound
SafeTrans: LLM-assisted Transpilation from C to Rust cites this paper.
SafeTrans: LLM-assisted Transpilation from C to Rust Translating C To Rust: Lessons from a User Study
Reference 21
- Resolution
- verified exact
- arxiv_id, observed 2026-05-22T14:14:55.642327Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 5d4ce252-2bdf-49a3-a1a5-2222767574d7 · inbound
ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation cites this paper.
ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation Translating C To Rust: Lessons from a User Study
Reference 26
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T10:46:05.056180Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 438704e0-eb91-443a-b39f-ba4cabcf24f5 · inbound
Mostly Automatic Translation of Language Interpreters from C to Safe Rust cites this paper.
Mostly Automatic Translation of Language Interpreters from C to Safe Rust Translating C To Rust: Lessons from a User Study
Reference 29
- Resolution
- verified exact
- arxiv_id, observed 2026-07-04T15:39:56.830374Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.