| 787 |
Cosette: An Automated Prover for SQL |
2017 |
CIDR |
37 |
0.00013959502 |
| 1,678 |
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries |
2018 |
VLDB |
22 |
9.8966017e-05 |
| 2,189 |
Leveraging Lock Contention to Improve OLTP Application Performance |
2016 |
VLDB |
22 |
8.8866479e-05 |
| 2,969 |
Automatic Partitioning of Database Applications |
2012 |
VLDB |
16 |
7.7868967e-05 |
| 2,992 |
StatusQuo: Making Familiar Abstractions Perform Using Program Analysis |
2013 |
CIDR |
10 |
7.7605188e-05 |
| 3,045 |
Handling Highly Contended OLTP Workloads Using Fast Dynamic Partitioning |
2020 |
SIGMOD |
18 |
7.7044181e-05 |
| 3,194 |
Demonstration of the Cosette Automated SQL Prover |
2017 |
SIGMOD |
11 |
7.5310063e-05 |
| 3,759 |
VSS: A Storage System for Video Analytics |
2021 |
SIGMOD |
12 |
7.0248373e-05 |
| 3,938 |
Sloth: Being Lazy is a Virtue (When Issuing Database Queries) |
2014 |
SIGMOD |
10 |
6.8968843e-05 |
| 3,961 |
Visual Road: A Video Data Management Benchmark |
2019 |
SIGMOD |
10 |
6.8795104e-05 |
| 4,116 |
QED: A Powerful Query Equivalence Decider for SQL |
2024 |
VLDB |
9 |
6.7846764e-05 |
| 4,325 |
Comparative Evaluation of Big-Data Systems on Scientific Image Analytics Workloads |
2017 |
VLDB |
7 |
6.648427e-05 |
| 4,670 |
Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications |
2018 |
SIGMOD |
8 |
6.4607221e-05 |
| 4,857 |
Interactive Query Synthesis from Input-Output Examples |
2017 |
SIGMOD |
7 |
6.3653978e-05 |
| 5,030 |
VisualWorldDB: A DBMS for the Visual World |
2020 |
CIDR |
7 |
6.2951049e-05 |
| 5,183 |
LightDB: A DBMS for Virtual Reality Video |
2018 |
VLDB |
9 |
6.2236736e-05 |
| 5,355 |
Supporting Our AI Overlords: Redesigning Data Systems to be Agent-First |
2026 |
CIDR |
3 |
6.1514948e-05 |
| 5,400 |
New Directions in Cloud Programming |
2021 |
CIDR |
8 |
6.1336615e-05 |
| 5,515 |
Keep CALM and CRDT On |
2023 |
VLDB |
4 |
6.0864968e-05 |
| 5,883 |
Leveraging Application Data Constraints to Optimize Database-Backed Web Applications |
2023 |
VLDB |
4 |
5.9423067e-05 |
| 6,058 |
Speeding up Database Applications with Pyxis |
2013 |
SIGMOD |
3 |
5.8833808e-05 |
| 9,333 |
Spatialyze: A Geospatial Video Analytics System with Spatial-Aware Optimizations |
2024 |
VLDB |
3 |
5.1795582e-05 |
| 10,195 |
Generating Application-Specific Data Layouts for In-memory Databases |
2019 |
VLDB |
6 |
5.0516135e-05 |
| 10,493 |
Automated Discovery of Test Oracles for Database Management Systems Using LLMs |
2026 |
SIGMOD |
1 |
4.9605343e-05 |
| 10,677 |
Visual Template Inference for Data Extraction from Documents |
2026 |
SIGMOD |
0 |
4.9605343e-05 |
| 11,858 |
Towards Auto-Generated Data Systems |
2023 |
VLDB |
0 |
4.9605343e-05 |
| 12,092 |
View-Driven Optimization of Database-Backed Web Applications |
2020 |
CIDR |
1 |
4.9605343e-05 |
| 12,135 |
Demonstration of Chestnut: An In-memory Data Layout Designer for Database Applications |
2020 |
SIGMOD |
2 |
4.9605343e-05 |
| 12,333 |
VisualCloud Demonstration: A DBMS for Virtual Reality |
2017 |
SIGMOD |
3 |
4.9605343e-05 |
| 13,818 |
Demonstration of Apperception: A Database Management System for Geospatial Video Data |
2021 |
VLDB |
2 |
- |
| 13,889 |
Optimizing Data-Intensive Applications Automatically By Leveraging Parallel Data Processing Frameworks |
2017 |
SIGMOD |
1 |
- |
| 13,916 |
Towards Creating Application-Specific Database Management Systems |
2015 |
CIDR |
0 |
- |
| 14,125 |
Performance Profiling with EndoScope, an Acquisitional Software Monitoring Framework |
2008 |
VLDB |
0 |
- |