:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Dickerson, Robert, Mukherjee, Prasita, Delaware, Benjamin
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages
Accesso online:	https://arxiv.org/abs/2404.08106
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Towards Automated Verification of LLM-Synthesized C Programs
di: Mukherjee, Prasita, et al.
Pubblicazione: (2024)

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

Rel: A Programming Language for Relational Data
di: Aref, Molham, et al.
Pubblicazione: (2025)

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)

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

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

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

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

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

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

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

Solvable Tuple Patterns and Their Applications to Program Verification
di: Kobayashi, Naoki, 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)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
di: Hansen, Zachary
Pubblicazione: (2025)

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

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
di: Oliveira, Francisco, et al.
Pubblicazione: (2025)

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

Querying Graph-Relational Data
di: Sullivan, Michael J., et al.
Pubblicazione: (2025)

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

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

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

Efficient Formal Verification of Quantum Error Correcting Programs
di: Huang, Qifan, et al.
Pubblicazione: (2025)

Data-driven Verification of Procedural Programs with Integer Arrays
di: Bouajjani, Ahmed, et al.
Pubblicazione: (2025)

Structural Temporal Logic for Mechanized Program Verification
di: Ioannidis, Eleftherios, et al.
Pubblicazione: (2024)

FO-Complete Program Verification for Heap Logics
di: Murali, Adithya, et al.
Pubblicazione: (2026)

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

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
di: Wei, Anjiang, et al.
Pubblicazione: (2025)

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
di: Schröer, Philipp, et al.
Pubblicazione: (2025)

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

Products of Recursive Programs for Hypersafety Verification (Extended Version)
di: Cheng, Ruotong, et al.
Pubblicazione: (2025)

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

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

Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via Čech Cohomology
di: Young, Halley
Pubblicazione: (2026)

Agentic Proving for Program Verification
di: Sosso, Alessandro, et al.
Pubblicazione: (2026)

The Parallel Semantics Program Dependence Graph
di: Homerding, Brian, et al.
Pubblicazione: (2024)

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

Extending Contract Verification for Parallel Programming Models to Fortran
di: Oraji, Yussur Mustafa, et al.
Pubblicazione: (2026)

Relational Programming with Foundation Models
di: Li, Ziyang, et al.
Pubblicazione: (2024)