Copertina

Increasing the Expressiveness of a Gradual Verifier

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Gupta, Priyam
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Gradual Sensitivity Typing
di: Arquez, Damian, et al.
Pubblicazione: (2023)

Compiling Gradual Types with Evidence
di: Romero, José Luis, et al.
Pubblicazione: (2025)

Gradual Metaprogramming
di: Chen, Tianyu, et al.
Pubblicazione: (2025)

A Gradual Probabilistic Lambda Calculus
di: Ye, Wenjia, et al.
Pubblicazione: (2026)

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
di: Zimmerman, Conrad, et al.
Pubblicazione: (2024)

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
di: Li, Senxi, et al.
Pubblicazione: (2026)

Taming Scope Extrusion in Gradual Imperative Metaprogramming
di: Chen, Tianyu, et al.
Pubblicazione: (2026)

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
di: Giovannini, Eric, et al.
Pubblicazione: (2024)

Gradual Verification for Smart Contracts
di: Sun, Haojia, et al.
Pubblicazione: (2023)

Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors
di: Schwerter, Felipe Bañados, et al.
Pubblicazione: (2025)

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

SafeTree: Expressive Tree Policies for Microservices
di: Grewal, Karuna, et al.
Pubblicazione: (2025)

On the Semantic Expressiveness of Iso- and Equi-Recursive Types
di: Devriese, Dominique, et al.
Pubblicazione: (2020)

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

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
di: Castagna, Giuseppe, et al.
Pubblicazione: (2024)

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

Quest Complete: the Holy Grail of Gradual Security
di: Chen, Tianyu, et al.
Pubblicazione: (2023)

Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
di: Bao, Yuyan, et al.
Pubblicazione: (2025)

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

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

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

Automatically Verifying Replication-aware Linearizability
di: Soundarapandian, Vimala, et al.
Pubblicazione: (2025)

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

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

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
di: Jia, Songlin, et al.
Pubblicazione: (2024)

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

On the Expressivity of Typed Concurrent Calculi
di: Paulus, Joseph William Neal
Pubblicazione: (2024)

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)

Qmod: Expressive High-Level Quantum Modeling
di: Vax, Matan, et al.
Pubblicazione: (2025)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
di: Cutler, Joseph W., et al.
Pubblicazione: (2024)

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

Verifying Correctness of Shared Channels in a Cooperatively Scheduled Process-Oriented Language
di: Pedersen, Jan, et al.
Pubblicazione: (2025)

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)
di: Paraskevopoulou, Zoe
Pubblicazione: (2026)

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
di: Xu, Yichen, et al.
Pubblicazione: (2025)

Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts
di: Cho, Hyunhum, et al.
Pubblicazione: (2026)

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