Cover Image

A Language-Agnostic Logical Relation for Message-Passing Protocols

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Tesla, Simkin, Sonya, Li, Rui, Yao, Yue, Balzer, Stephanie
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Mechanizing a Proof-Relevant Logical Relation for Timed Message-Passing Protocols
by: Zhang, Tesla, et al.
Published: (2025)

Semantic Logical Relations for Timed Message-Passing Protocols (Extended Version)
by: Yao, Yue, et al.
Published: (2024)

Logical Relations for Session-Typed Concurrency
by: Balzer, Stephanie, et al.
Published: (2023)

Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation
by: Martin, Vassor, et al.
Published: (2024)

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
by: Derakhshan, Farzaneh, et al.
Published: (2024)

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages
by: Vidal, Germán
Published: (2023)

Actegories, Copowers, and Higher-Order Message Passing Semantics
by: Cockett, Robin, et al.
Published: (2025)

Three non-cubical applications of extension types
by: Zhang, Tesla
Published: (2023)

DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
by: Fedchin, Aleksandr, et al.
Published: (2025)

TypeDis: A Type System for Disentanglement
by: Moine, Alexandre, et al.
Published: (2025)

The Complexity of Testing Message-Passing Concurrency
by: Shi, Zheng, et al.
Published: (2025)

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

Categorical Message Passing Language (CaMPL) for programmers
by: Hashimoto, Daniel Kiyoshi, et al.
Published: (2026)

From Program Logics to Language Logics
by: Cimini, Matteo
Published: (2024)

Encode the $\forall\exists$ Relational Hoare Logic into Standard Hoare Logic
by: Wu, Shushu, et al.
Published: (2025)

(Co)condition hits the Path
by: Zhang, Tesla, et al.
Published: (2024)

Modeling Reachability Types with Logical Relations
by: Bao, Yuyan, et al.
Published: (2023)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
by: Zhao, Jianhong, et al.
Published: (2025)

PassNet: Scaling Large Language Models for Graph Compiler Pass Generation
by: Liu, Yiqun, et al.
Published: (2026)

Tail Modulo Cons, OCaml, and Relational Separation Logic
by: Allain, Clément, et al.
Published: (2024)

On Computational Indistinguishability and Logical Relations
by: Lago, Ugo Dal, et al.
Published: (2024)

Beyond Pass-by-Pass Optimization: Intent-Driven IR Optimization with Large Language Models
by: Qiu, Lei, et al.
Published: (2026)

CodePod: A Language-Agnostic Hierarchical Scoping System for Interactive Development
by: Li, Hebi, et al.
Published: (2023)

Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages
by: Lundén, Daniel, et al.
Published: (2023)

(Dis)Proving Spectre Security with Speculation-Passing Style
by: Arranz-Olmos, Santiago, et al.
Published: (2025)

FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols
by: Wen, Hongbo, et al.
Published: (2024)

Stellis: A Strategy Language for Purifying Separation Logic Entailments
by: Wang, Zhiyi, et al.
Published: (2025)

Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators
by: Tanaka, Izumi, et al.
Published: (2026)

Mechanizing Synthetic Tait Computability in Istari
by: Li, Runming, et al.
Published: (2025)

Logical Relations for Formally Verified Authenticated Data Structures
by: Gregersen, Simon Oddershede, et al.
Published: (2025)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
by: Flanagan, Cormac, et al.
Published: (2024)

A Hoare Logic for Symmetry Properties
by: Mehta, Vaibhav, et al.
Published: (2025)

A Language for Smart Contracts with Secure Control Flow (Technical Report)
by: Yao, Siqiu, et al.
Published: (2024)

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
by: Bagrel, Thomas
Published: (2026)

Agnostics: Learning to Code in Any Programming Language via Reinforcement with a Universal Learning Environment
by: Boruch-Gruszecki, Aleksander, et al.
Published: (2025)

Is Next Token Prediction Sufficient for GPT? Exploration on Code Logic Comprehension
by: Qi, Mengnan, et al.
Published: (2024)

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

A Monadic Implementation of Functional Logic Programs
by: Hanus, Michael, et al.
Published: (2026)

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
by: Xia, Li-yao, et al.
Published: (2024)

Functional Logic Program Transformations
by: Hanus, Michael, et al.
Published: (2026)