This repository lists papers with topics covering OLTP and error testing (especially concurrency-related testing).
New PR is welcome for any material that you think should be included in this collection. .
If you want to add new paper, please follow link format:
paperName(with access link) [MeetingName(with open source code, if exists) Year]
[TOC]
- 10 Years of research on debugging concurrent and multicore software: a systematic mapping study [Software Quality Journal 17]
- GeoGauss: Strongly Consistent Coordinator-Free OLTP for Geo-Replicated SQL Database [SIGMOD 23]
- P4DB - The Case for In-Network OLTP [SIGMOD 22]
- GaccO - A GPU-accelerated OLTP DBMS [SIGMOD 22]
- Proteus: Autonomous Adaptive Storage for Mixed Workloads [SIGMOD 22]
- Polaris: Enabling Transaction Priority in Optimistic Concurrency Control [SIGMOD 23]
- Diva: Making MVCC Systems HTAP-Friendly [SIGMOD 22]
- Plor: General Transactions with Predictable, Low Tail Latency [SIGMOD 22]
- Transaction Scheduling: From Conflicts to Runtime Conflicts [SIGMOD 23]
- Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness [SIGMOD 22]
- Skeena: Efficient and Consistent Cross-Engine Transactions [SIGMOD 22]
- Natto: Providing Distributed Transaction Prioritization for High-Contention Workloads [SIGMOD 22]
- Robust and Transferable Log-based Anomaly Detection [SIGMOD 23]
- Detecting Isolation Bugs via Transaction Oracle Construction [ICSE 23]
- Adaptive Performance Anomaly Detection for Online Service Systems via Pattern Sketching [ICSE 22]
- DBPA: A Benchmark for Transactional Database Performance Anomalies [SIGMOD 23]
- Race Directed Random Testing of Concurrent Programs [PLDI 08]
- Sound and Efficient Concurrency Bug Prediction [ESEC/FSE 21]
- How are distributed bugs diagnosed and fixed through system logs? [Information and Software Technology 20]
- BALANCE: Bayesian Linear Attribution for Root Cause Localization [SIGMOD 23]
- Towards Effective Bug Triage with Software Data Reduction Techniques [TKDE 15]
- Effective fault localization and context‐aware debugging for concurrent programs [Softw Test Verif Reliab 22]
- Fault Localization with Code Coverage Representation Learning [ICSE 21]