Ben Greenman - SPLASH 2018

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: Northeastern University, USA

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

Research interests: Language design, static analysis, type systems

Contributions

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
Show activities from other conferences

Using general profile