Buchumschlag

The Complexity of Testing Message-Passing Concurrency

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Shi, Zheng, Møldrup, Lasse, Mathur, Umang, Pavlogiannis, Andreas
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages Information Theory D.1.3, D.2.4
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

AWDIT: An Optimal Weak Database Isolation Tester
von: Møldrup, Lasse, et al.
Veröffentlicht: (2025)

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

On the Decidability of Verification under Release/Acquire
von: Conrado, Giovanna Kobus, et al.
Veröffentlicht: (2026)

The B2Scala Tool: Integrating Bach in Scala with Security in Mind
von: Ouardi, Doha, et al.
Veröffentlicht: (2024)

Context-Dependent Effects and Concurrency in Guarded Interaction Trees
von: Stepanenko, Sergei, et al.
Veröffentlicht: (2025)

Dynamic Race Detection With O(1) Samples
von: Thokair, Mosaad Al, et al.
Veröffentlicht: (2025)

Adaptable TeaStore: A Choreographic Approach
von: De Palma, Giuseppe, et al.
Veröffentlicht: (2025)

Grounded Language Design for Lightweight Diagramming for Formal Methods
von: Prasad, Siddhartha, et al.
Veröffentlicht: (2024)

Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
von: Accattoli, Beniamino, et al.
Veröffentlicht: (2025)

Conversational Concurrency
von: Garnock-Jones, Tony
Veröffentlicht: (2024)

Adapting the MVVM pattern to C++ frontends and Agda-based backends
von: Csimma, Viktor
Veröffentlicht: (2026)

Shift schema drift left: policy-aware compile-time contracts for typed JVM and Spark pipelines
von: Mirji, Vittal
Veröffentlicht: (2026)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
von: Gross, Jason, et al.
Veröffentlicht: (2022)

Baking for Dafny: A CakeML Backend for Dafny
von: Nezamabadi, Daniel, et al.
Veröffentlicht: (2025)

Modelling Distributed Applications with Mixed-Choice Stateful Typestates
von: Parrinha, Francisco, et al.
Veröffentlicht: (2026)

Meta-Monomorphizing Specializations
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

Precise Reasoning About Container-Internal Pointers with Logical Pinning
von: Guan, Yawen, et al.
Veröffentlicht: (2025)

Bottom-up computation using trees of sublists (Functional Pearl)
von: Mu, Shin-Cheng
Veröffentlicht: (2023)

Uniqueness is Separation
von: O'Connor, Liam, et al.
Veröffentlicht: (2026)

Verified VCG and Verified Compiler for Dafny
von: Nezamabadi, Daniel, et al.
Veröffentlicht: (2025)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
von: Baier, Daniel, et al.
Veröffentlicht: (2024)

MoXIchecker: An Extensible Model Checker for MoXI
von: Ates, Salih, et al.
Veröffentlicht: (2024)

Weak-linearity, globality and in-place update
von: Gramaglia, Hector
Veröffentlicht: (2024)

Seamless, Correct, and Generic Programming over Serialised Data
von: Allais, Guillaume
Veröffentlicht: (2023)

From Separate Compilation to Sound Language Composition
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

Governed Metaprogramming for Intelligent Systems: Reclassifying Eval as a Governed Effect
von: McCann, Alan L.
Veröffentlicht: (2026)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
von: Suwa, Takashi, et al.
Veröffentlicht: (2026)

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
von: Beyer, Dirk, et al.
Veröffentlicht: (2022)

Policy as Code, Policy as Type
von: Fuchs, Matthew D.
Veröffentlicht: (2025)

The concept of class invariant in object-oriented programming
von: Meyer, Bertrand, et al.
Veröffentlicht: (2021)

Complementing an imperative process algebra with a rely/guarantee logic
von: Middelburg, C. A.
Veröffentlicht: (2025)

Probabilistic imperative process algebra
von: Middelburg, C. A.
Veröffentlicht: (2026)

Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents
von: Lahiri, Shuvendu K.
Veröffentlicht: (2026)

The pitfalls of verifying floating-point computations
von: Monniaux, David
Veröffentlicht: (2007)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
von: Knothe, David, et al.
Veröffentlicht: (2026)

Categorical Message Passing Language (CaMPL) for programmers
von: Hashimoto, Daniel Kiyoshi, et al.
Veröffentlicht: (2026)

Verifying Device Drivers with Pancake
von: Zhao, Junming, et al.
Veröffentlicht: (2025)

NEST: Network Enforced Session Types (Technical Report)
von: Larsen, Jens Kanstrup, et al.
Veröffentlicht: (2026)

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
von: Erhard, Julian, et al.
Veröffentlicht: (2024)