Max New -

Registered user since Sat 9 Jul 2016

Name: Max New

Affiliation: Northeastern University

Personal website: http://maxsnew.github.io

Research interests: Programming Languages, Secure Compilation, Gradual Typing, Category Theory

Contributions

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
PLMW 2019	Panelist in Panelists within the PLMW@POPL-track Panelist of Panel: Grad School and Beyond within the PLMW@POPL-track
POPL 2019	Author of Gradual Type Theory within the Research Papers-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