Copertina

Static Program Slicing Using Language Models With Dataflow-Aware Pretraining and Constrained Decoding

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	He, Pengfei, Wang, Shaowei, Chen, Tse-Hsun, Asaduzzaman, Muhammad
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering Artificial Intelligence Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding
di: He, Pengfei, et al.
Pubblicazione: (2025)

Benchmarking LLM Code Generation for Audio Programming with Visual Dataflow Languages
di: Zhang, William, et al.
Pubblicazione: (2024)

ZS4C: Zero-Shot Synthesis of Compilable Code for Incomplete Code Snippets using LLMs
di: Kabir, Azmain, et al.
Pubblicazione: (2024)

LLMParser: An Exploratory Study on Using Large Language Models for Log Parsing
di: Ma, Zeyang, et al.
Pubblicazione: (2024)

Towards Structured, State-Aware, and Execution-Grounded Reasoning for Software Engineering Agents
di: Tse-Hsun, et al.
Pubblicazione: (2026)

A Comprehensive Framework for Evaluating API-oriented Code Generation in Large Language Models
di: Wu, Yixi, et al.
Pubblicazione: (2024)

Refactoring Programs Using Large Language Models with Few-Shot Examples
di: Shirafuji, Atsushi, et al.
Pubblicazione: (2023)

Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models
di: Liu, Ruibang, et al.
Pubblicazione: (2024)

Towards Repository-Level Program Verification with Large Language Models
di: Zhong, Si Cheng, et al.
Pubblicazione: (2025)

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
di: Xia, Shihao, et al.
Pubblicazione: (2026)

LibreLog: Accurate and Efficient Unsupervised Log Parsing Using Open-Source Large Language Models
di: Ma, Zeyang, et al.
Pubblicazione: (2024)

Perish or Flourish? A Holistic Evaluation of Large Language Models for Code Generation in Functional Programming
di: Lang, Nguyet-Anh H., et al.
Pubblicazione: (2026)

Evaluating the Performance of Large Language Models in Competitive Programming: A Multi-Year, Multi-Grade Analysis
di: Dumitran, Adrian Marius, et al.
Pubblicazione: (2024)

Natural Language-Oriented Programming (NLOP): Towards Democratizing Software Creation
di: Beheshti, Amin
Pubblicazione: (2024)

Order Matters! An Empirical Study on Large Language Models' Input Order Bias in Software Fault Localization
di: Rafi, Md Nakhla, et al.
Pubblicazione: (2024)

Statically Contextualizing Large Language Models with Typed Holes
di: Blinn, Andrew, et al.
Pubblicazione: (2024)

Program Skeletons for Automated Program Translation
di: Wang, Bo, et al.
Pubblicazione: (2025)

A Preliminary Study of Multilingual Code Language Models for Code Generation Task Using Translated Benchmarks
di: Dandamudi, Rohit, et al.
Pubblicazione: (2024)

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
di: Zhou, Tianyang, et al.
Pubblicazione: (2025)

AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation
di: Sun, Zhensu, et al.
Pubblicazione: (2024)

LLMs Lean on Priors, Not Programming Language Semantics
di: Thimmaiah, Aditya, et al.
Pubblicazione: (2025)

CODEPROMPTZIP: Code-specific Prompt Compression for Retrieval-Augmented Generation in Coding Tasks with LMs
di: He, Pengfei, et al.
Pubblicazione: (2025)

RobuNFR: Evaluating the Robustness of Large Language Models on Non-Functional Requirements Aware Code Generation
di: Lin, Feng, et al.
Pubblicazione: (2025)

SuperCoder: Assembly Program Superoptimization with Large Language Models
di: Wei, Anjiang, et al.
Pubblicazione: (2025)

Analysis of AdvFusion: Adapter-based Multilingual Learning for Code Large Language Models
di: Esmaeili, Amirreza, et al.
Pubblicazione: (2025)

PPM: Automated Generation of Diverse Programming Problems for Benchmarking Code Generation Models
di: Chen, Simin, et al.
Pubblicazione: (2024)

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
di: Endres, Madeline, et al.
Pubblicazione: (2023)

Can LLMs Enable Verification in Mainstream Programming?
di: Shefer, Aleksandr, et al.
Pubblicazione: (2025)

Assessing the Interpretability of Programmatic Policies with Large Language Models
di: Bashir, Zahra, et al.
Pubblicazione: (2023)

Solving Data-centric Tasks using Large Language Models
di: Barke, Shraddha, et al.
Pubblicazione: (2024)

dafny-annotator: AI-Assisted Verification of Dafny Programs
di: Poesia, Gabriel, et al.
Pubblicazione: (2024)

Certified Program Synthesis with a Multi-Modal Verifier
di: Feng, Yueyang, et al.
Pubblicazione: (2026)

Herb.jl: A Unifying Program Synthesis Library
di: Hinnerichs, Tilman, et al.
Pubblicazione: (2025)

CodeMind: Evaluating Large Language Models for Code Reasoning
di: Liu, Changshu, et al.
Pubblicazione: (2024)

LangGPT: Rethinking Structured Reusable Prompt Design Framework for LLMs from the Programming Language
di: Wang, Ming, et al.
Pubblicazione: (2024)

SLMFix: Leveraging Small Language Models for Error Fixing with Reinforcement Learning
di: Fu, David Jiahao, et al.
Pubblicazione: (2025)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
di: Chakraborty, Saikat, et al.
Pubblicazione: (2024)

Studying the Impact of Early Test Termination Due to Assertion Failure on Code Coverage and Spectrum-based Fault Localization
di: Uddin, Md. Ashraf, et al.
Pubblicazione: (2025)

AutoCode: LLMs as Problem Setters for Competitive Programming
di: Zhou, Shang, et al.
Pubblicazione: (2025)

ClassInvGen: Class Invariant Synthesis using Large Language Models
di: Sun, Chuyue, et al.
Pubblicazione: (2025)