Increasing Concurrency in Databases Using Program Analysis
No abstract available.
Related papers
- High performance GPU concurrent B+tree PPoPP 2022
- A specialized B-tree for concurrent datalog evaluation PPoPP 2019
- Repairing serializability bugs in distributed database programs via automated schema refactoring PLDI 2021
- Concurrent Garbage Collection UsingHardware-Assisted Profiling ISMM 2000
- Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions TACAS 2025
- A Runtime System for Interruptible Query Processing: When Incremental Computing Meets Fine-Grained Parallelism OOPSLA 2024
- Scaling Up Transactions with Slower Clocks PPoPP 2024
- Type Consistency of Queries in an Object-Oriented Database System OOPSLA 1990