Databases

TEGRA: Efficient Ad-Hoc Analytics on Evolving Graphs NSDI 2021 A large scale analysis of hundreds of in-memory cache clusters at Twitter OSDI 2020 All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs IJCAI 2020 A User Interface for Exploring and Querying Knowledge Graphs (Extended Abstract) IJCAI 2020 Building An Elastic Query Engine on Disaggregated Storage NSDI 2020 Cobra: Making Transactional Key-Value Stores Verifiably Serializable OSDI 2020 Epistemic Integrity Constraints for Ontology-Based Data Management AAAI 2020 Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache OSDI 2020 From WiscKey to Bourbon: A Learned Index for Log-Structured Merge Trees OSDI 2020 On Adaptive Distance Estimation NeurIPS 2020 On the Expressivity of ASK Queries in SPARQL AAAI 2020 Query Answering for Existential Rules via Efficient Datalog Rewriting IJCAI 2020 Query Rewriting for Ontology-Mediated Conditional Answers AAAI 2020 Storage Systems are Distributed Systems (So Verify Them That Way!) OSDI 2020 Symbolic Querying of Vector Spaces: Probabilistic Databases Meets Relational Embeddings UAI 2020 Cleaning Noisy and Heterogeneous Metadata for Record Linking across Scholarly Big Datasets AAAI 2019 Enriching Ontology-based Data Access with Provenance IJCAI 2019 Flashield: a Hybrid Key-value Cache that Controls Flash Write Amplification NSDI 2019 Fully Dynamic Consistent Facility Location NeurIPS 2019 Modular Materialisation of Datalog Programs AAAI 2019 Ontology-Based Query Answering for Probabilistic Temporal Data AAAI 2019 Toward Efficient Navigation of Massive-Scale Geo-Textual Streams IJCAI 2019 A Model for Learned Bloom Filters and Optimizing by Sandwiching NeurIPS 2018 Dynamic Query Re-Planning using QOOP OSDI 2018 Efficient Large-Scale Approximate Nearest Neighbor Search on OpenCL FPGA CVPR 2018