conf.researchr.org / Mae Milano
Registered user since Tue 17 Mar 2015
Name:Mae Milano
Country:United States
Affiliation:Princeton University
Personal website: http://www.languagesforsyste.ms
X (Twitter): https://x.com/mbpmilano
GitHub: https://github.com/mpmilano
Research interests:Programming Languages, Systems
Contributions
2025
PLDI
2024
FARM
PLDI
POPL
2023
IWACO
SPLASH
FARM
2022
SPLASH
- Committee Member in Judges within the Student Research Competition-track
- Mentor in Mentors within the PLMW-track
- Invited Speaker of Researching with Undergraduates: a Curricular Approach within the Doctoral Symposium-track
- Author of Katara: Synthesizing CRDTs with Verified Lifting within the OOPSLA-track
- Panelist in Speakers & Panelists within the PLMW-track
- Author of Katara: Synthesizing CRDTs with Verified Lifting within the Posters-track
- Panelist of PhD Life Panel within the PLMW-track