Cover Image

Complexity of Consistency Testing for the Release-Acquire Semantics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Govind, R., Krishna, S., Sil, Sanchari, Srivathsan, B.
Format:	Preprint
Published:	2026
Subjects:	Computational Complexity Logic in Computer Science Programming Languages 68N30 D.3.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Transport via Partial Galois Connections and Equivalences
by: Kappelmann, Kevin
Published: (2023)

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

Implementing backjumping by means of exception handling
by: Drabent, Włodzimierz
Published: (2023)

Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice
by: Ariola, Zena M., et al.
Published: (2026)

Vanilla Object Orientation (VOO): A Value-Semantics Approach to Classes in Tcl
by: Araujo, Alan
Published: (2026)

Model-checking real-time systems: revisiting the alternating automaton route
by: Bouyer, Patricia, et al.
Published: (2025)

Array-Carrying Symbolic Execution for Function Contract Generation
by: Lu, Weijie, et al.
Published: (2026)

Early Announcement: Parametricity for GADTs
by: Cagne, Pierre, et al.
Published: (2024)

Optimal matching for sharing and linearity analysis
by: Amato, Gianluca, et al.
Published: (2024)

Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary Lambda-Calculi
by: Cerda, Rémy
Published: (2025)

Multiple Query Satisfiability of Constrained Horn Clauses
by: De Angelis, Emanuele, et al.
Published: (2022)

Formal Verification of Imperative First-Class Functions in Move
by: Grieskamp, Wolfgang, et al.
Published: (2026)

A note on occur-check (extended report)
by: Drabent, Włodzimierz
Published: (2022)

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

Probability and Angelic Nondeterminism with Multiset Semantics
by: Ong, Shawn, et al.
Published: (2024)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
by: Oza, Neeva, et al.
Published: (2025)

Totality for Mixed Inductive and Coinductive Types
by: Hyvernat, Pierre
Published: (2019)

GPU accelerated program synthesis: Enumerate semantics, not syntax!
by: Berger, Martin, et al.
Published: (2025)

Hashing Modulo Context-Sensitive $α$-Equivalence
by: Blaauwbroek, Lasse, et al.
Published: (2024)

foetus -- Termination Checker for Simple Functional Programs
by: Abel, Andreas
Published: (2024)

Grid Programs: A Two-Dimensional, Variable-Free Model of Computation
by: López-Rubio, Ezequiel
Published: (2026)

Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
by: Amato, Gianluca, et al.
Published: (2024)

On systematic construction of correct logic programs
by: Drabent, Włodzimierz
Published: (2025)

Multi-Language Benchmark Generation via L-Systems
by: da Silva, Vinícius Francisco, et al.
Published: (2025)

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

Type Inference for Isabelle2Cpp
by: Jiang, Dongchen, et al.
Published: (2024)

Towards a Characterization of Two-way Bijections in a Reversible Computational Model
by: Palazzo, Matteo, et al.
Published: (2025)

An Algebraic Approach to Weighted Answer-set Programming
by: Coelho, Francisco, et al.
Published: (2025)

Equivalence of Applicative Functors and Multifunctors
by: Abel, Andreas
Published: (2024)

Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
by: Iskander, Ray
Published: (2026)

What does it take to certify a conversion checker?
by: Lennon-Bertrand, Meven
Published: (2025)

Bounded Modal Logic
by: Murase, Yuito, et al.
Published: (2026)

The Denotational Semantics of SSA
by: Ghalayini, Jad Elkhaleq, et al.
Published: (2024)

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
by: Zhong, Zhiyao, et al.
Published: (2025)

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
by: Niketan, Nripesh, et al.
Published: (2025)

Heterogeneous LLM Methods for Ontology Learning (Few-Shot Prompting, Ensemble Typing, and Attention-Based Taxonomies)
by: Beliaeva, Aleksandra, et al.
Published: (2025)

Algorithmically Expressive, Always-Terminating Model for Reversible Computation
by: Palazzo, Matteo, et al.
Published: (2024)

On the Decidability of Verification under Release/Acquire
by: Conrado, Giovanna Kobus, et al.
Published: (2026)

The Singularity Theory of Concurrent Programs: A Topological Characterization and Detection of Deadlocks and Livelocks
by: Zhang, Di
Published: (2025)

Internalizing Extensions in Lattices of Type Theories
by: Chan, Jonathan
Published: (2025)