5th Year M.S. | M.S.

5th Year M.S.

FlowFusion: Optimizing Cloud Workflows Through Fusion and Parallelization
Nithin Tatikonda [2025]

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]

M.S.

Syntactic Code Search with Sequence-to-Tree Matching
Gabriel Matute [2024]

Katara: Synthesizing CRDTs with Verified Lifting
Shadaj Laddad [2022]