Max New

Registered user since Sat 9 Jul 2016

Name:Max New
Affiliation:University of Michigan
Personal website:http://maxsnew.github.io
Research interests:Programming Languages, Secure Compilation, Gradual Typing, Category Theory

Contributions

SPLASH 2023 Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
HOPE 2023 Co-chair in Program Committee within the HOPE 2023-track
POPL 2023 Speaker of Type Theory: Session Preview within the Session Previews-track
Session Chair of Semantics II (part of POPL)
ECOOP 2022 Committee Member in Program Committee within the Doctoral Symposium-track
HATRA 2021 Committee Member in Program Committee within the HATRA 2021-track
ICFP 2021 Committee Member in Program Committee within the Research Papers-track
HATRA 2020 Committee Member in Program Committee within the HATRA-track
POPL 2020 Author of Graduality and Parametricity: Together Again for the First Time within the Research Papers-track
POPL 2019 Author of Gradual Type Theory within the Research Papers-track
PLMW 2019 Panelist in Panelists within the PLMW@POPL-track
Panelist of Panel: Grad School and Beyond within the PLMW@POPL-track
ICFP 2018 Author of Graduality from Embedding-Projection Pairs within the Research Papers-track
POPL 2017 Author of Gradual Type Precision as Retraction within the Student Research Competition-track
ICFP 2016 Author of Fully Abstract Compilation via Universal Embedding within the Research Papers-track
Author of Oh Lord, Please Don't Let Contracts Be Misunderstood (Functional Pearl) within the Research Papers-track
POPL 2016 Author of Is Sound Gradual Typing Dead? within the Research Papers-track
STOP 2015 Author of Position Paper: Performance Evaluation for Gradual Typing within the STOP-track