Paper Citation Record · LEDGER

Scalable, Validated Code Translation of Entire Projects using Large Language Models

As of 15 August 2026, this Paper Citation Record lists 60 of 60 outbound references and 5 inbound Pith citation observations for arXiv:2412.08035.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2412.08035 v1

Coverage vector

measured 60 of 60 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T18:21:49.355307Z

measured 65 of 65 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00

measured 5 of 5 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-11T12:28:46.567214Z

measured 1 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

60 of 60 outbound references displayed

verified exact0
verified fuzzy52
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

2
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

Observation 96359614-d319-439a-a107-01e2aba75946 · outbound

This paper cites Modernization of legacy systems: A general ised roadmap,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Modernization of legacy systems: A general ised roadmap,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:50.223534Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 5463fc9e-b3d1-41db-b79b-8df4f4c24ccb · outbound

This paper cites How do professionals perceive legacy systems and software modernization?,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models How do professionals perceive legacy systems and software modernization?,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:50.212651Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 52a01448-fb1c-4b42-b06d-c23779b9ce30 · outbound

This paper cites Tools to build on A WS.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Tools to build on A WS

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:50.201223Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation f839d555-660d-4ba0-afce-c2f49f43645a · outbound

This paper cites Cloud SDK: Libraries and command line interface.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Cloud SDK: Libraries and command line interface

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:50.189589Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 14457113-4f02-4cac-8599-7204d835cd19 · outbound

This paper cites Download Azure SDKs and tools.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Download Azure SDKs and tools

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:50.178429Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation a8538936-15bc-4a03-ac36-4ef22284b547 · outbound

This paper cites Eliminating memory safety vulnerabilities once and for all (DARPA).

Scalable, Validated Code Translation of Entire Projects using Large Language Models Eliminating memory safety vulnerabilities once and for all (DARPA)

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:50.166874Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 6c7dc2ea-e432-4d80-8a84-d4c3e6aa0d23 · outbound

This paper cites C2Rust transpiler.

Scalable, Validated Code Translation of Entire Projects using Large Language Models C2Rust transpiler

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:50.156177Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation b09f3ca6-dcb9-4bac-a2d1-b7f039a312e0 · outbound

This paper cites Ownership guided C to Rust t ranslation,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Ownership guided C to Rust t ranslation,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:50.144552Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation b58ab4f4-1e22-4e98-8e24-06c7dd97a4b7 · outbound

This paper cites Explain-then-translate: an analysis on improving program translation with self-generated explanations,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Explain-then-translate: an analysis on improving program translation with self-generated explanations,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:50.131820Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 395ee4a6-1d97-4a3f-819e-20a4af180231 · outbound

This paper cites Unsupe rvised translation of programming languages,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Unsupe rvised translation of programming languages,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:50.119675Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation f0cbf1f1-6aed-4e99-a897-925e79869b0c · outbound

This paper cites Leveraging automated unit tests for unsupervised code translation,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Leveraging automated unit tests for unsupervised code translation,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:50.105180Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 62a5f2b7-b6ae-49de-b5ec-5eeecd51e7e0 · outbound

This paper cites Code translation with compiler representa- tions,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Code translation with compiler representa- tions,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:50.093095Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation cdc3a4bb-0dd0-4229-a58b-b236db24a88f · outbound

This paper cites Rectifier: Code Translation with Corrector via LLMs.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Rectifier: Code Translation with Corrector via LLMs

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-11T18:21:49.166494Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cdeaf6c6-ca0a-4d13-aecb-0ff3aab7ea70 · outbound

This paper cites Lost in translation: A study of bugs introduced by large la nguage models while translating code,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Lost in translation: A study of bugs introduced by large la nguage models while translating code,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:50.081482Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation b28f384b-ea4f-465d-a188-7122bf9df41e · outbound

This paper cites Towards translating real-world code with LLMs: A study of translating to Rust,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Towards translating real-world code with LLMs: A study of translating to Rust,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:50.070337Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation bf8ac9e4-14af-4c4c-818a-c9703d75287e · outbound

This paper cites VERT: Veriﬁed equivalent Rust transpilation with large language models as few-shot learners,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models VERT: Veriﬁed equivalent Rust transpilation with large language models as few-shot learners,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:50.058861Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 3d1d6c4f-012b-4903-8a6b-ce5614e65fc6 · outbound

This paper cites Repository-level compositional code translation and validation,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Repository-level compositional code translation and validation,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:50.048078Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 3e074ecf-1a4d-43d7-8ea6-99f25c93d12b · outbound

This paper cites Context-aware code segmentatio n for C-to-Rust translation using large language models,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Context-aware code segmentatio n for C-to-Rust translation using large language models,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:50.037146Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 4f457818-b70f-486f-aaac-19bce3f4feac · outbound

This paper cites Operational semantics for multi- language programs,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Operational semantics for multi- language programs,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:50.026843Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 05dcf908-d659-4e88-810b-220b9070eb6b · outbound

This paper cites Moov ACH.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Moov ACH

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:50.015959Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 227f17f6-cec0-43d8-996f-d8a0abb37629 · outbound

This paper cites Featherweight Go,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Featherweight Go,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:50.004541Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 08d2f0ba-4dde-4c40-8b30-6129007ca4e7 · outbound

This paper cites Anyhow.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Anyhow

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.993622Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 0c38ea75-696c-4fcd-8020-dddc4cac9bd4 · outbound

This paper cites RustAssistant: Using LLMs to ﬁx compilation errors in Rust code,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models RustAssistant: Using LLMs to ﬁx compilation errors in Rust code,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.983725Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 67cc4c57-512b-446f-b3cd-53ccfcb51565 · outbound

This paper cites Claude.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Claude

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.973850Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation f10d4b43-28df-495a-93d6-57a5f0f545bb · outbound

This paper cites GPT-4 Technical Report.

Scalable, Validated Code Translation of Entire Projects using Large Language Models GPT-4 Technical Report

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-11T18:21:49.214498Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5d29be2-6b7e-4351-8471-79687dd1f5b5 · outbound

This paper cites Gemini.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Gemini

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.962514Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 1160f8b9-be3a-48ce-8788-f70fd0f0eac6 · outbound

This paper cites String comparison and edit distance algorithms library.

Scalable, Validated Code Translation of Entire Projects using Large Language Models String comparison and edit distance algorithms library

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.952494Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 80004534-e1d7-46ef-b6e2-b863faf57651 · outbound

This paper cites Stats – Golang statistics package.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Stats – Golang statistics package

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.941758Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 3071bcd9-eede-4988-a1a8-673f31786565 · outbound

This paper cites Textrank implementation in golang with extendable features (s ummarization, phrase extraction) and multithreading (goroutine).

Scalable, Validated Code Translation of Entire Projects using Large Language Models Textrank implementation in golang with extendable features (s ummarization, phrase extraction) and multithreading (goroutine)

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.931060Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 589bdc8e-162d-447c-b5d8-0d829d7db752 · outbound

This paper cites Streaming approximate histograms in Go.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Streaming approximate histograms in Go

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.919514Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 0cd1f9d3-5295-49ec-b831-2ad5a2827514 · outbound

This paper cites Takes a full name and splits it into individual name parts.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Takes a full name and splits it into individual name parts

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.908588Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 9e3f6165-2f41-48e2-ace4-e32683b88b32 · outbound

This paper cites Provide check digit algorithms and calculators written in Go.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Provide check digit algorithms and calculators written in Go

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.897581Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 83ef1b86-bf78-43b9-a1c3-86dd344b24c2 · outbound

This paper cites Transl ating C to safer Rust,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Transl ating C to safer Rust,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.886688Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 3119f8cd-b0aa-4a49-9a92-762b4a3c3dc9 · outbound

This paper cites C to Go translator.

Scalable, Validated Code Translation of Entire Projects using Large Language Models C to Go translator

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.875179Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation ae4386af-1133-4492-8b92-328dd30567a4 · outbound

This paper cites Sharpen – automated Java->C# coversion.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Sharpen – automated Java->C# coversion

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.863124Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 400312c7-482d-48e6-8b26-192f4849936c · outbound

This paper cites On the evaluatio n of neural code translation: Taxonomy and bench- mark,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models On the evaluatio n of neural code translation: Taxonomy and bench- mark,

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.852388Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 7f84c9ac-3423-437d-8e9b-e03a53235bf9 · outbound

This paper cites CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic Execution.

Scalable, Validated Code Translation of Entire Projects using Large Language Models CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic Execution

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-11T18:21:49.267727Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 573354b4-8347-4572-8ffa-1fdc910f8021 · outbound

This paper cites CodeFuse-13B: A pretrained multi-lingual code large language model,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models CodeFuse-13B: A pretrained multi-lingual code large language model,

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.842014Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation e9c5c0cd-2711-4160-98ff-21a0d5a90e64 · outbound

This paper cites StructCoder: Structure -aware transformer for code generation,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models StructCoder: Structure -aware transformer for code generation,

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.831327Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 6796be9b-7c44-4197-83b8-8a57bdf2efda · outbound

This paper cites CodeTransOcean: A Comprehensive Multilingual Benchmark for Code Translation.

Scalable, Validated Code Translation of Entire Projects using Large Language Models CodeTransOcean: A Comprehensive Multilingual Benchmark for Code Translation

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-11T18:21:49.280212Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 130320ed-e243-4b56-9dc3-4706618db8b9 · outbound

This paper cites CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks.

Scalable, Validated Code Translation of Entire Projects using Large Language Models CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-11T18:21:49.284374Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 239d5bd6-03c0-45f6-957c-ba4f9a5341d5 · outbound

This paper cites CodeXGLUE: A machine learning benchmark dataset for code understanding and generatio n,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models CodeXGLUE: A machine learning benchmark dataset for code understanding and generatio n,

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.820103Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation b910a7dc-5bbb-4afe-8f4e-11163033a30c · outbound

This paper cites AVATAR: A Parallel Corpus for Java-Python Program Translation.

Scalable, Validated Code Translation of Entire Projects using Large Language Models AVATAR: A Parallel Corpus for Java-Python Program Translation

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-11T18:21:49.291703Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58202513-52e6-497e-8e43-1f4bab78182a · outbound

This paper cites Is your code generated b y ChatGPT really correct? Rigorous evaluation of large language models for code generation,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Is your code generated b y ChatGPT really correct? Rigorous evaluation of large language models for code generation,

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.808444Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 7119d319-47b7-41c9-a662-80dda013a456 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Evaluating Large Language Models Trained on Code

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-11T18:21:49.298722Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8eb82eba-83cd-4242-81bd-961bde62d11a · outbound

This paper cites Multilingual code co-e volution using large language models,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Multilingual code co-e volution using large language models,

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.797642Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 515b8cf0-15c0-4c88-8da1-b73c393a5986 · outbound

This paper cites Automated program repair in the era of large pre-trained language models,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Automated program repair in the era of large pre-trained language models,

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.787538Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 5959586c-72e3-4a3b-9037-cf0187e14eb2 · outbound

This paper cites Contrastrep air: Enhancing conversation-based automated program repair via contrastive test case pairs,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Contrastrep air: Enhancing conversation-based automated program repair via contrastive test case pairs,

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-11T18:21:49.310439Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f93879a-8327-4501-b5b7-156436460554 · outbound

This paper cites Leve raging compiler intermediate representation for multi- and cross-language veriﬁcation,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Leve raging compiler intermediate representation for multi- and cross-language veriﬁcation,

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.777257Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 683cff87-51dd-41a9-aa57-46fa774bf3e2 · outbound

This paper cites Semantic s oundness for language interoperability,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Semantic s oundness for language interoperability,

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.766670Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation e9b75cbc-0eb8-4ec4-b3a9-77afa3f8eea3 · outbound

This paper cites Translation validation,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Translation validation,

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.755066Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 9eb5ac25-3d73-449c-b0b9-95fffa054019 · outbound

This paper cites Translation validation for an optimizing compiler ,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Translation validation for an optimizing compiler ,

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.743776Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 35955ab9-5023-4ec9-b390-3ac3ae56c326 · outbound

This paper cites HyDiﬀ: Hybrid diﬀerential software analysis,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models HyDiﬀ: Hybrid diﬀerential software analysis,

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.732570Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 9de10730-2f24-4d8d-bac7-1268d8b45cb0 · outbound

This paper cites Regres sion tests to expose change interaction errors,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Regres sion tests to expose change interaction errors,

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.720299Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 75d9ec16-a0bf-4aa1-a5eb-6b26e6ddac5c · outbound

This paper cites Shadow of a doubt: testing for divergences between software versions,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Shadow of a doubt: testing for divergences between software versions,

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.708808Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation a7969470-ecbb-43a2-b2d9-def73e8a4bb5 · outbound

This paper cites Directed increme ntal symbolic execution,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Directed increme ntal symbolic execution,

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.695643Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 54ddda4f-c18e-465f-8539-a918b4fd535b · outbound

This paper cites DLFuzz: Diﬀerentia l fuzzing testing of deep learning systems,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models DLFuzz: Diﬀerentia l fuzzing testing of deep learning systems,

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.684287Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 2c7d8036-f91f-4413-9753-9a175bb8df45 · outbound

This paper cites Automated behavioral regression t esting,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Automated behavioral regression t esting,

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.672771Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation d63b5b8e-789f-4b49-83e3-6f69f4963d7d · outbound

This paper cites Diﬀuzz: diﬀerent ial fuzzing for side-channel analysis,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models Diﬀuzz: diﬀerent ial fuzzing for side-channel analysis,

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.660864Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation eee16bd9-f084-44a6-a56f-4bb6f7839ac2 · outbound

This paper cites N ezha: Eﬃcient domain-independent diﬀerential testing,.

Scalable, Validated Code Translation of Entire Projects using Large Language Models N ezha: Eﬃcient domain-independent diﬀerential testing,

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:21:49.648416Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Pith citing papers

Observation a920ea95-c1a7-4d98-85c8-e53c125bdabe · 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 Scalable, Validated Code Translation of Entire Projects using Large Language Models

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-11T12:28:46.567214Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 958bc4fb-45da-4f19-9e6c-9daa9db88d33 · inbound

SafeTrans: LLM-assisted Transpilation from C to Rust cites this paper.

SafeTrans: LLM-assisted Transpilation from C to Rust Scalable, Validated Code Translation of Entire Projects using Large Language Models

Reference 48

Resolution: verified exact; arxiv_id, observed 2026-05-22T14:14:55.708143Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 43719c67-8ff5-443b-90f1-2539ff5977eb · inbound

Across Programming Language Silos: A Study on Cross-Lingual Retrieval-augmented Code Generation cites this paper.

Across Programming Language Silos: A Study on Cross-Lingual Retrieval-augmented Code Generation Scalable, Validated Code Translation of Entire Projects using Large Language Models

Reference 28

Resolution: verified exact; arxiv_id, observed 2026-05-19T11:53:03.456179Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 01ea8f79-ae87-42dc-9d9b-03026e0b59b9 · inbound

Project-Level C-to-Rust Translation via Pointer Knowledge Graphs cites this paper.

Project-Level C-to-Rust Translation via Pointer Knowledge Graphs Scalable, Validated Code Translation of Entire Projects using Large Language Models

Reference 33

Resolution: verified exact; arxiv_id, observed 2026-05-18T08:31:06.696444Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 4721a56a-3f02-44cd-b0eb-fd843de4edd5 · inbound

ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation cites this paper.

ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation Scalable, Validated Code Translation of Entire Projects using Large Language Models

Reference 20

Resolution: verified exact; arxiv_id, observed 2026-05-11T10:46:05.146885Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.