DaLi: Database as a Library / May 2017
Position paper on building databases-as-a-library at SNAPL 2017, the Summit on Advances in Programming Languages. Working with Gowtham Kaki, KC Sivaramakrishnan, Thomas Gazagnaire and Suresh Jagannathan, we argued for a radical rethinking of database architecture. Instead of monolithic database servers, DaLi proposed encapsulating data management as transparent libraries in the same language as the application. This enables the type system and verification tools to enforce application-level invariants across the data layer - essentially extending the unikernel philosophy from computation to data.