Master's Theses & Technical Reports - Alvin Cheung

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

M.S.

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

5th Year M.S.

Hydroflow: A Model and Runtime for Distributed Systems Programming
Mingwei Samuel [2021]