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]
Katara: Synthesizing CRDTs with Verified Lifting
Shadaj Laddad [2022]
Hydroflow: A Model and Runtime for Distributed Systems Programming
Mingwei Samuel [2021]