Ben Greenman

Registered user since Sun 25 Oct 2015

Name: Ben Greenman

Bio: Delmar NY -> Cornell University (BS, M.Eng) -> Northeastern University (PhD from Matthias, expected ~2020)

Country: United States

Affiliation: PLT @ Northeastern University

Personal website: http://www.ccs.neu.edu/home/types/

Research interests: language design, static analysis, type systems

Contributions

PLDI 2021 Committee Member in Program Committee within the PLDI Research Papers-track
ICFP 2021 Committee Member in Program Committee within the Research Papers-track
SPLASH 2019 Author of Complete Monitors for Gradual Types within the OOPSLA-track
GRACE 2018 Presenter of Three approaches to Gradual Typing within the GRACE 2018-track
DLS 2018 Author of The Behavior of Gradual Types: A User Study within the DLS 2018-track
SPLASH 2018 Housing Chair in Organizing Committee
Author of Collapsible Contracts: Pruning Pathological Performance for Sound Gradual Typing within the Artifacts-track
Author of Collapsible Contracts: Fixing a Pathology of Gradual Typing within the OOPSLA-track
PEPM 2018 Author of On the Cost of Type-Tag Soundness within the PEPM 2018-track
ICFP 2018 SV Slack Monitor in Organizing Committee
Author of A Spectrum of Type Soundness and Performance within the Research Papers-track
POPL 2017 Author of Type Systems as Macros within the POPL-track
SPLASH 2017 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ECOOP 2017 Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
SPLASH 2016 Programme Committee in Program Committee within the OOPSLA Artifacts-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