Syntactic Code Search with Sequence-to-Tree Matching (EECS-2024-93)
Gabriel Matute, Wode Ni, Titus Barik, Alvin Cheung and Sarah Chasins

Can LLMs Perform Verified Lifting of Code? (EECS-2024-11)
Sahil Bhatia, Jie Qiu, Sanjit A. Seshia and Alvin Cheung

Query Aware Synthetic Data Generation (EECS-2023-124)
Zoey Sun

Katara: Synthesizing CRDTs with Verified Lifting (EECS-2023-2)
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung and Joseph M. Hellerstein

Hydroflow: A Model and Runtime for Distributed Systems Programming (EECS-2021-201)
Mingwei Samuel