⚙️ Compilers - matheusfrancisco · Scour

Efficient Cost-Based Rewrite in a Bottom-Up Optimizer 🔧Database Engines

An Extensible and Verifiable Language for Query Rewrite Rules ⚙️DataFusion

EGREFINE: An Execution-Grounded Optimization Framework for Text-to-SQL Schema Refinement ⚙️DataFusion

Static Type Checking for Database Access Code 🗃️Databases

Low-Latency Out-of-Core ANN Search in High-Dimensional Space 🗄️Vector Databases

Anatomy of a Query: W5H Dimensions and FAR Patterns for Text-to-SQL Evaluation 🏠ClickHouse

FINER-SQL: Boosting Small Language Models for Text-to-SQL 🧮Datalog

Workspace-Bench 1.0: Benchmarking AI Agents on Workspace Tasks with Large-Scale File Dependencies 🏗️Compiler Design

Graph Query Generation with Constraint-guided Large Language Agents ⚙️DataFusion

SiriusHelper: An LLM Agent-Based Operations Assistant for Big Data Platforms 🏠ClickHouse

Semantic Reverse Engineering Legacy Software Applications with ChatGPT, Gemini AI, and Claude AI ⚙️DataFusion

Efficient Temporal Datalog Materialisation for Composite Event Recognition 🧮Datalog

ConRAD: Conformal Risk-Aware Neural Databases 🧠Transformers

Beyond Similarity Search: A Unified Data Layer for Production RAG Systems 🔧Database Engines

In-memory Multidimensional Indexing Using the skd-tree 📇Database Indexing

Actionable Understanding: Action Units for Bridging the Knowledge-Action Gap in Post-FAIR Knowledge Infrastructures 📊Graph Databases

QuIVer: Rethinking ANN Graph Topology via Training-Free Binary Quantization 🗄️Vector Databases

U-HNSW: An Efficient Graph-based Solution to ANNS Under Universal Lp Metrics 🗄️Vector Databases

Living Databases: A Unified Model for Continuous Schema Evolution, Versioning, and Transformations 🗄️Database Sharding

Multiset semantics in SPARQL, Relational Algebra and Datalog 🧮Datalog

Log in to enable infinite scrolling