| 790 |
Cosette: An Automated Prover for SQL |
2017 |
CIDR |
37 |
0.00013971102 |
| 1,680 |
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries |
2018 |
VLDB |
22 |
9.9000396e-05 |
| 2,181 |
Leveraging Lock Contention to Improve OLTP Application Performance |
2016 |
VLDB |
22 |
8.907952e-05 |
| 2,957 |
Automatic Partitioning of Database Applications |
2012 |
VLDB |
16 |
7.808922e-05 |
| 2,981 |
StatusQuo: Making Familiar Abstractions Perform Using Program Analysis |
2013 |
CIDR |
10 |
7.7855712e-05 |
| 3,048 |
Handling Highly Contended OLTP Workloads Using Fast Dynamic Partitioning |
2020 |
SIGMOD |
18 |
7.7087933e-05 |
| 3,204 |
Demonstration of the Cosette Automated SQL Prover |
2017 |
SIGMOD |
11 |
7.5379936e-05 |
| 3,754 |
VSS: A Storage System for Video Analytics |
2021 |
SIGMOD |
12 |
7.0473286e-05 |
| 3,925 |
Sloth: Being Lazy is a Virtue (When Issuing Database Queries) |
2014 |
SIGMOD |
10 |
6.919284e-05 |
| 3,951 |
Visual Road: A Video Data Management Benchmark |
2019 |
SIGMOD |
10 |
6.9020381e-05 |
| 4,104 |
QED: A Powerful Query Equivalence Decider for SQL |
2024 |
VLDB |
9 |
6.8038041e-05 |
| 4,309 |
Comparative Evaluation of Big-Data Systems on Scientific Image Analytics Workloads |
2017 |
VLDB |
7 |
6.6703601e-05 |
| 4,656 |
Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications |
2018 |
SIGMOD |
8 |
6.4819462e-05 |
| 4,835 |
Interactive Query Synthesis from Input-Output Examples |
2017 |
SIGMOD |
7 |
6.3864459e-05 |
| 5,012 |
VisualWorldDB: A DBMS for the Visual World |
2020 |
CIDR |
7 |
6.3121574e-05 |
| 5,165 |
LightDB: A DBMS for Virtual Reality Video |
2018 |
VLDB |
9 |
6.2437556e-05 |
| 5,340 |
Supporting Our AI Overlords: Redesigning Data Systems to be Agent-First |
2026 |
CIDR |
3 |
6.1719029e-05 |
| 5,386 |
New Directions in Cloud Programming |
2021 |
CIDR |
8 |
6.1521989e-05 |
| 5,493 |
Keep CALM and CRDT On |
2023 |
VLDB |
4 |
6.1066893e-05 |
| 5,870 |
Leveraging Application Data Constraints to Optimize Database-Backed Web Applications |
2023 |
VLDB |
4 |
5.9620208e-05 |
| 6,063 |
Speeding up Database Applications with Pyxis |
2013 |
SIGMOD |
3 |
5.8958547e-05 |
| 9,324 |
Spatialyze: A Geospatial Video Analytics System with Spatial-Aware Optimizations |
2024 |
VLDB |
3 |
5.193415e-05 |
| 10,160 |
Generating Application-Specific Data Layouts for In-memory Databases |
2019 |
VLDB |
6 |
5.0683727e-05 |
| 10,427 |
Automated Discovery of Test Oracles for Database Management Systems Using LLMs |
2026 |
SIGMOD |
0 |
4.9769913e-05 |
| 10,616 |
Visual Template Inference for Data Extraction from Documents |
2026 |
SIGMOD |
0 |
4.9769913e-05 |
| 11,814 |
Towards Auto-Generated Data Systems |
2023 |
VLDB |
0 |
4.9769913e-05 |
| 12,048 |
View-Driven Optimization of Database-Backed Web Applications |
2020 |
CIDR |
1 |
4.9769913e-05 |
| 12,091 |
Demonstration of Chestnut: An In-memory Data Layout Designer for Database Applications |
2020 |
SIGMOD |
2 |
4.9769913e-05 |
| 12,290 |
VisualCloud Demonstration: A DBMS for Virtual Reality |
2017 |
SIGMOD |
3 |
4.9769913e-05 |
| 13,778 |
Demonstration of Apperception: A Database Management System for Geospatial Video Data |
2021 |
VLDB |
2 |
- |
| 13,849 |
Optimizing Data-Intensive Applications Automatically By Leveraging Parallel Data Processing Frameworks |
2017 |
SIGMOD |
1 |
- |
| 13,876 |
Towards Creating Application-Specific Database Management Systems |
2015 |
CIDR |
0 |
- |
| 14,085 |
Performance Profiling with EndoScope, an Acquisitional Software Monitoring Framework |
2008 |
VLDB |
0 |
- |