Cover Image

AWDIT: An Optimal Weak Database Isolation Tester

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Møldrup, Lasse, Pavlogiannis, Andreas
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Databases H.2.4; D.2.5; F.2.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Understanding and Reusing Test Suites Across Database Systems
by: Zhong, Suyang, et al.
Published: (2024)

LLM-based Dynamic Differential Testing for Database Connectors with Reinforcement Learning-Guided Prompt Selection
by: Lyu, Ce, et al.
Published: (2025)

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

Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches
by: Wienczkowski, Michael
Published: (2026)

Counting Solutions to Conjunctive Queries: Structural and Hybrid Tractability
by: Chen, Hubie, et al.
Published: (2023)

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

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
by: Rawat, Sanjay
Published: (2026)

Gypscie: A Cross-Platform AI Artifact Management System
by: Porto, Fabio, et al.
Published: (2026)

Workload-Aware Incremental Reclustering in Cloud Data Warehouses
by: Liu, Yipeng, et al.
Published: (2026)

The Specification as Quality Gate: Three Hypotheses on AI-Assisted Code Review
by: Zietsman, Christo
Published: (2026)

Abacus: A Cost-Based Optimizer for Semantic Operator Systems
by: Russo, Matthew, et al.
Published: (2025)

Samyama: A Unified Graph-Vector Database with In-Database Optimization, Agentic Enrichment, and Hardware Acceleration
by: Mandarapu, Madhulatha, et al.
Published: (2026)

Trace Validation of Unmodified Concurrent Systems with OmniLink
by: Hackett, Finn, et al.
Published: (2026)

Efficient Cloud-Edge-Device Query Execution Based on Collaborative Scan Operator
by: Zhao, Chunyu, et al.
Published: (2025)

Redacted
by: de Lima, Bruno Rucy Carneiro Alves, et al.
Published: (2023)

Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
by: Susan, Ştefan-Claudiu, et al.
Published: (2025)

GaussDB-Global: A Geographically Distributed Database System
by: Memarzia, Puya, et al.
Published: (2025)

LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops
by: Ravi, Ravin, et al.
Published: (2026)

The Equivalence Theorem: First-Class Relationships for Structurally Complete Database Systems
by: Alford, Matthew
Published: (2026)

Proving correctness for SQL implementations of OCL constraints
by: Nguyen, Hoang, et al.
Published: (2024)

PRIME: Efficient Algorithm for Token Graph Routing Problem
by: Xu, Haotian, et al.
Published: (2026)

Near Data Processing in Taurus Database
by: Lin, Shu, et al.
Published: (2025)

SAM: A Stability-Aware Cache Manager for Multi-Tenant Embedded Databases
by: Zhang, Haoran, et al.
Published: (2025)

Extremal Separation Problems for Temporal Instance Queries
by: Jung, Jean Christoph, et al.
Published: (2024)

Towards Selecting the Informative Alternative Relational Query Plans for Database Education
by: Wang, Hu, et al.
Published: (2022)

Process Faster, Pay Less: Functional Isolation for Stream Processing
by: Zapridou, Eleni, et al.
Published: (2026)

Testing SSD Firmware with State Data-Aware Fuzzing: Accelerating Coverage in Nondeterministic I/O Environments
by: Yoon, Gangho, et al.
Published: (2025)

QUT: A Unit Testing Framework for Quantum Subroutines
by: Klymenko, Mykhailo V., et al.
Published: (2025)

Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions
by: Sharmin, Shaila, et al.
Published: (2025)

Point Intervention: Improving ACVP Test Vector Generation Through Human Assisted Fuzzing
by: Gridin, Iaroslav, et al.
Published: (2024)

SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark
by: Yu, Boxi, et al.
Published: (2026)

Combined Program Analysis Techniques: A Systematic Mapping Study
by: Braione, Pietro, et al.
Published: (2026)

AgentEval: DAG-Structured Step-Level Evaluation for Agentic Workflows with Error Propagation Tracking
by: Guo, Dongxin, et al.
Published: (2026)

GraphAr: An Efficient Storage Scheme for Graph Data in Data Lakes
by: Li, Xue, et al.
Published: (2023)

Bala-Join: An Adaptive Hash Join for Balancing Communication and Computation in Geo-Distributed SQL Databases
by: Song, Wenlong, et al.
Published: (2026)

A Unified Model for Cardinality Estimation by Learning from Data and Queries via Sum-Product Networks
by: Liu, Jiawei, et al.
Published: (2025)

On the Soundness and Consistency of LLM Agents for Executing Test Cases Written in Natural Language
by: Salva, Sébastien, et al.
Published: (2025)

TreeTracker Join: Simple, Optimal, Fast
by: Hu, Zeyuan, et al.
Published: (2024)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
by: Gross, Jason, et al.
Published: (2022)

Unlocking Advanced Graph Machine Learning Insights through Knowledge Completion on Neo4j Graph Database
by: Napoli, Rosario, et al.
Published: (2025)