:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Soundarapandian, Vimala, Nagar, Kartik, Rastogi, Aseem, Sivaramakrishnan, KC
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	https://arxiv.org/abs/2502.19967
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Sal: Multi-modal Verification of Replicated Data Types
di: Ramesh, Pranav, et al.
Pubblicazione: (2026)

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

Enabling Memory Safety of C Programs using LLMs
di: Mohammed, Nausheen, et al.
Pubblicazione: (2024)

Efficient Linearizability Monitoring
di: Abdulla, Parosh Aziz, et al.
Pubblicazione: (2025)

Fixed Parameter Tractable Linearizability Monitoring
di: Han, Lee Zheng, et al.
Pubblicazione: (2025)

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs
di: Kent, Zachary, et al.
Pubblicazione: (2025)

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

Efficient Decrease-and-Conquer Linearizability Monitoring
di: Han, Lee Zheng, et al.
Pubblicazione: (2024)

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

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust
di: Wu, Jinhua, et al.
Pubblicazione: (2026)

Verified Code Transpilation with LLMs
di: Bhatia, Sahil, et al.
Pubblicazione: (2024)

AutoPyVerifier: Learning Compact Executable Verifiers for Large Language Model Outputs
di: Pezeshkpour, Pouya, et al.
Pubblicazione: (2026)

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

Verified Parameterized Choreographies Technical Report
di: Rubbens, Robert, et al.
Pubblicazione: (2025)

Increasing the Expressiveness of a Gradual Verifier
di: Gupta, Priyam
Pubblicazione: (2025)

Pyrosome: Verified Compilation for Modular Metatheory
di: Jamner, Dustin, et al.
Pubblicazione: (2025)

MAG$π$!: The Role of Replication in Typing Failure-Prone Communication
di: Brun, Matthew Alan Le, et al.
Pubblicazione: (2024)

Strengthening Solidity Invariant Generation: From Post- to Pre-Deployment
di: Kaushik, Kartik, et al.
Pubblicazione: (2024)

Dependent Session Types for Verified Concurrent Programming
di: Fu, Qiancheng, et al.
Pubblicazione: (2025)

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

Verifying Sequential Consistency under Bounded Preemptions
di: Govind, R., et al.
Pubblicazione: (2026)

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
di: Yang, Xiaoxiao, et al.
Pubblicazione: (2017)

Caesar: A Deductive Verifier for Probabilistic Programs
di: Schröer, Philipp, et al.
Pubblicazione: (2026)

Formally Verified Linear-Time Invertible Lexing
di: Chassot, Samuel, et al.
Pubblicazione: (2025)

Crux, a Precise Verifier for Rust and Other Languages
di: Pernsteiner, Stuart, et al.
Pubblicazione: (2024)

KATch: A Fast Symbolic Verifier for NetKAT
di: Moeller, Mark, et al.
Pubblicazione: (2024)

A Formal Framework for Naturally Specifying and Verifying Sequential Algorithms
di: Yang, Chengxi, et al.
Pubblicazione: (2025)

Expanding Specification Capabilities of a Gradual Verifier with Pure Functions
di: Mutlu, Doruk Alp
Pubblicazione: (2025)

Minuska: Towards a Formally Verified Programming Language Framework
di: Tušil, Jan, et al.
Pubblicazione: (2024)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
di: Shen, Gan, et al.
Pubblicazione: (2024)

Formal Foundations for Translational Separation Logic Verifiers (extended version)
di: Dardinier, Thibault, et al.
Pubblicazione: (2024)

SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
di: Nezhad, Sina Bagheri, et al.
Pubblicazione: (2025)

Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
di: Monniaux, David
Pubblicazione: (2024)

A Verified Compiler for Quantum Simulation
di: Li, Liyi, et al.
Pubblicazione: (2025)

Faster Verified Explanations for Neural Networks
di: De Palma, Alessandro, et al.
Pubblicazione: (2025)

Verified Lifting of Deep learning Operators
di: Zhan, Qi, et al.
Pubblicazione: (2024)

Qafny: A Quantum-Program Verifier
di: Li, Liyi, et al.
Pubblicazione: (2022)

Galois Slicing as Automatic Differentiation
di: Atkey, Robert, et al.
Pubblicazione: (2025)

Automatic layout of railroad diagrams
di: Chiplunkar, Shardul, et al.
Pubblicazione: (2025)

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs
di: Tekriwal, Mohit, et al.
Pubblicazione: (2025)