:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhang, Tesla, Simkin, Sonya, Li, Rui, Yao, Yue, Balzer, Stephanie
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	https://arxiv.org/abs/2506.10026
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

Three non-cubical applications of extension types
di: Zhang, Tesla
Pubblicazione: (2023)

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

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

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

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

(Co)condition hits the Path
di: Zhang, Tesla, et al.
Pubblicazione: (2024)

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

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

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

From Program Logics to Language Logics
di: Cimini, Matteo
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A Target-Agnostic Protocol-Independent Interface for the Transport Layer
di: Mizuno, Pedro, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics
di: Barthe, Gilles, et al.
Pubblicazione: (2025)

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

A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs
di: Rustenholz, Louis, et al.
Pubblicazione: (2024)