Copertina

Towards Automated Verification of LLM-Synthesized C Programs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Mukherjee, Prasita, Delaware, Benjamin
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

KestRel: Relational Verification Using E-Graphs for Program Alignment
di: Dickerson, Robert, et al.
Pubblicazione: (2024)

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
di: Nagar, Kartik, et al.
Pubblicazione: (2020)

Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation
di: Ye, Qianchuan, et al.
Pubblicazione: (2023)

From Traces to Program Incorrectness: A Type-Theoretic Approach
di: Yuan, Yongwei, et al.
Pubblicazione: (2025)

Type-Based Incorrectness Reasoning
di: Zhou, Zhe, et al.
Pubblicazione: (2025)

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version)
di: Parthasarathy, Gaurav, et al.
Pubblicazione: (2024)

Polymorphic Coverage Types
di: Zhou, Zhe, et al.
Pubblicazione: (2023)

Trace-Guided Synthesis of Effectful Test Generators
di: Zhou, Zhe, et al.
Pubblicazione: (2026)

Proof Automation with Large Language Models
di: Lu, Minghai, et al.
Pubblicazione: (2024)

We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
di: LaFontaine, Patrick, et al.
Pubblicazione: (2025)

Tunable Automation in Automated Program Verification
di: Bai, Alexander Y., et al.
Pubblicazione: (2025)

Automated Verification of Tree-Manipulating Programs Using Constrained Horn Clauses
di: Faella, Marco, et al.
Pubblicazione: (2024)

C*: Unifying Programming and Verification in C
di: Cao, Yiyuan, et al.
Pubblicazione: (2025)

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
di: Dane, Serra Z., et al.
Pubblicazione: (2026)

Generative Explanations for Program Synthesizers
di: Nazari, Amirmohammad, et al.
Pubblicazione: (2024)

A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata
di: Zhou, Zhe, et al.
Pubblicazione: (2024)

Ranking LLM-Generated Loop Invariants for Program Verification
di: Chakraborty, Saikat, et al.
Pubblicazione: (2023)

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
di: Ciccalè, Marco, et al.
Pubblicazione: (2025)

Automated Verification of Soundness of DNN Certifiers
di: Singh, Avaljot, et al.
Pubblicazione: (2025)

Towards LLM-Powered Verilog RTL Assistant: Self-Verification and Self-Correction
di: Huang, Hanxian, et al.
Pubblicazione: (2024)

Verification Algorithms for Automated Separation Logic Verifiers
di: Eilers, Marco, et al.
Pubblicazione: (2024)

Practical Formal Verification for MLIR Programs
di: Tucker, Emily, et al.
Pubblicazione: (2026)

Automated Verification of Monotonic Data Structure Traversals in C
di: Sotoudeh, Matthew
Pubblicazione: (2025)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
di: Zhang, Kaiwen, et al.
Pubblicazione: (2026)

Solvable Tuple Patterns and Their Applications to Program Verification
di: Kobayashi, Naoki, et al.
Pubblicazione: (2025)

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

Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report
di: Giunti, Marco, et al.
Pubblicazione: (2025)

AutoChip: Automating HDL Generation Using LLM Feedback
di: Thakur, Shailja, et al.
Pubblicazione: (2023)

Analyzing LLM Instruction Optimization for Tabular Fact Verification
di: Du, Xiaotang, et al.
Pubblicazione: (2026)

Towards Formal Verification of LLM-Generated Code from Natural Language Prompts
di: Councilman, Aaron, et al.
Pubblicazione: (2025)

Automated Computer Program Evaluation and Projects -- Our Experiences
di: Srinivasan, Bama, et al.
Pubblicazione: (2024)

Automated Software Verification of Hyperliveness
di: Beutner, Raven
Pubblicazione: (2024)

QCP: A Practical Separation Logic-based C Program Verification Tool
di: Wu, Xiwei, et al.
Pubblicazione: (2025)

Automated Theorem Proving for Prolog Verification
di: Mesnard, Fred, et al.
Pubblicazione: (2026)

Weighted NetKAT: A Programming Language For Quantitative Network Verification
di: Acevedo, Emmanuel Suárez, et al.
Pubblicazione: (2026)

Automated Expected Cost Analysis for Quantum Programs
di: Moser, Georg, et al.
Pubblicazione: (2026)

End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
di: Wu, Jinhua, et al.
Pubblicazione: (2025)

Synthesizing Specifications
di: Park, Kanghee, et al.
Pubblicazione: (2023)

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming
di: Wu, Hao, et al.
Pubblicazione: (2023)

Automated Formal Verification of a Software Fault Isolation System
di: Sotoudeh, Matthew, et al.
Pubblicazione: (2025)