Cover Image

Efficient Decrease-and-Conquer Linearizability Monitoring

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Han, Lee Zheng, Mathur, Umang
Format:	Preprint
Published:	2024
Subjects:	Programming Languages Data Structures and Algorithms Logic in Computer Science Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
by: Mathur, Umang, et al.
Published: (2022)

A faster FPRAS for #NFA
by: Meel, Kuldeep S., et al.
Published: (2023)

Exact Exploration
by: Blass, Andreas, et al.
Published: (2024)

Enhanced Data Race Prediction Through Modular Reasoning
by: Ang, Zhendong, et al.
Published: (2025)

A bargain for mergesorts -- How to prove your mergesort correct and stable, almost for free
by: Cohen, Cyril, et al.
Published: (2024)

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
by: Leutgeb, Lorenz, et al.
Published: (2022)

Verified Purely Functional Catenable Real-Time Deques
by: Viennot, Jules, et al.
Published: (2025)

Efficient Coalgebraic Partition Refinement
by: Dorsch, Ulrich, et al.
Published: (2017)

Efficient Heuristics and Exact Methods for Pairwise Interaction Sampling
by: Fekete, Sándor P., et al.
Published: (2025)

Discovering Expert-Level Nash Equilibrium Algorithms with Large Language Models
by: Li, Hanyu, et al.
Published: (2025)

Algorithms and Complexity of Difference Logic
by: Dabrowski, Konrad K., et al.
Published: (2024)

The Sherali-Adams and Weisfeiler-Leman hierarchies in (Promise Valued) Constraint Satisfaction Problems
by: Barto, Libor, et al.
Published: (2024)

Subgraph Isomorphism: Prolog vs. Conventional
by: Yin, Claire Y., et al.
Published: (2025)

Derivation and Verification of Array Sorting by Merging, and its Certification in Dafny
by: Carbonell, Juan Pablo, et al.
Published: (2025)

Model checking with temporal graphs and their derivative
by: Bui-Xuan, Binh-Minh, et al.
Published: (2026)

MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras
by: Kleest-Meißner, Sarah, et al.
Published: (2022)

Approximate Model Counting, Sparse XOR Constraints and Minimum Distance
by: Boreale, Michele, et al.
Published: (2019)

Fixed Parameter Tractable Linearizability Monitoring
by: Han, Lee Zheng, et al.
Published: (2025)

Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
by: Lang, Frédéric, et al.
Published: (2024)

Customizing Static Analysis using Codesearch
by: Hayoun, Avi, et al.
Published: (2024)

Contract Usage and Evolution in Android Mobile Applications
by: Ferreira, David R., et al.
Published: (2024)

Context-Sensitive Abstract Interpretation of Dynamic Languages
by: Piszcz, Franciszek
Published: (2024)

Leveraging Large Language Models to Boost Dafny's Developers Productivity
by: Silva, Álvaro, et al.
Published: (2024)

Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
by: Barth, Max, et al.
Published: (2025)

CHCVerif: A Portfolio-Based Solver for Constrained Horn Clauses
by: Dobos-Kovács, Mihály, et al.
Published: (2025)

Guidelines for Producing Concise LNT Models, Illustrated with Formal Models of the Algorand Consensus Protocol
by: Garavel, Hubert
Published: (2026)

Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
by: De Angelis, Emanuele, et al.
Published: (2025)

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
by: Deng, Haotian, et al.
Published: (2025)

Establishing tool support for a concept DSL
by: Jakobsen, Nikolaj Kühne
Published: (2025)

An Enumerative Embedding of the Python Type System in ACL2s
by: Xifaras, Samuel, et al.
Published: (2025)

GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
by: Chakraborty, Soham, et al.
Published: (2025)

GNU Aris: a web application for students
by: Attri, Saksham, et al.
Published: (2025)

Proceedings 9th edition of Working Formal Methods Symposium
by: Arusoaie, Andrei, et al.
Published: (2025)

Flexible Correct-by-Construction Programming
by: Runge, Tobias, et al.
Published: (2022)

Tunable Automation in Automated Program Verification
by: Bai, Alexander Y., et al.
Published: (2025)

Programming Really Is Simple Mathematics
by: Meyer, Bertrand, et al.
Published: (2025)

Parametrizing Reads-From Equivalence for Predictive Monitoring
by: Farzan, Azadeh, et al.
Published: (2026)

A Myhill-Nerode Theorem for Generalized Automata, with Applications to Pattern Matching and Compression
by: Cotumaccio, Nicola
Published: (2023)

Constant-delay enumeration for SLP-compressed documents
by: Muñoz, Martín, et al.
Published: (2022)

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice
by: Cadilhac, Michaël, et al.
Published: (2025)