SPLASH 2022 (series) / Mae Milano
Registered user since Tue 17 Mar 2015
Name:Mae Milano
Country:United States
Affiliation:University of California at Berkeley
Personal website: http://www.languagesforsyste.ms
X (Twitter): https://x.com/mbpmilano
GitHub: https://github.com/mpmilano
Research interests:Programming Languages, Systems
Contributions
2022
SPLASH
- Committee Member in Judges within the Student Research Competition-track
- Mentor in Mentors within the PLMW-track
- Researching with Undergraduates: a Curricular Approach
- Katara: Synthesizing CRDTs with Verified Lifting
- Panelist in Speakers & Panelists within the PLMW-track
- Katara: Synthesizing CRDTs with Verified Lifting
- PhD Life Panel
SPLASH 2022-profile
View general profile
View general profile