Brett Boston -

Registered user since Thu 4 Sep 2014

Name:Brett Boston

Country:United States

Affiliation:Massachusetts Institute of Technology

Personal website: http://people.csail.mit.edu/boston

Research interests:Programming Languages

Contributions

2018

SPLASH

Author of Leto: Verifying Application-Specific Fault Tolerance via First-Class Execution Models within the Artifacts-track
Author of Leto: Verifying Application-Specific Fault Tolerance through Parameterized Execution Models within the OOPSLA-track

2015

SPLASH

Author of Probability Type Inference for Flexible Approximate Programming within the OOPSLA-track

2014

SPLASH

Presenter of Quality Types for Approximate Programming within the Student Research Competition-track