From the 1 of 4 linked papers with an AI index.
4 papers
Not Your Usual Type(s): Data contracts as types across languages and engines
Aldrin Montana, Colin Marc, Luca Bigon +1
The paper presents an SDK that treats data contracts as typed schemas, enabling consistent validation, documentation, and lineage across multiple programming languages and data eng…
GitLake: Git-for-data for the agentic lakehouse
Weiming Sheng, Jinlang Wang, Manuel Barros +3
We present GitLake, a Git-for-data design for an agent-first lakehouse. The system lifts single-table Iceberg snapshots into lakehouse-wide commits, branches, and merges, letting a…
Building a Correct-by-Design Lakehouse. Data Contracts, Versioning, and Transactional Pipelines for Humans and Agents
Weiming Sheng, Jinlang Wang, Manuel Barros +3
Lakehouses are now the default substrate for analytics and AI, but they remain fragile under concurrent, untrusted change: schema mismatches often surface only at runtime, developm…
Mycelium: A Transformation-Embedded LSM-Tree
Holly Casaletto, Jeff Lefevre, Aldrin Montana +1
Compaction is a necessary, but often costly background process in write-optimized data structures like LSM-trees that reorganizes incoming data that is sequentially appended to log…