Master's Theses & Technical Reports - Alvin Cheung
M.S.
Syntactic Code Search with Sequence-to-Tree Matching
Gabriel Matute [2024]
Katara: Synthesizing CRDTs with Verified Lifting
Shadaj Laddad [2022]
5th Year M.S.
Extensible Rule Language for Query Optimizer
Sicheng Pan [2024]
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]