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

Twitter:https://twitter.com/mbpmilano

GitHub:https://github.com/mpmilano

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