Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps | Paper Citation Record

Observation d6e4768b-b1fd-4e2b-b74b-24a816f3ca55 · outbound

This paper cites Automatic semantic augmentation of language model prompts (for code summarization).

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Automatic semantic augmentation of language model prompts (for code summarization)

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:20.824285Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0f8e2ab5-3c98-4d47-9e65-b73712e18143 · outbound

This paper cites Enhancing LLM Code Generation: A Systematic Evaluation of Multi-Agent Collaboration and Runtime Debugging for Improved Accuracy, Reliability, and Latency.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Enhancing LLM Code Generation: A Systematic Evaluation of Multi-Agent Collaboration and Runtime Debugging for Improved Accuracy, Reliability, and Latency

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:08.007222Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f1f828c-db0d-4afe-8ecd-e5dacd779551 · outbound

This paper cites Statically contextualizing large language models with typed holes.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Statically contextualizing large language models with typed holes

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:20.623171Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 23feee5e-bb25-4201-8e34-2f4002ab56ca · outbound

This paper cites Correctness Assessment of Code Generated by Large Language Models Using Internal Representations.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Correctness Assessment of Code Generated by Large Language Models Using Internal Representations

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:08.290078Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 247d28d4-e907-4e6b-830f-9f4eb9ba04dd · outbound

This paper cites Empirical evaluation of generalizable automated program repair with large language models.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Empirical evaluation of generalizable automated program repair with large language models

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:08.379642Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c25d7013-781a-43fc-be36-1e5c4b11ee13 · outbound

This paper cites Polyver: A compositional approach for polyglot system modeling and verification.arXiv preprint arXiv:2503.03207, 2025.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Polyver: A compositional approach for polyglot system modeling and verification.arXiv preprint arXiv:2503.03207, 2025

Reference 6

Resolution: verified exact; raw_fallback, observed 2026-08-06T18:07:14.748720Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation cc8bc8d6-29f9-452a-9a2d-30704ed26ba0 · outbound

This paper cites Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:08.531512Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3098640c-b7b6-4d8c-b6fd-ed0e696e4511 · outbound

This paper cites Search- based llms for code optimization.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Search- based llms for code optimization

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:20.405120Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 04aeca51-a514-49b5-8507-ecdfc018b51f · outbound

This paper cites an unresolved cited work.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-06T18:07:20.271509Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 541679fd-2b52-4583-8b18-dc11272dc13a · outbound

This paper cites Two sides of the same coin: Exploiting the impact of identifiers in neural code comprehension.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Two sides of the same coin: Exploiting the impact of identifiers in neural code comprehension

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:20.097004Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9cd2fe48-4ff6-4d97-bfc6-6c234d37a632 · outbound

This paper cites an unresolved cited work.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-06T18:07:19.894183Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 1bb36545-051f-46c3-8626-3f115dd663ba · outbound

This paper cites AST-T5: Structure-Aware Pretraining for Code Generation and Understanding.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps AST-T5: Structure-Aware Pretraining for Code Generation and Understanding

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:09.073668Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 15fb8641-0556-4630-b9e3-bee30b9c21b7 · outbound

This paper cites Large Language Models for Code Generation: A Comprehensive Survey of Challenges, Techniques, Evaluation, and Applications.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Large Language Models for Code Generation: A Comprehensive Survey of Challenges, Techniques, Evaluation, and Applications

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:09.143823Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d39f1e12-fb07-426f-8f90-128b74e92af2 · outbound

This paper cites Large Language Models (LLMs) for Source Code Analysis: applications, models and datasets.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Large Language Models (LLMs) for Source Code Analysis: applications, models and datasets

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:09.213015Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa925365-040d-4137-83f0-1cff62748879 · outbound

This paper cites Causality-aided evaluation and explanation of large language model- based code generation.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Causality-aided evaluation and explanation of large language model- based code generation

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:19.716178Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3e6b55f1-31c8-4624-9295-e9641bf76ff5 · outbound

This paper cites Testing and Understanding Erroneous Planning in LLM Agents through Synthesized User Inputs.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Testing and Understanding Erroneous Planning in LLM Agents through Synthesized User Inputs

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:09.384550Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a3a90a15-9809-41cc-8e7a-0cad555d4be0 · outbound

This paper cites Can Large Language Models Understand Intermediate Representations in Compilers?.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Can Large Language Models Understand Intermediate Representations in Compilers?

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:09.491778Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ee7b8ce-d645-4885-9f5f-75d8168f942c · outbound

This paper cites Codecrash: Stress testing llm reasoning under structural and semantic perturbations.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Codecrash: Stress testing llm reasoning under structural and semantic perturbations

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:09.585266Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14cc1e2a-3c67-4f87-b75f-c2c1844fa52c · outbound

This paper cites Nova: Generative language models for assem- bly code with hierarchical attention and con-trastive learning.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Nova: Generative language models for assem- bly code with hierarchical attention and con-trastive learning

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:19.453710Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 73b62a28-ecd5-498b-a597-f2bd8ae68ff2 · outbound

This paper cites Hallucination by Code Generation LLMs: Taxonomy, Benchmarks, Mitigation, and Challenges.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Hallucination by Code Generation LLMs: Taxonomy, Benchmarks, Mitigation, and Challenges

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:09.725728Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c9d1f36-597c-4cd7-824c-e8a46ec163fd · outbound

This paper cites The Hitchhiker's Guide to Program Analysis, Part II: Deep Thoughts by LLMs.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps The Hitchhiker's Guide to Program Analysis, Part II: Deep Thoughts by LLMs

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:09.794875Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32cc3ac3-7422-4bdf-9490-8c4792ca02cb · outbound

This paper cites Large language model powered symbolic execution.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Large language model powered symbolic execution

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:09.921996Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9660b09d-069a-4772-8b29-3643856e4ece · outbound

This paper cites Unleashing the power of compiler intermedi- ate representation to enhance neural program embeddings.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Unleashing the power of compiler intermedi- ate representation to enhance neural program embeddings

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:19.316659Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 66b29daf-739c-4e29-8ce8-5df267627189 · outbound

This paper cites An Empirical Study on Large Language Models in Accuracy and Robustness under Chinese Industrial Scenarios.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps An Empirical Study on Large Language Models in Accuracy and Robustness under Chinese Industrial Scenarios

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:10.060883Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 501b059a-1325-4c48-bb3e-a5733c595b0a · outbound

This paper cites On the accuracy and robustness of large language models in chinese industrial scenarios.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps On the accuracy and robustness of large language models in chinese industrial scenarios

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:19.081019Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation ab7b730c-4f4a-4b7b-941b-d7c785e56d6b · outbound

This paper cites CCTEST: testing and repairing code completion systems.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps CCTEST: testing and repairing code completion systems

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:18.918926Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0ba76af1-9f1f-4886-93ec-b201918b65ab · outbound

This paper cites On the feasibility of specialized ability stealing for large language code models.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps On the feasibility of specialized ability stealing for large language code models

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:18.694324Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 147ba1cb-9a9b-42f9-a2d8-8a00fc85fc46 · outbound

This paper cites Split and merge: Aligning position biases in LLM-based evaluators.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Split and merge: Aligning position biases in LLM-based evaluators

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:18.499179Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5b7d025a-8b9d-4675-87f4-2a8dba3efd76 · outbound

This paper cites Protect- ing intellectual property of large language model-based code genera- tion apis via watermarks.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Protect- ing intellectual property of large language model-based code genera- tion apis via watermarks

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:18.316398Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 72f4ca95-a2d7-4a90-aebc-9e01af932765 · outbound

This paper cites Reasoning as a Resource: Optimizing Fast and Slow Thinking in Code Generation Models.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Reasoning as a Resource: Optimizing Fast and Slow Thinking in Code Generation Models

Reference 30

Resolution: verified exact; local_arxiv, observed 2026-08-06T18:07:14.233951Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0411cc28-8326-41e3-bec4-6b7a6b7cd1ed · outbound

This paper cites Api-guided dataset synthesis to finetune large code models.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Api-guided dataset synthesis to finetune large code models

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:18.110379Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation de73bcb5-db04-469f-8398-20aca0a6b727 · outbound

This paper cites Differentiation-based extraction of proprietary data from fine-tuned llms.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Differentiation-based extraction of proprietary data from fine-tuned llms

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:17.947572Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 84a05e77-43a4-4b0a-8189-3cc5c21f7e00 · outbound

This paper cites Large language models can be guided to evade ai-generated text de- tection.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Large language models can be guided to evade ai-generated text de- tection

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:17.770121Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation a9301206-087d-46d6-9a74-c7259e675f56 · outbound

This paper cites Safe delta: Consistently preserving safety when fine-tuning LLMs on diverse datasets.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Safe delta: Consistently preserving safety when fine-tuning LLMs on diverse datasets

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:17.598808Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d4653e9a-e611-4f20-98d0-80c6c6b872e5 · outbound

This paper cites Less is More: Understanding Word-level Textual Adversarial Attack via n-gram Frequency Descend.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Less is More: Understanding Word-level Textual Adversarial Attack via n-gram Frequency Descend

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:17.400528Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0d4d8d16-4ed9-4e8c-829c-10e3ded44e21 · outbound

This paper cites Exploring Code Analysis: Zero-Shot Insights on Syntax and Semantics with LLMs.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Exploring Code Analysis: Zero-Shot Insights on Syntax and Semantics with LLMs

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:11.123799Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82e7c1d0-e73e-4810-87af-10da5c60450f · outbound

This paper cites Type-Constrained Code Generation with Language Models.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Type-Constrained Code Generation with Language Models

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:11.218875Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f826787c-6eb1-4afe-879e-ff11ab15a696 · outbound

This paper cites Static inference meets deep learning: a hybrid type inference approach for python.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Static inference meets deep learning: a hybrid type inference approach for python

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:17.289536Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation fc1ef2e8-1c65-42bb-a718-fe4f7160700b · outbound

This paper cites Do code llms do static analysis? arXiv preprint arXiv:2505.12118, 2025.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Do code llms do static analysis? arXiv preprint arXiv:2505.12118, 2025

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:11.461186Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74b5a994-2272-4be6-981a-90f4be89d77f · outbound

This paper cites ClassInvGen: Class Invariant Synthesis using Large Language Models.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps ClassInvGen: Class Invariant Synthesis using Large Language Models

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:11.584122Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8855da01-b176-4d7e-9553-4cd009c9eb16 · outbound

This paper cites Beyond peft: Layer-wise optimization for more effective and efficient large code model tuning.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Beyond peft: Layer-wise optimization for more effective and efficient large code model tuning

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:17.150970Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 36d562b1-aba6-4ddc-aa50-1c032722b738 · outbound

This paper cites A systematic evaluation of large code models in api suggestion: When, which, and how.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps A systematic evaluation of large code models in api suggestion: When, which, and how

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:16.967056Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 4cd76a1e-a321-4dc6-8e37-b5db6af4359a · outbound

This paper cites Reef: A framework for collecting real-world vulnerabilities and fixes.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Reef: A framework for collecting real-world vulnerabilities and fixes

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:16.831682Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 05347eba-95be-491b-808d-9dd930951f47 · outbound

This paper cites Enriching query semantics for code search with reinforcement learning.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Enriching query semantics for code search with reinforcement learning

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:16.693849Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 4e22568a-807d-434d-85b9-88949287da11 · outbound

This paper cites Prompt tuning in code intelligence: An experimental evaluation.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Prompt tuning in code intelligence: An experimental evaluation

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:16.503488Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 05fbfc81-2de1-4897-b095-6659fc05c185 · outbound

This paper cites RAG or Fine-tuning? A Comparative Study on LCMs-based Code Completion in Industry.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps RAG or Fine-tuning? A Comparative Study on LCMs-based Code Completion in Industry

Reference 46

Resolution: verified exact; local_arxiv, observed 2026-08-06T18:07:13.829091Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f155acf1-848c-410e-95ca-2df62dd551bf · outbound

This paper cites Llmdfa: Analyzing dataflow in code with large language models.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Llmdfa: Analyzing dataflow in code with large language models

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:16.334249Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e59aecd6-d868-442a-907c-d84efb3524cb · outbound

This paper cites Sanitizing large language models in bug detection with data- flow.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Sanitizing large language models in bug detection with data- flow

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:16.166849Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 36e661c1-154b-414d-9ce0-bf21f9297c68 · outbound

This paper cites sem2vec: Semantics-aware assembly tracelet embedding.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps sem2vec: Semantics-aware assembly tracelet embedding

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:15.990057Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7ba10a8f-41dc-445b-a839-932a7d52d0fa · outbound

This paper cites Navrepair: Node-type aware c/c++ code vulnerability repair.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Navrepair: Node-type aware c/c++ code vulnerability repair

Reference 50

Resolution: verified exact; raw_fallback, observed 2026-08-06T18:07:13.579493Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation bfe57d35-6010-4412-859f-85efe30fed51 · outbound

This paper cites Towards understanding the characteristics of code generation errors made by large language models.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Towards understanding the characteristics of code generation errors made by large language models

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:12.495792Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68b88d2d-fe9e-44b4-863d-4ec93b53e92a · outbound

This paper cites Zhang, and Qing Liao.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Zhang, and Qing Liao

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:15.846266Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7b120fb6-8323-42b3-93ed-7bfe96e8dce3 · outbound

This paper cites VulEval: Towards Repository-Level Evaluation of Software Vulnerability Detection.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps VulEval: Towards Repository-Level Evaluation of Software Vulnerability Detection

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:12.611529Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 85a4fb0b-d822-469e-a6ed-68cb5c171ca9 · outbound

This paper cites Refining Decompiled C Code with Large Language Models.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Refining Decompiled C Code with Large Language Models

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:12.671769Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 626ee597-6526-4a41-ac5f-95d3d9a2b845 · outbound

This paper cites BinAug: Enhancing binary similarity analysis with low-cost input repairing.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps BinAug: Enhancing binary similarity analysis with low-cost input repairing

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:15.625325Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e6aefab1-75c1-44c2-9528-05cbc7695647 · outbound

This paper cites Decllm: Llm-augmented recompilable decompilation for enabling programmatic use of decom- piled code.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Decllm: Llm-augmented recompilable decompilation for enabling programmatic use of decom- piled code

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:15.322855Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation c1cf64ad-5fa3-4ef6-abe6-1dbbc5493176 · outbound

This paper cites Formal Mathematical Reasoning: A New Frontier in AI.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Formal Mathematical Reasoning: A New Frontier in AI

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:12.858438Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3554da71-64e0-4298-94db-54b9212c0054 · outbound

This paper cites Robustness, Security, Privacy, Explainability, Efficiency, and Usability of Large Language Models for Code.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Robustness, Security, Privacy, Explainability, Efficiency, and Usability of Large Language Models for Code

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:12.908631Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d213cb82-2dbe-478c-809e-2963fa48d993 · outbound

This paper cites Order matters: Semantic-aware neural networks for binary code similarity detection.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Order matters: Semantic-aware neural networks for binary code similarity detection

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:07:15.058094Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation df35b2bc-d5b2-44e2-929d-a44a29a9fa90 · outbound

This paper cites Low-Cost and Comprehensive Non-textual Input Fuzzing with LLM-Synthesized Input Generators.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Low-Cost and Comprehensive Non-textual Input Fuzzing with LLM-Synthesized Input Generators

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:13.053523Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da9794cb-ebf7-43f7-82ac-2e96adba6eb8 · outbound

This paper cites An approach for API synthesis using large language models.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps An approach for API synthesis using large language models

Reference 61

Resolution: verified exact; local_arxiv, observed 2026-08-06T18:07:13.214111Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers