3 papers
cs.DB2026
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…
cs.DB2026
Reasoning about Transactional Isolation Levels with Isolde
Manuel Barros, Alcino Cunha, Jose Pereira +1
Most databases can be configured to operate under isolation levels weaker than serializability. These enforce fewer restrictions on the concurrent access to data and consequently a…
cs.DC2026
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…