SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Mae Milano

Registered user since Tue 17 Mar 2015

Name:Mae Milano
Affiliation:University of California, Berkeley
Research interests:Programming Languages, Systems

Contributions

SPLASH 2022 Synthesizing CRDTs from Sequential Data Types with Verified Lifting
Show activities from other conferences

Using general profile