Image de couverture de livre

Verification of the Release-Acquire Semantics

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Abdulla, Parosh, Anastasiadi, Elli, Atig, Mohamed Faouzi, Grahn, Samuel
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

Checking Consistency of Event-driven Traces
par: Abdulla, Parosh Aziz, et autres
Publié: (2025)

Verification under TSO with an infinite Data Domain
par: Abdulla, Parosh Aziz, et autres
Publié: (2024)

Unified Fairness for Weak Memory Verification
par: Abdulla, Parosh Aziz, et autres
Publié: (2023)

Parsimonious Optimal Dynamic Partial Order Reduction
par: Abdulla, Parosh Aziz, et autres
Publié: (2024)

Efficient Linearizability Monitoring
par: Abdulla, Parosh Aziz, et autres
Publié: (2025)

On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)
par: Abdulla, Parosh Aziz, et autres
Publié: (2026)

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)
par: Abdulla, Parosh Aziz, et autres
Publié: (2024)

When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)
par: Abdulla, Parosh Aziz, et autres
Publié: (2025)

On the Decidability of Verification under Release/Acquire
par: Conrado, Giovanna Kobus, et autres
Publié: (2026)

Complexity of Consistency Testing for the Release-Acquire Semantics
par: Govind, R., et autres
Publié: (2026)

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
par: Nagar, Kartik, et autres
Publié: (2020)

Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification
par: Kan, Shuanglong, et autres
Publié: (2026)

Virtual Garbage Collector (VGC): A Zone-Based Garbage Collection Architecture for Python's Parallel Runtime
par: M, Abdulla
Publié: (2025)

Parameterized Verification of Quantum Circuits (Technical Report)
par: Abdulla, Parosh Aziz, et autres
Publié: (2025)

Formal Verification for JavaScript Regular Expressions: a Proven Semantics and its Applications (Extended Version)
par: Barrière, Aurèle, et autres
Publié: (2025)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
par: Zhang, Kaiwen, et autres
Publié: (2026)

Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
par: Daggitt, Matthew L., et autres
Publié: (2026)

Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification
par: Barone, Antonio Valerio Miceli, et autres
Publié: (2026)

Surveying the Rust Verification Landscape
par: Blanc, Alex Le, et autres
Publié: (2024)

Automated Verification of Soundness of DNN Certifiers
par: Singh, Avaljot, et autres
Publié: (2025)

Practical Formal Verification for MLIR Programs
par: Tucker, Emily, et autres
Publié: (2026)

Denotation-based Compositional Compiler Verification
par: Cheng, Zhang, et autres
Publié: (2024)

Analyzing LLM Instruction Optimization for Tabular Fact Verification
par: Du, Xiaotang, et autres
Publié: (2026)

Solvable Tuple Patterns and Their Applications to Program Verification
par: Kobayashi, Naoki, et autres
Publié: (2025)

StacKAT: Infinite State Network Verification
par: Jacobs, Jules, et autres
Publié: (2025)

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

Towards Automated Verification of LLM-Synthesized C Programs
par: Mukherjee, Prasita, et autres
Publié: (2024)

A Hybrid Approach to Semi-automated Rust Verification
par: Ayoun, Sacha-Élie, et autres
Publié: (2024)

Dynamic Robustness Verification Against Weak Memory (Extended Version)
par: Margalit, Roy, et autres
Publié: (2025)

Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report
par: Giunti, Marco, et autres
Publié: (2025)

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
par: Dane, Serra Z., et autres
Publié: (2026)

VerityMath: Advancing Mathematical Reasoning by Self-Verification Through Unit Consistency
par: Han, Vernon Toh Yan, et autres
Publié: (2023)

PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
par: Chen, Pei-Wei, et autres
Publié: (2025)

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
par: Ciccalè, Marco, et autres
Publié: (2025)

KestRel: Relational Verification Using E-Graphs for Program Alignment
par: Dickerson, Robert, et autres
Publié: (2024)

ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses
par: Singh, Avaljot, et autres
Publié: (2024)

Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development
par: Rinard, Martin
Publié: (2026)

CI/CD Efforts for Validation, Verification and Benchmarking OpenMP Implementations
par: Jarmusch, Aaron, et autres
Publié: (2024)

Automated Verification of Tree-Manipulating Programs Using Constrained Horn Clauses
par: Faella, Marco, et autres
Publié: (2024)

Weighted NetKAT: A Programming Language For Quantitative Network Verification
par: Acevedo, Emmanuel Suárez, et autres
Publié: (2026)