Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Pedersen, Jan, Chalmers, Kevin
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Fair Kernel-Lock-Free Claim/Release Protocol for Shared Object Access in Cooperatively Scheduled Runtimes
par: Chalmers, Kevin, et autres
Publié: (2025)

Minuska: Towards a Formally Verified Programming Language Framework
par: Tušil, Jan, et autres
Publié: (2024)

Exo 2: Growing a Scheduling Language
par: Ikarashi, Yuka, et autres
Publié: (2024)

Transition-Oriented Programming: Developing Provably Correct Systems
par: Ding, Yepeng
Publié: (2020)

Crux, a Precise Verifier for Rust and Other Languages
par: Pernsteiner, Stuart, et autres
Publié: (2024)

Verifying Fault-Tolerance of Quantum Error Correction Codes
par: Chen, Kean, et autres
Publié: (2025)

AutoPyVerifier: Learning Compact Executable Verifiers for Large Language Model Outputs
par: Pezeshkpour, Pouya, et autres
Publié: (2026)

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
par: Reitz, Antonin, et autres
Publié: (2024)

Caesar: A Deductive Verifier for Probabilistic Programs
par: Schröer, Philipp, et autres
Publié: (2026)

Formally Verified C Code Generation from Hybrid Communicating Sequential Processes
par: Wang, Shuling, et autres
Publié: (2024)

SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F*
par: Andrici, Cezar-Constantin, et autres
Publié: (2025)

Verifying Functional Correctness Properties At the Level of Java Bytecode
par: Paganoni, Marco, et autres
Publié: (2024)

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust
par: Wu, Jinhua, et autres
Publié: (2026)

Increasing the Expressiveness of a Gradual Verifier
par: Gupta, Priyam
Publié: (2025)

Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language
par: Zhang, Yihong, et autres
Publié: (2025)

End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
par: Wu, Jinhua, et autres
Publié: (2025)

Verified Code Transpilation with LLMs
par: Bhatia, Sahil, et autres
Publié: (2024)

Verified Parameterized Choreographies Technical Report
par: Rubbens, Robert, et autres
Publié: (2025)

Pyrosome: Verified Compilation for Modular Metatheory
par: Jamner, Dustin, et autres
Publié: (2025)

Automatically Verifying Replication-aware Linearizability
par: Soundarapandian, Vimala, et autres
Publié: (2025)

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version)
par: Parthasarathy, Gaurav, et autres
Publié: (2024)

Expanding Specification Capabilities of a Gradual Verifier with Pure Functions
par: Mutlu, Doruk Alp
Publié: (2025)

Dependent Session Types for Verified Concurrent Programming
par: Fu, Qiancheng, et autres
Publié: (2025)

Verification Algorithms for Automated Separation Logic Verifiers
par: Eilers, Marco, et autres
Publié: (2024)

Verifying Sequential Consistency under Bounded Preemptions
par: Govind, R., et autres
Publié: (2026)

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
par: Yang, Xiaoxiao, et autres
Publié: (2017)

How Programming Concepts and Neurons Are Shared in Code Language Models
par: Kargaran, Amir Hossein, et autres
Publié: (2025)

From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
par: Cao, Jialun, et autres
Publié: (2025)

Qwerty: A Basis-Oriented Quantum Programming Language
par: Adams, Austin J., et autres
Publié: (2024)

KATch: A Fast Symbolic Verifier for NetKAT
par: Moeller, Mark, et autres
Publié: (2024)

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)
par: Paraskevopoulou, Zoe
Publié: (2026)

ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language
par: Adams, Austin J., et autres
Publié: (2025)

A Formal Framework for Naturally Specifying and Verifying Sequential Algorithms
par: Yang, Chengxi, et autres
Publié: (2025)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
par: Shen, Gan, et autres
Publié: (2024)

Formal Foundations for Translational Separation Logic Verifiers (extended version)
par: Dardinier, Thibault, et autres
Publié: (2024)

VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
par: Yang, Aidan Z. H., et autres
Publié: (2024)

A Formalization of the Yul Language and Some Verified Yul Code Transformations
par: Coglio, Alessandro, et autres
Publié: (2025)

Verifying a Realistic Mutable Hash Table
par: Chassot, Samuel, et autres
Publié: (2021)

Formally Verified Linear-Time Invertible Lexing
par: Chassot, Samuel, et autres
Publié: (2025)

Correct Answers from Sound Reasoning: Verifiable Process Supervision for Language Models
par: Kim, Kyuyoung, et autres
Publié: (2026)