Mae Milano

Registered user since Tue 17 Mar 2015

Name:Mae Milano
Country:United States
Affiliation:University of California at Berkeley
Research interests:Programming Languages, Systems

Contributions

POPL 2024 Committee Member in Program Committee within the POPL-track
IWACO 2023 Committee Member in Organizing Committee within the IWACO 2023-track
SPLASH 2023 Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Committee Member in Reviewers within the Student Research Competition-track
FARM 2023 General Chair in Organizing Committee within the FARM 2023-track
PLDI 2023 Author of Better Defunctionalization through Lambda Set Specialization within the PLDI Research Papers-track
SPLASH 2022 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
PLDI 2022 Author of A Flexible Type System for Fearless Concurrency within the PLDI-track
POPL 2022 Session Chair of Weak Memory Models (part of POPL)
PLDI 2019 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
PLDI 2018 Author of MixT: A Language for Mixing Consistency in Geodistributed Transactions within the PLDI Research Papers-track
POPL 2017 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2015 Committee Member in Program Committee within the OOPSLA Artifacts-track
SPLASH 2013 Author of Python: The Full Monty; A Tested Semantics for the Python Programming Language within the OOPSLA-track