Registered user since Thu 4 Sep 2014

Name:Brett Boston
Country:United States
Affiliation:Massachusetts Institute of Technology
Research interests:Programming Languages

Contributions

SPLASH 2018 Leto: Verifying Application-Specific Fault Tolerance via First-Class Execution Models
Leto: Verifying Application-Specific Fault Tolerance through Parameterized Execution Models
Show activities from other conferences

SPLASH 2018-profile
View general profile