Data Systems on Modern Hardware
Pasha
A scalable, efficient distributed database architecture on CXL memory
Tigon
A distributed transactional database on CXL memory
Data Systems for Machine Learning
WaveDB
A workload-aware vector database
Formal Methods for Data Systems
Ink
Automatically incrementalizing user-defined data analysis programs.