Buchumschlag

C*: Unifying Programming and Verification in C

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Cao, Yiyuan, Zhuang, Jiayi, Chen, Houjin, Fan, Jinkai, Xu, Wenbo, Wang, Zhiyi, Wang, Di, Cao, Qinxiang, Xiong, Yingfei, Zhao, Haiyan, Hu, Zhenjiang
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

QCP: A Practical Separation Logic-based C Program Verification Tool
von: Wu, Xiwei, et al.
Veröffentlicht: (2025)

Stellis: A Strategy Language for Purifying Separation Logic Entailments
von: Wang, Zhiyi, et al.
Veröffentlicht: (2025)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
von: Yang, Fanpeng, et al.
Veröffentlicht: (2025)

Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
von: Huang, Zhechong, et al.
Veröffentlicht: (2025)

Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
von: Xiao, Yuan-An, et al.
Veröffentlicht: (2023)

Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover
von: Fang, Jian, et al.
Veröffentlicht: (2026)

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language
von: Bouras, Dimitrios Stamatios, et al.
Veröffentlicht: (2025)

A Learning Method for Symbolic Systems Using Large Language Models
von: Fang, Jian, et al.
Veröffentlicht: (2026)

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

SemOpt: LLM-Driven Code Optimization via Rule-Based Analysis
von: Zhao, Yuwei, et al.
Veröffentlicht: (2025)

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM
von: Yan, Yanyan, et al.
Veröffentlicht: (2026)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
von: Zhang, Liao, et al.
Veröffentlicht: (2026)

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
von: Huang, Zhechong, et al.
Veröffentlicht: (2026)

Lemma Discovery in Agentic Program Verification
von: Zhao, Huan, et al.
Veröffentlicht: (2026)

On Reasoning-Centric LLM-based Automated Theorem Proving
von: Sun, Yican, et al.
Veröffentlicht: (2026)

LLM-based Vulnerability Detection at Project Scale: An Empirical Study
von: Li, Fengjie, et al.
Veröffentlicht: (2026)

Line-level Semantic Structure Learning for Code Vulnerability Detection
von: Wang, Ziliang, et al.
Veröffentlicht: (2024)

PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
von: Xiao, Yuan-An, et al.
Veröffentlicht: (2025)

Effective Random Test Generation for Deep Learning Compilers
von: Ren, Luyao, et al.
Veröffentlicht: (2023)

SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence
von: Shiraishi, Momoko, et al.
Veröffentlicht: (2024)

M2CVD: Enhancing Vulnerability Semantic through Multi-Model Collaboration for Code Vulnerability Detection
von: Wang, Ziliang, et al.
Veröffentlicht: (2024)

GramTrans: A Better Code Representation Approach in Code Generation
von: Zhang, Zhao, et al.
Veröffentlicht: (2025)

Reducing Cost of LLM Agents with Trajectory Reduction
von: Xiao, Yuan-An, et al.
Veröffentlicht: (2025)

Can Large Language Models Model Programs Formally?
von: Chen, Zhiyong, et al.
Veröffentlicht: (2026)

Scalable Deductive Verification of Data-Level Parallel Programs
von: Haak, Lars B. van den, et al.
Veröffentlicht: (2026)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
von: Ma, Lezhi, et al.
Veröffentlicht: (2026)

Defects4C: Benchmarking Large Language Model Repair Capability with C/C++ Bugs
von: Wang, Jian, et al.
Veröffentlicht: (2025)

DafnyPro: LLM-Assisted Automated Verification for Dafny Programs
von: Banerjee, Debangshu, et al.
Veröffentlicht: (2026)

CLARC: C/C++ Benchmark for Robust Code Search
von: Wang, Kaicheng, et al.
Veröffentlicht: (2026)

Refactoring Detection in C++ Programs with RefactoringMiner++
von: Ritz, Benjamin, et al.
Veröffentlicht: (2025)

Validity-Preserving Delta Debugging via Generator Trace Reduction
von: Ren, Luyao, et al.
Veröffentlicht: (2024)

Condor: A Code Discriminator Integrating General Semantics with Code Details
von: Liang, Qingyuan, et al.
Veröffentlicht: (2024)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
von: Wang, Weiqi, et al.
Veröffentlicht: (2025)

Program Analysis Guided LLM Agent for Proof-of-Concept Generation
von: Desai, Achintya, et al.
Veröffentlicht: (2026)

Enhancing Automated Program Repair via Faulty Token Localization and Quality-Aware Patch Refinement
von: Kong, Jiaolong, et al.
Veröffentlicht: (2025)

A Benchmark for Evaluating Repository-Level Code Agents with Intermediate Reasoning on Feature Addition Task
von: Liu, Shuhan, et al.
Veröffentlicht: (2026)

VulnResolver: A Hybrid Agent Framework for LLM-Based Automated Vulnerability Issue Resolution
von: Zhang, Mingming, et al.
Veröffentlicht: (2026)

Missing-Aware Multimodal Fusion for Unified Microservice Incident Management
von: Qian, Wenzhuo, et al.
Veröffentlicht: (2026)

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

Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis
von: Huang, Huihui, et al.
Veröffentlicht: (2026)