Buchumschlag

Verifying Correctness of Shared Channels in a Cooperatively Scheduled Process-Oriented Language

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Pedersen, Jan, Chalmers, Kevin
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Fair Kernel-Lock-Free Claim/Release Protocol for Shared Object Access in Cooperatively Scheduled Runtimes
von: Chalmers, Kevin, et al.
Veröffentlicht: (2025)

Minuska: Towards a Formally Verified Programming Language Framework
von: Tušil, Jan, et al.
Veröffentlicht: (2024)

Exo 2: Growing a Scheduling Language
von: Ikarashi, Yuka, et al.
Veröffentlicht: (2024)

Transition-Oriented Programming: Developing Provably Correct Systems
von: Ding, Yepeng
Veröffentlicht: (2020)

Crux, a Precise Verifier for Rust and Other Languages
von: Pernsteiner, Stuart, et al.
Veröffentlicht: (2024)

Verifying Fault-Tolerance of Quantum Error Correction Codes
von: Chen, Kean, et al.
Veröffentlicht: (2025)

AutoPyVerifier: Learning Compact Executable Verifiers for Large Language Model Outputs
von: Pezeshkpour, Pouya, et al.
Veröffentlicht: (2026)

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
von: Reitz, Antonin, et al.
Veröffentlicht: (2024)

Caesar: A Deductive Verifier for Probabilistic Programs
von: Schröer, Philipp, et al.
Veröffentlicht: (2026)

Formally Verified C Code Generation from Hybrid Communicating Sequential Processes
von: Wang, Shuling, et al.
Veröffentlicht: (2024)

SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F*
von: Andrici, Cezar-Constantin, et al.
Veröffentlicht: (2025)

Verifying Functional Correctness Properties At the Level of Java Bytecode
von: Paganoni, Marco, et al.
Veröffentlicht: (2024)

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust
von: Wu, Jinhua, et al.
Veröffentlicht: (2026)

Increasing the Expressiveness of a Gradual Verifier
von: Gupta, Priyam
Veröffentlicht: (2025)

Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language
von: Zhang, Yihong, et al.
Veröffentlicht: (2025)

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

Verified Code Transpilation with LLMs
von: Bhatia, Sahil, et al.
Veröffentlicht: (2024)

Verified Parameterized Choreographies Technical Report
von: Rubbens, Robert, et al.
Veröffentlicht: (2025)

Pyrosome: Verified Compilation for Modular Metatheory
von: Jamner, Dustin, et al.
Veröffentlicht: (2025)

Automatically Verifying Replication-aware Linearizability
von: Soundarapandian, Vimala, et al.
Veröffentlicht: (2025)

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

Expanding Specification Capabilities of a Gradual Verifier with Pure Functions
von: Mutlu, Doruk Alp
Veröffentlicht: (2025)

Dependent Session Types for Verified Concurrent Programming
von: Fu, Qiancheng, et al.
Veröffentlicht: (2025)

Verification Algorithms for Automated Separation Logic Verifiers
von: Eilers, Marco, et al.
Veröffentlicht: (2024)

Verifying Sequential Consistency under Bounded Preemptions
von: Govind, R., et al.
Veröffentlicht: (2026)

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
von: Yang, Xiaoxiao, et al.
Veröffentlicht: (2017)

How Programming Concepts and Neurons Are Shared in Code Language Models
von: Kargaran, Amir Hossein, et al.
Veröffentlicht: (2025)

From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
von: Cao, Jialun, et al.
Veröffentlicht: (2025)

Qwerty: A Basis-Oriented Quantum Programming Language
von: Adams, Austin J., et al.
Veröffentlicht: (2024)

KATch: A Fast Symbolic Verifier for NetKAT
von: Moeller, Mark, et al.
Veröffentlicht: (2024)

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)
von: Paraskevopoulou, Zoe
Veröffentlicht: (2026)

ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language
von: Adams, Austin J., et al.
Veröffentlicht: (2025)

A Formal Framework for Naturally Specifying and Verifying Sequential Algorithms
von: Yang, Chengxi, et al.
Veröffentlicht: (2025)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
von: Shen, Gan, et al.
Veröffentlicht: (2024)

Formal Foundations for Translational Separation Logic Verifiers (extended version)
von: Dardinier, Thibault, et al.
Veröffentlicht: (2024)

VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
von: Yang, Aidan Z. H., et al.
Veröffentlicht: (2024)

A Formalization of the Yul Language and Some Verified Yul Code Transformations
von: Coglio, Alessandro, et al.
Veröffentlicht: (2025)

Verifying a Realistic Mutable Hash Table
von: Chassot, Samuel, et al.
Veröffentlicht: (2021)

Formally Verified Linear-Time Invertible Lexing
von: Chassot, Samuel, et al.
Veröffentlicht: (2025)

Correct Answers from Sound Reasoning: Verifiable Process Supervision for Language Models
von: Kim, Kyuyoung, et al.
Veröffentlicht: (2026)