Paper Citation Record · LEDGER

A Neural-based Program Decompiler

As of 22 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 1 inbound Pith citation observation for arXiv:1906.12029.

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

pith.paper-citation-record.v1
1906.12029 v1

Coverage vector

measured 40 of 40 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-25T14:01:00.636863Z

measured 41 of 41 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-12T14:44:21.046584Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-12T14:44:21.269919Z

Reference resolution

40 of 40 outbound references displayed

verified exact8
verified fuzzy27
unresolved5
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 618e8e75-68fe-486d-bc5d-93903eb78dc4 · outbound

This paper cites Effective and efﬁcient malware detection at the end host.

A Neural-based Program Decompiler Effective and efﬁcient malware detection at the end host

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.225611Z

Source-reported events for the cited work

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

Observation db639c32-042a-471a-bd44-cb2c8c280c5a · outbound

This paper cites Helping johnny to analyze malware: A usability-optimized decompiler and malware analysis user study.

A Neural-based Program Decompiler Helping johnny to analyze malware: A usability-optimized decompiler and malware analysis user study

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.330542Z

Source-reported events for the cited work

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

Observation 9f0cf7c7-d7cf-42fa-96e6-d2825aa5304a · outbound

This paper cites Tie: Principled reverse engineering of types in binary programs.

A Neural-based Program Decompiler Tie: Principled reverse engineering of types in binary programs

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.209742Z

Source-reported events for the cited work

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

Observation c751f79b-73fe-4ed4-bc43-645ec51e0e91 · outbound

This paper cites Lexical statistical machine translation for language migration.

A Neural-based Program Decompiler Lexical statistical machine translation for language migration

Reference 4

Resolution: verified exact; arxiv_id, observed 2026-05-25T14:05:54.263830Z

Source-reported events for the cited work

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

Observation 02876bc8-4b70-4b8d-91ee-c7f1bd8be37b · outbound

This paper cites Divide-and-conquer approach for multi-phase statistical migration for source code (t).

A Neural-based Program Decompiler Divide-and-conquer approach for multi-phase statistical migration for source code (t)

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.213651Z

Source-reported events for the cited work

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

Observation bdf9f7d8-741a-4a35-9ca2-8976f9e10cae · outbound

This paper cites Using recurrent neural networks for decompilation.

A Neural-based Program Decompiler Using recurrent neural networks for decompilation

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.217650Z

Source-reported events for the cited work

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

Observation c9bb3914-e296-4c0c-b101-49e936888e44 · outbound

This paper cites Explaining and extending the bit-parallel approximate string matching algorithm of myers.

A Neural-based Program Decompiler Explaining and extending the bit-parallel approximate string matching algorithm of myers

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.221967Z

Source-reported events for the cited work

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

Observation 812029aa-6eff-4c6d-82d1-94b23baf86e6 · outbound

This paper cites {BYTEWEIGHT}: Learning to recognize functions in binary code.

A Neural-based Program Decompiler {BYTEWEIGHT}: Learning to recognize functions in binary code

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.229619Z

Source-reported events for the cited work

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

Observation 33e02194-5564-4a7c-b56c-c3d287d1f7ea · outbound

This paper cites Bincomp: A stratiﬁed approach to compiler provenance attribution.

A Neural-based Program Decompiler Bincomp: A stratiﬁed approach to compiler provenance attribution

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.237837Z

Source-reported events for the cited work

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

Observation ff766985-8edd-4194-8ef0-8c6f7ddd173b · outbound

This paper cites Learning to analyze binary computer code.

A Neural-based Program Decompiler Learning to analyze binary computer code

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.341196Z

Source-reported events for the cited work

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

Observation 74ed8dd4-bdfd-4ee0-876c-a565baacd175 · outbound

This paper cites Recognizing functions in binaries with neural networks.

A Neural-based Program Decompiler Recognizing functions in binaries with neural networks

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.335650Z

Source-reported events for the cited work

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

Observation 0173e22d-283c-455a-a796-0256c6638ff5 · outbound

This paper cites Meaningful variable names for decompiled code: A machine translation approach.

A Neural-based Program Decompiler Meaningful variable names for decompiled code: A machine translation approach

Reference 12

Resolution: verified exact; arxiv_id, observed 2026-05-25T14:05:54.274651Z

Source-reported events for the cited work

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

Observation 1a4f9deb-5504-4454-bd3d-56ba3182e24b · outbound

This paper cites Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks.

A Neural-based Program Decompiler Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks

Reference 13

Resolution: verified exact; local_arxiv, observed 2026-05-25T14:05:54.558337Z

Source-reported events for the cited work

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

Observation 459e7174-6f5f-4ed1-a06b-82fc4be16dca · outbound

This paper cites Tree-to-tree neural networks for program translation.

A Neural-based Program Decompiler Tree-to-tree neural networks for program translation

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.312107Z

Source-reported events for the cited work

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

Observation c5fc4f33-701d-4582-8414-8576342a708d · outbound

This paper cites Language to logical form with neural attention.

A Neural-based Program Decompiler Language to logical form with neural attention

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.304524Z

Source-reported events for the cited work

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

Observation 54d5ea36-1ce9-46ec-88b2-efbcbf1caf7a · outbound

This paper cites Learned in translation: Contextualized word vectors.

A Neural-based Program Decompiler Learned in translation: Contextualized word vectors

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.308335Z

Source-reported events for the cited work

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

Observation d345002d-5170-4825-ba5f-3d421c9998eb · outbound

This paper cites mipt-mips.

A Neural-based Program Decompiler mipt-mips

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.300342Z

Source-reported events for the cited work

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

Observation 31a84c1d-82a7-488f-b456-89e26c07a8d8 · outbound

This paper cites an unresolved cited work.

A Neural-based Program Decompiler Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-05-25T14:07:04.299975Z

Source-reported events for the cited work

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

Observation ffbbee1b-564a-4291-8eab-cce31840e4a5 · outbound

This paper cites Kane, MIPS RISC Architecture.

A Neural-based Program Decompiler Kane, MIPS RISC Architecture

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.316298Z

Source-reported events for the cited work

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

Observation 8836e835-5944-4745-b142-cfbe493748f4 · outbound

This paper cites Intel ® 64 and ia-32 architectures software developer manuals.

A Neural-based Program Decompiler Intel ® 64 and ia-32 architectures software developer manuals

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.321544Z

Source-reported events for the cited work

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

Observation 48d08442-60d9-4499-9bfa-505f4322df94 · outbound

This paper cites Karel the robot.

A Neural-based Program Decompiler Karel the robot

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.285049Z

Source-reported events for the cited work

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

Observation d711407f-bab8-4b23-a758-40b41d4ded30 · outbound

This paper cites Math c++ library.

A Neural-based Program Decompiler Math c++ library

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.294392Z

Source-reported events for the cited work

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

Observation 2180fc1c-f072-45b1-9966-92d5ab098a45 · outbound

This paper cites an unresolved cited work.

A Neural-based Program Decompiler Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-05-25T14:07:04.262249Z

Source-reported events for the cited work

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

Observation 818b4110-eb0e-41bb-9a98-808c01d18fa0 · outbound

This paper cites an unresolved cited work.

A Neural-based Program Decompiler Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-05-25T14:07:04.265809Z

Source-reported events for the cited work

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

Observation b7af906d-27c7-4bab-8adb-4321f7265d8d · outbound

This paper cites Stochastic superoptimization.

A Neural-based Program Decompiler Stochastic superoptimization

Reference 25

Resolution: verified exact; doi, observed 2026-05-25T14:05:54.268099Z

Source-reported events for the cited work

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

Observation e8d0b02d-fd08-4fd3-a034-9611cd705643 · outbound

This paper cites an unresolved cited work.

A Neural-based Program Decompiler Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-05-25T14:07:04.277471Z

Source-reported events for the cited work

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

Observation 3c0c7356-0baa-4fce-832b-257634e707fa · outbound

This paper cites Cifuentes, Reverse compilation techniques.

A Neural-based Program Decompiler Cifuentes, Reverse compilation techniques

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.258692Z

Source-reported events for the cited work

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

Observation fe566d6b-3cdc-414f-87ec-5e3082464d9e · outbound

This paper cites Using a decompiler for real-world source recovery.

A Neural-based Program Decompiler Using a decompiler for real-world source recovery

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.254130Z

Source-reported events for the cited work

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

Observation d5df9f2d-2f9e-4922-9fa8-3e94a3b8262c · outbound

This paper cites Bap: A binary analysis platform.

A Neural-based Program Decompiler Bap: A binary analysis platform

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.277875Z

Source-reported events for the cited work

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

Observation 9edd17a8-58e8-418e-8187-1a0c7f1462c5 · outbound

This paper cites Native x86 decompilation using semantics- preserving structural analysis and iterative control-ﬂow structuring.

A Neural-based Program Decompiler Native x86 decompilation using semantics- preserving structural analysis and iterative control-ﬂow structuring

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.289949Z

Source-reported events for the cited work

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

Observation cedffea2-bfc1-4a4f-9bcf-372079274f6a · outbound

This paper cites an unresolved cited work.

A Neural-based Program Decompiler Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-05-25T14:07:04.241335Z

Source-reported events for the cited work

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

Observation 1521976e-9c17-41b2-830c-e58c2aa66270 · outbound

This paper cites Virtuoso: Narrowing the semantic gap in virtual machine introspection.

A Neural-based Program Decompiler Virtuoso: Narrowing the semantic gap in virtual machine introspection

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.245448Z

Source-reported events for the cited work

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

Observation 99455696-924c-42ee-ade7-2e355f3df7ef · outbound

This paper cites Latent predictor networks for code generation.

A Neural-based Program Decompiler Latent predictor networks for code generation

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.266135Z

Source-reported events for the cited work

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

Observation 44b196c3-5e0e-453f-9bfb-66258631bfd3 · outbound

This paper cites A syntactic neural model for general-purpose code generation.

A Neural-based Program Decompiler A syntactic neural model for general-purpose code generation

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.281177Z

Source-reported events for the cited work

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

Observation ef8dfef2-69ea-40d6-9323-7d3584ef298c · outbound

This paper cites Abstract Syntax Networks for Code Generation and Semantic Parsing.

A Neural-based Program Decompiler Abstract Syntax Networks for Code Generation and Semantic Parsing

Reference 35

Resolution: verified exact; local_arxiv, observed 2026-05-25T14:05:54.564102Z

Source-reported events for the cited work

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

Observation 11ed8582-0d26-4253-acf4-3bf4e03fb205 · outbound

This paper cites Towards Synthesizing Complex Programs from Input-Output Examples.

A Neural-based Program Decompiler Towards Synthesizing Complex Programs from Input-Output Examples

Reference 36

Resolution: verified exact; local_arxiv, observed 2026-05-25T14:05:54.569410Z

Source-reported events for the cited work

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

Observation 762690a3-3bae-4035-9c42-18fd6d8ecbf2 · outbound

This paper cites Execution-guided neural program synthesis.

A Neural-based Program Decompiler Execution-guided neural program synthesis

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.304141Z

Source-reported events for the cited work

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

Observation 9e36a753-7d00-49d2-be79-3fa019eeaef7 · outbound

This paper cites Deepﬁx: Fixing common c language errors by deep learning.

A Neural-based Program Decompiler Deepﬁx: Fixing common c language errors by deep learning

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T14:07:04.326007Z

Source-reported events for the cited work

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

Observation cf00f7d7-11cf-446f-a70c-ecfc75417850 · outbound

This paper cites Learning Program Embeddings to Propagate Feedback on Student Code.

A Neural-based Program Decompiler Learning Program Embeddings to Propagate Feedback on Student Code

Reference 39

Resolution: verified exact; local_arxiv, observed 2026-05-25T14:05:54.553577Z

Source-reported events for the cited work

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

Observation f0846b5e-2dad-44f2-82d8-8be1e2f0068a · outbound

This paper cites Dynamic Neural Program Embedding for Program Repair.

A Neural-based Program Decompiler Dynamic Neural Program Embedding for Program Repair

Reference 40

Resolution: verified exact; local_arxiv, observed 2026-05-25T14:05:54.574578Z

Source-reported events for the cited work

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

Pith citing papers

Observation a3294ff3-a20c-4971-b334-f86591e378b4 · inbound

Leveraging LLMs for Legacy Code Modernization: Challenges and Opportunities for LLM-Generated Documentation cites this paper.

Leveraging LLMs for Legacy Code Modernization: Challenges and Opportunities for LLM-Generated Documentation A Neural-based Program Decompiler

Reference 30

Resolution: verified exact; local_arxiv, observed 2026-08-12T14:44:21.275934Z

Source-reported events for the cited work

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