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

Research interests:Language design, static analysis, type systems

Contributions

DLS 2018	The Behavior of Gradual Types: A User Study
GRACE 2018	Three approaches to Gradual Typing
SPLASH 2018	Housing Chair in Organizing Committee Collapsible Contracts: Pruning Pathological Performance for Sound Gradual Typing Collapsible Contracts: Fixing a Pathology of Gradual Typing
Show activities from other conferences

SPLASH 2018-profile
View general profile