Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-23T07:04:09.614807Z
Paper Citation Record · LEDGER
NESA: Relational Neuro-Symbolic Static Program Analysis
As of 5 August 2026, this Paper Citation Record lists 57 of 57 outbound references and 3 inbound Pith citation observations for arXiv:2412.14399.
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-05T06:32:48.257954+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-05T23:02:03.437794Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-05T02:28:24.338817Z
Reference resolution
57 of 57 outbound references displayed
- verified exact24
- verified fuzzy14
- unresolved2
- parse uncertain0
- malformed identifier2
- metadata mismatch15
External citation measurements
0
pith, observed 2026-08-05T02:28:24.338817Z
Outbound references
Observation c8af7d8d-ffee-42d0-8b52-5257c5791704 · outbound
This paper cites an unresolved cited work.
NESA: Relational Neuro-Symbolic Static Program Analysis Unresolved cited work
Reference 1
- Resolution
- verified exact
- doi, observed 2026-05-23T07:05:28.722368Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation d1cf5816-8f49-41a4-9a4e-7595b18049d1 · outbound
This paper cites Exocompilation for productive programming of hardware accelerators.
NESA: Relational Neuro-Symbolic Static Program Analysis Exocompilation for productive programming of hardware accelerators
Reference 2
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-23T07:05:28.689901Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation bcf999c2-e9e4-40d6-b425-ee2481b54055 · outbound
This paper cites O’Hearn, and Hongseok Yang.
NESA: Relational Neuro-Symbolic Static Program Analysis O’Hearn, and Hongseok Yang
Reference 3
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-23T07:05:28.827419Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation c26feb1f-4f25-4e98-9321-25ae1bd1d6ca · outbound
This paper cites McDaniel.
NESA: Relational Neuro-Symbolic Static Program Analysis McDaniel
Reference 4
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-23T07:05:28.831324Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 00d3b4ca-3c3b-44c7-b5bc-f1bc68f634ac · outbound
This paper cites Semfix: program repair via semantic analysis.
NESA: Relational Neuro-Symbolic Static Program Analysis Semfix: program repair via semantic analysis
Reference 5
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-23T07:05:28.849127Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 84f82850-a990-42d3-b033-e6bc30ac5a3c · outbound
This paper cites Provenfix: Temporal property-guided program repair.
NESA: Relational Neuro-Symbolic Static Program Analysis Provenfix: Temporal property-guided program repair
Reference 6
- Resolution
- verified exact
- doi, observed 2026-05-23T07:05:28.800094Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 3c700ee6-4eae-44a3-9df4-6f0daf922093 · outbound
This paper cites Available: http://doi.acm.org/10.1145/2892208.2892235.
NESA: Relational Neuro-Symbolic Static Program Analysis Available: http://doi.acm.org/10.1145/2892208.2892235
Reference 7
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-23T07:05:28.780470Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation df0c5bad-fa44-4378-b058-e49191a342f6 · outbound
This paper cites Pinpoint: fast and precise sparse value flow analysis for million lines of code.
NESA: Relational Neuro-Symbolic Static Program Analysis Pinpoint: fast and precise sparse value flow analysis for million lines of code
Reference 8
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-23T07:05:28.659642Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 82fc8afe-5347-4fc7-9ef2-a36b8fe221d4 · outbound
This paper cites Murphy-Hill, and Robert W.
NESA: Relational Neuro-Symbolic Static Program Analysis Murphy-Hill, and Robert W
Reference 9
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-23T07:05:28.678524Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 04d394e3-36ce-4c3a-88bc-2a64abf0f225 · outbound
This paper cites What developers want and need from program analysis: an empirical study.
NESA: Relational Neuro-Symbolic Static Program Analysis What developers want and need from program analysis: an empirical study
Reference 10
- Resolution
- verified exact
- arxiv_id, observed 2026-05-23T07:05:28.765068Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation c14705a5-333f-416c-a6b6-53ae279632c7 · outbound
This paper cites SIRO: empowering version compatibility in intermediate representations via program synthesis.
NESA: Relational Neuro-Symbolic Static Program Analysis SIRO: empowering version compatibility in intermediate representations via program synthesis
Reference 11
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-23T07:05:28.709845Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation f662eb03-64e6-4755-9edf-a7bd8aa8f032 · outbound
This paper cites Repocoder: Repository-level code completion through iterative retrieval and generation.
NESA: Relational Neuro-Symbolic Static Program Analysis Repocoder: Repository-level code completion through iterative retrieval and generation
Reference 12
- Resolution
- verified exact
- doi, observed 2026-05-23T07:05:28.804051Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation d7a3642a-e692-4822-9f76-046bce894f23 · outbound
This paper cites Copiloting the copilots: Fusing large language models with completion engines for automated program repair.
NESA: Relational Neuro-Symbolic Static Program Analysis Copiloting the copilots: Fusing large language models with completion engines for automated program repair
Reference 13
- Resolution
- verified exact
- arxiv_id, observed 2026-05-23T07:05:28.785415Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation c92f960e-7367-4d26-b810-157165d8f0ec · outbound
This paper cites Jimenez, John Yang, Alexander Wettig, Shunyu Yao, Kexin Pei, Ofir Press, and Karthik R.
NESA: Relational Neuro-Symbolic Static Program Analysis Jimenez, John Yang, Alexander Wettig, Shunyu Yao, Kexin Pei, Ofir Press, and Karthik R
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T08:47:46.180536Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 4ad7d938-19d6-4f03-93b4-7c8238f7143e · outbound
This paper cites Fuzz4All: Universal Fuzzing with Large Language Models.
NESA: Relational Neuro-Symbolic Static Program Analysis Fuzz4All: Universal Fuzzing with Large Language Models
Reference 15
- Resolution
- verified exact
- arxiv_id, observed 2026-05-23T07:05:28.672259Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 3233e634-be64-4cce-8568-e10b113601dc · outbound
This paper cites If LLM Is the Wizard, Then Code Is the Wand: A Survey on How Code Empowers Large Language Models to Serve as Intelligent Agents.
NESA: Relational Neuro-Symbolic Static Program Analysis If LLM Is the Wizard, Then Code Is the Wand: A Survey on How Code Empowers Large Language Models to Serve as Intelligent Agents
Reference 16
- Resolution
- verified exact
- arxiv_id, observed 2026-05-23T07:05:28.838597Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 39dfac85-7e9a-4c2f-9250-c942726772f2 · outbound
This paper cites Siren's Song in the AI Ocean: A Survey on Hallucination in Large Language Models.
NESA: Relational Neuro-Symbolic Static Program Analysis Siren's Song in the AI Ocean: A Survey on Hallucination in Large Language Models
Reference 17
- Resolution
- verified exact
- local_arxiv, observed 2026-05-23T07:05:28.753203Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 5e62bac4-ea57-45ae-9d24-d3819d923943 · outbound
This paper cites Classes of recursively enumerable sets and their decision problems.
NESA: Relational Neuro-Symbolic Static Program Analysis Classes of recursively enumerable sets and their decision problems
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T08:47:46.176640Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 023ab38b-c577-4756-bdd6-06235a629a60 · outbound
This paper cites an unresolved cited work.
NESA: Relational Neuro-Symbolic Static Program Analysis Unresolved cited work
Reference 19
- Resolution
- verified exact
- doi, observed 2026-05-23T07:05:28.788330Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation ae784ac1-1e88-4d76-a780-c09857efa89c · outbound
This paper cites an unresolved cited work.
NESA: Relational Neuro-Symbolic Static Program Analysis Unresolved cited work
Reference 20
- Resolution
- verified exact
- doi, observed 2026-05-23T07:05:28.683473Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 522817da-a38b-4f11-a455-2e961669e751 · outbound
This paper cites Taintbench: Automatic real-world malware benchmarking of android taint analyses.
NESA: Relational Neuro-Symbolic Static Program Analysis Taintbench: Automatic real-world malware benchmarking of android taint analyses
Reference 21
- Resolution
- verified exact
- doi, observed 2026-05-23T07:05:28.646202Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 8eaf965f-9c38-41d9-8956-0ed5af15411d · outbound
This paper cites Fink, and Rastislav Bodík.
NESA: Relational Neuro-Symbolic Static Program Analysis Fink, and Rastislav Bodík
Reference 22
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-23T07:05:28.758883Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 40bc15a1-7892-42a3-ba27-1d4ffc67f592 · outbound
This paper cites Plankton: Reconciling binary code and debug information.
NESA: Relational Neuro-Symbolic Static Program Analysis Plankton: Reconciling binary code and debug information
Reference 23
- Resolution
- verified exact
- arxiv_id, observed 2026-05-23T07:05:28.748629Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation c2057fab-79ed-4cc5-8762-08a3453f79ca · outbound
This paper cites A wrapper script to build whole-program LLVM bitcode files.
NESA: Relational Neuro-Symbolic Static Program Analysis A wrapper script to build whole-program LLVM bitcode files
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:05:31.040229Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation ea3d5a07-3eec-4c72-a733-f189be56b97b · outbound
This paper cites QL: object-oriented queries on relational data.
NESA: Relational Neuro-Symbolic Static Program Analysis QL: object-oriented queries on relational data
Reference 25
- Resolution
- malformed identifier
- doi_truncated, observed 2026-05-23T07:05:28.819876Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 869bb051-16df-4d68-9a51-3637da13da86 · outbound
This paper cites an unresolved cited work.
NESA: Relational Neuro-Symbolic Static Program Analysis Unresolved cited work
Reference 26
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T08:47:46.169037Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e43c4916-1d2f-4978-90d5-cc10564f1edb · outbound
This paper cites E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification.
NESA: Relational Neuro-Symbolic Static Program Analysis E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification
Reference 27
- Resolution
- verified exact
- arxiv_id, observed 2026-05-23T07:05:28.843658Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation df0cb9a1-b1c5-4ef1-81a0-766319b38ef2 · outbound
This paper cites Exploiting Code Symmetries for Learning Program Semantics.
NESA: Relational Neuro-Symbolic Static Program Analysis Exploiting Code Symmetries for Learning Program Semantics
Reference 28
- Resolution
- verified exact
- arxiv_id, observed 2026-05-23T07:05:28.770144Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 9f281d50-95db-4b40-92b0-a6e1ffcc58e4 · outbound
This paper cites Ethainter: a smart contract security analyzer for composite vulnerabilities.
NESA: Relational Neuro-Symbolic Static Program Analysis Ethainter: a smart contract security analyzer for composite vulnerabilities
Reference 29
- Resolution
- verified exact
- arxiv_id, observed 2026-05-23T07:05:28.715139Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation c39aabab-46f1-46b3-aac4-ed554d34dd15 · outbound
This paper cites Chi, Quoc V.
NESA: Relational Neuro-Symbolic Static Program Analysis Chi, Quoc V
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T08:47:46.165497Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation ccf6bab9-79ff-46c9-b5b0-086d624b7faa · outbound
This paper cites Towards mitigating LLM hallucination via self reflection.
NESA: Relational Neuro-Symbolic Static Program Analysis Towards mitigating LLM hallucination via self reflection
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:05:30.665561Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 5c738d61-bc69-4821-ab21-e70390e7577c · outbound
This paper cites Tree-sitter-a new parsing system for programming tools.
NESA: Relational Neuro-Symbolic Static Program Analysis Tree-sitter-a new parsing system for programming tools
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:05:30.669569Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation c49cf1a4-872a-43df-86dc-66b779b1855d · outbound
This paper cites PointerBench - A Points-to and Alias Analysis Benchmark Suite.
NESA: Relational Neuro-Symbolic Static Program Analysis PointerBench - A Points-to and Alias Analysis Benchmark Suite
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:05:30.641817Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 61cfb803-cdb0-4a59-be66-dd83041c8d26 · outbound
This paper cites CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks.
NESA: Relational Neuro-Symbolic Static Program Analysis CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks
Reference 34
- Resolution
- verified exact
- arxiv_id, observed 2026-05-23T07:05:29.301816Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 4f9ac0fc-eef5-4e7f-ba2d-48ec01b3c1a8 · outbound
This paper cites A program slicer for java (tool paper).
NESA: Relational Neuro-Symbolic Static Program Analysis A program slicer for java (tool paper)
Reference 35
- Resolution
- verified exact
- doi, observed 2026-05-23T07:05:28.719074Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 00ae5992-9940-4939-b5f4-03e64ad96660 · outbound
This paper cites The analysis policies of different clients.
NESA: Relational Neuro-Symbolic Static Program Analysis The analysis policies of different clients
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:05:31.047312Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation a3d2d60f-4d6f-4a22-9826-bf5f80ade508 · outbound
This paper cites Porting doop to soufflé: a tale of inter-engine portability for datalog-based analyses.
NESA: Relational Neuro-Symbolic Static Program Analysis Porting doop to soufflé: a tale of inter-engine portability for datalog-based analyses
Reference 37
- Resolution
- verified exact
- arxiv_id, observed 2026-05-23T07:05:28.742391Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 82382100-5e51-44d4-bc77-2fb1ef9ef46d · outbound
This paper cites What you always wanted to know about datalog (and never dared to ask).
NESA: Relational Neuro-Symbolic Static Program Analysis What you always wanted to know about datalog (and never dared to ask)
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:05:31.050852Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 9abc128e-8371-4458-bca9-edf93ee33e9e · outbound
This paper cites Port, Kotagiri Ramamohanarao, and Krishnamurthy Meenakshi.
NESA: Relational Neuro-Symbolic Static Program Analysis Port, Kotagiri Ramamohanarao, and Krishnamurthy Meenakshi
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:05:31.053929Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation c0df966b-5eea-46cc-8d14-46868fe2e651 · outbound
This paper cites an unresolved cited work.
NESA: Relational Neuro-Symbolic Static Program Analysis Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T07:05:31.057233Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 4e8431c6-f46c-4802-b1db-f449da6e6678 · outbound
This paper cites Semgrep*: Improving the limited performance of static application security testing (SAST) tools.
NESA: Relational Neuro-Symbolic Static Program Analysis Semgrep*: Improving the limited performance of static application security testing (SAST) tools
Reference 41
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-23T07:05:28.733329Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 059427d3-a191-43b2-8b79-09b7bc633d1c · outbound
This paper cites Clang-Tidy.
NESA: Relational Neuro-Symbolic Static Program Analysis Clang-Tidy
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:05:31.043827Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 522bc2be-cd97-4295-92bc-4d282db34e33 · outbound
This paper cites an unresolved cited work.
NESA: Relational Neuro-Symbolic Static Program Analysis Unresolved cited work
Reference 43
- Resolution
- verified exact
- doi, observed 2026-05-23T07:05:28.822602Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 51a463c6-6e60-45e3-b68d-03c2e7b7372e · outbound
This paper cites DIFFBASE: a differential factbase for effective software evolution management.
NESA: Relational Neuro-Symbolic Static Program Analysis DIFFBASE: a differential factbase for effective software evolution management
Reference 44
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-23T07:05:28.703331Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 5defc42b-b4ef-4741-bf54-edf0e2a6d0c0 · outbound
This paper cites Modeling and discovering vulnerabilities with code property graphs.
NESA: Relational Neuro-Symbolic Static Program Analysis Modeling and discovering vulnerabilities with code property graphs
Reference 45
- Resolution
- verified exact
- doi, observed 2026-05-23T07:05:28.811094Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation cfca2f39-cd54-4985-888d-8328f606eb55 · outbound
This paper cites Using datalog for fast and easy program analysis.
NESA: Relational Neuro-Symbolic Static Program Analysis Using datalog for fast and easy program analysis
Reference 46
- Resolution
- malformed identifier
- doi_truncated, observed 2026-05-23T07:05:28.774577Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 2124a58e-f384-481c-a8bb-c9b10d28f43d · outbound
This paper cites Strictly declarative specification of sophisticated points-to analyses.
NESA: Relational Neuro-Symbolic Static Program Analysis Strictly declarative specification of sophisticated points-to analyses
Reference 47
- Resolution
- verified exact
- arxiv_id, observed 2026-05-23T07:05:28.793362Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 448c5043-a81f-4ab4-a383-2e5d122dbc8a · outbound
This paper cites Soufflé: On synthesis of program analyzers.
NESA: Relational Neuro-Symbolic Static Program Analysis Soufflé: On synthesis of program analyzers
Reference 48
- Resolution
- verified exact
- doi, observed 2026-05-23T07:05:28.651227Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 8b7eabeb-a4d7-4288-934c-fe81c85054b4 · outbound
This paper cites Nyx: Detecting exploitable front-running vulnerabilities in smart contracts.
NESA: Relational Neuro-Symbolic Static Program Analysis Nyx: Detecting exploitable front-running vulnerabilities in smart contracts
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:05:31.060852Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation f2d83e63-a742-4ca4-8397-264a47731fd1 · outbound
This paper cites Practical se- curity analysis of zero-knowledge proof circuits.
NESA: Relational Neuro-Symbolic Static Program Analysis Practical se- curity analysis of zero-knowledge proof circuits
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T08:47:46.172979Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 674a5b27-202c-4228-b518-c95494d2b763 · outbound
This paper cites ARBITRAR: user-guided API misuse detection.
NESA: Relational Neuro-Symbolic Static Program Analysis ARBITRAR: user-guided API misuse detection
Reference 51
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-23T07:05:28.854168Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation f0e84f83-38c0-488b-a93b-5a4e0585679f · outbound
This paper cites Dataflow analysis-inspired deep learning for efficient vulnerability detection.
NESA: Relational Neuro-Symbolic Static Program Analysis Dataflow analysis-inspired deep learning for efficient vulnerability detection
Reference 52
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-23T07:05:28.816466Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 38a73cf6-3bfc-4d50-b523-361c5d8250c4 · outbound
This paper cites Liang, Y.-C.
NESA: Relational Neuro-Symbolic Static Program Analysis Liang, Y.-C
Reference 53
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-23T07:05:28.727796Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 49afceb9-4a91-4724-8f2d-c303f9be3847 · outbound
This paper cites Hoppity: Learning graph transformations to detect and fix bugs in programs.
NESA: Relational Neuro-Symbolic Static Program Analysis Hoppity: Learning graph transformations to detect and fix bugs in programs
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T07:05:31.036774Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation cd988c13-fd3a-4a63-bab2-71a9e350f9de · outbound
This paper cites Evaluating the effectiveness of deep learning models for foundational program analysis tasks.
NESA: Relational Neuro-Symbolic Static Program Analysis Evaluating the effectiveness of deep learning models for foundational program analysis tasks
Reference 55
- Resolution
- verified exact
- doi, observed 2026-05-23T07:05:28.807538Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 0f2c0c2f-d20d-4e62-8920-3487793c46b9 · outbound
This paper cites In 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20.
NESA: Relational Neuro-Symbolic Static Program Analysis In 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20
Reference 56
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-23T07:05:28.696672Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e3ae3fd9-f9ef-4af0-8087-eb25c2dd03cb · outbound
This paper cites Enhancing static analysis for practical bug detection: An llm-integrated approach.
NESA: Relational Neuro-Symbolic Static Program Analysis Enhancing static analysis for practical bug detection: An llm-integrated approach
Reference 57
- Resolution
- verified exact
- doi, observed 2026-05-23T07:05:28.796677Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Pith citing papers
Observation 779100e0-6f5e-4d01-ae36-4b8033ddd7fb · inbound
Position: Intelligent Coding Systems Should Write Programs with Justifications cites this paper.
Position: Intelligent Coding Systems Should Write Programs with Justifications NESA: Relational Neuro-Symbolic Static Program Analysis
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:02:03.437794Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1274fc21-3a86-4697-b633-6e46af792a35 · inbound
LLM as an Execution Estimator: Recovering Missing Dependency for Practical Time-travelling Debugging cites this paper.
LLM as an Execution Estimator: Recovering Missing Dependency for Practical Time-travelling Debugging NESA: Relational Neuro-Symbolic Static Program Analysis
Reference 45
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T16:20:46.954053Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 29d1f12c-ff72-4311-b073-ad4758287861 · inbound
Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis cites this paper.
Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis NESA: Relational Neuro-Symbolic Static Program Analysis
Reference 42
- Resolution
- verified exact
- local_arxiv, observed 2026-05-14T20:12:54.457453Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.