Brett Boston - SPLASH 2018

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

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

SPLASH 2018-profile
View general profile