:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Long, Zhangbo, Sha, Letian, Pan, Jiaye, Huang, Haiping, Xu, Dongpeng, Huang, Yifei, Xiao, Fu
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2512.22043
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Transferable Backdoor Attacks for Code Models via Sharpness-Aware Adversarial Perturbation
by: Chang, Shuyu, et al.
Published: (2026)

BinaryAI: Binary Software Composition Analysis via Intelligent Binary Source Code Matching
by: Jiang, Ling, et al.
Published: (2024)

Guiding Large Language Models to Generate Computer-Parsable Content
by: Wang, Jiaye
Published: (2024)

Codellm-Devkit: A Framework for Contextualizing Code LLMs with Program Analysis Insights
by: Krishna, Rahul, et al.
Published: (2024)

SAINT: Service-level Integration Test Generation with Program Analysis and LLM-based Agents
by: Pan, Rangeet, et al.
Published: (2025)

Understanding the Sneaky Patterns of Pop-up Windows in the Mobile Ecosystem
by: Wu, Dongpeng, et al.
Published: (2025)

Rethinking Kernel Program Repair: Benchmarking and Enhancing LLMs with RGym
by: Shehada, Kareem, et al.
Published: (2025)

When AI Takes the Wheel: Security Analysis of Framework-Constrained Program Generation
by: Liu, Yue, et al.
Published: (2025)

Ultraverse: A System-Centric Framework for Efficient What-If Analysis for Database-Intensive Web Applications
by: Ko, Ronny, et al.
Published: (2022)

EviACT: An Evidence-to-Action Framework for Agentic Program Repair
by: Meng, Qianru, et al.
Published: (2026)

Source Code Foundation Models are Transferable Binary Analysis Knowledge Bases
by: Su, Zian, et al.
Published: (2024)

AutoCheck: Automatically Identifying Variables for Checkpointing by Data Dependency Analysis
by: Fu, Xiang, et al.
Published: (2024)

FlipFlop: A Static Analysis-based Energy Optimization Framework for GPU Kernels
by: Rajput, Saurabhsingh, et al.
Published: (2026)

VulStamp: Vulnerability Assessment using Large Language Model
by: Shen, Hao, et al.
Published: (2025)

Generative AI for Object-Oriented Programming: Writing the Right Code and Reasoning the Right Logic
by: Xu, Gang, et al.
Published: (2025)

CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision
by: Wang, Hao, et al.
Published: (2024)

Sustainable AI Assistance Through Digital Sobriety
by: Jennings, Madeline, et al.
Published: (2026)

A Black-box Testing Framework for Oracle Quantum Programs
by: Long, Peixun, et al.
Published: (2025)

NESA: Relational Neuro-Symbolic Static Program Analysis
by: Wang, Chengpeng, et al.
Published: (2024)

A Time Series Analysis of Assertions in the Linux Kernel
by: Ruohonen, Jukka
Published: (2024)

Formally Verified Binary-level Pointer Analysis
by: Verbeek, Freek, et al.
Published: (2025)

EFACT: an External Function Auto-Completion Tool to Strengthen Static Binary Lifting
by: Zhang, Yilei, et al.
Published: (2024)

Execution-free Program Repair
by: Huang, Li, et al.
Published: (2024)

Demystifying and Assessing Code Understandability in Java Decompilation
by: Qin, Ruixin, et al.
Published: (2024)

Requirements for Active Assistance of Natural Questions in Software Architecture
by: Lemos, Diogo, et al.
Published: (2025)

Assistance or Disruption? Exploring and Evaluating the Design and Trade-offs of Proactive AI Programming Support
by: Pu, Kevin, et al.
Published: (2025)

TritonForge: Profiling-Guided Framework for Automated Triton Kernel Optimization
by: Li, Haonan, et al.
Published: (2025)

Pre-Training Representations of Binary Code Using Contrastive Learning
by: Zhang, Yifan, et al.
Published: (2022)

KEENHash: Hashing Programs into Function-Aware Embeddings for Large-Scale Binary Code Similarity Analysis
by: Liu, Zhijie, et al.
Published: (2025)

Empowering WebAssembly with Thin Kernel Interfaces
by: Ramesh, Arjun, et al.
Published: (2023)

Symbol Preference Aware Generative Models for Recovering Variable Names from Stripped Binary
by: Xu, Xiangzhe, et al.
Published: (2023)

Rethinking Code Review Workflows with LLM Assistance: An Empirical Study
by: Aðalsteinsson, Fannar Steinn, et al.
Published: (2025)

KGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution
by: Mathai, Alex, et al.
Published: (2024)

Understanding the AI-powered Binary Code Similarity Detection
by: Fu, Lirong, et al.
Published: (2024)

MGS3: A Multi-Granularity Self-Supervised Code Search Framework
by: Li, Rui, et al.
Published: (2025)

BUGFIX: towards a common language and framework for the AutomaticProgram Repair community
by: Meyer, Bertrand, et al.
Published: (2024)

Outrunning LLM Cutoffs: A Live Kernel Crash Resolution Benchmark for All
by: Huang, Chenxi, et al.
Published: (2026)

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
by: Wen, Cheng, et al.
Published: (2024)

RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM
by: Cai, Xuemeng, et al.
Published: (2025)

RESTORE: Retrospective Fault Localization Enhancing Automated Program Repair
by: Xu, Tongtong, et al.
Published: (2019)