Master's Theses & Technical Reports - Alvin Cheung
5th Year M.S.
Query Aware Synthetic Data Generation
Zoey Sun [2023]
Towards Practical SQL Equivalence Reasoning
Shuxian Wang [2023]
Hydroflow: A Model and Runtime for Distributed Systems Programming
Mingwei Samuel [2021]
M.S.
Katara: Synthesizing CRDTs with Verified Lifting
Shadaj Laddad [2022]