| 790 |
Cosette: An Automated Prover for SQL |
2017 |
CIDR |
0.00013976438 |
| 1,680 |
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries |
2018 |
VLDB |
9.9031411e-05 |
| 2,180 |
Leveraging Lock Contention to Improve OLTP Application Performance |
2016 |
VLDB |
8.9119622e-05 |
| 2,954 |
Automatic Partitioning of Database Applications |
2012 |
VLDB |
7.8126137e-05 |
| 2,979 |
StatusQuo: Making Familiar Abstractions Perform Using Program Analysis |
2013 |
CIDR |
7.789233e-05 |
| 3,047 |
Handling Highly Contended OLTP Workloads Using Fast Dynamic Partitioning |
2020 |
SIGMOD |
7.7124257e-05 |
| 3,202 |
Demonstration of the Cosette Automated SQL Prover |
2017 |
SIGMOD |
7.5411821e-05 |
| 3,753 |
VSS: A Storage System for Video Analytics |
2021 |
SIGMOD |
7.0502734e-05 |
| 3,923 |
Sloth: Being Lazy is a Virtue (When Issuing Database Queries) |
2014 |
SIGMOD |
6.9224617e-05 |
| 3,950 |
Visual Road: A Video Data Management Benchmark |
2019 |
SIGMOD |
6.9050253e-05 |
| 4,102 |
QED: A Powerful Query Equivalence Decider for SQL |
2024 |
VLDB |
6.8070264e-05 |
| 4,308 |
Comparative Evaluation of Big-Data Systems on Scientific Image Analytics Workloads |
2017 |
VLDB |
6.6735191e-05 |
| 4,654 |
Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications |
2018 |
SIGMOD |
6.4849398e-05 |
| 4,838 |
Interactive Query Synthesis from Input-Output Examples |
2017 |
SIGMOD |
6.3871056e-05 |
| 5,026 |
VisualWorldDB: A DBMS for the Visual World |
2020 |
CIDR |
6.3091791e-05 |
| 5,166 |
LightDB: A DBMS for Virtual Reality Video |
2018 |
VLDB |
6.2463315e-05 |
| 5,380 |
New Directions in Cloud Programming |
2021 |
CIDR |
6.1551126e-05 |
| 5,391 |
Supporting Our AI Overlords: Redesigning Data Systems to be Agent-First |
2026 |
CIDR |
6.1504174e-05 |
| 5,488 |
Keep CALM and CRDT On |
2023 |
VLDB |
6.1095815e-05 |
| 5,869 |
Leveraging Application Data Constraints to Optimize Database-Backed Web Applications |
2023 |
VLDB |
5.9648445e-05 |
| 6,062 |
Speeding up Database Applications with Pyxis |
2013 |
SIGMOD |
5.8986446e-05 |
| 9,315 |
Spatialyze: A Geospatial Video Analytics System with Spatial-Aware Optimizations |
2024 |
VLDB |
5.1958747e-05 |
| 10,156 |
Generating Application-Specific Data Layouts for In-memory Databases |
2019 |
VLDB |
5.0707546e-05 |
| 10,415 |
Automated Discovery of Test Oracles for Database Management Systems Using LLMs |
2026 |
SIGMOD |
4.9793485e-05 |
| 10,605 |
Visual Template Inference for Data Extraction from Documents |
2026 |
SIGMOD |
4.9793485e-05 |
| 11,808 |
Towards Auto-Generated Data Systems |
2023 |
VLDB |
4.9793485e-05 |
| 12,042 |
View-Driven Optimization of Database-Backed Web Applications |
2020 |
CIDR |
4.9793485e-05 |
| 12,085 |
Demonstration of Chestnut: An In-memory Data Layout Designer for Database Applications |
2020 |
SIGMOD |
4.9793485e-05 |
| 12,284 |
VisualCloud Demonstration: A DBMS for Virtual Reality |
2017 |
SIGMOD |
4.9793485e-05 |
| 13,773 |
Demonstration of Apperception: A Database Management System for Geospatial Video Data |
2021 |
VLDB |
- |
| 13,844 |
Optimizing Data-Intensive Applications Automatically By Leveraging Parallel Data Processing Frameworks |
2017 |
SIGMOD |
- |
| 13,871 |
Towards Creating Application-Specific Database Management Systems |
2015 |
CIDR |
- |
| 14,080 |
Performance Profiling with EndoScope, an Acquisitional Software Monitoring Framework |
2008 |
VLDB |
- |