M.S. | 5th Year 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]