Brett Boston - SPLASH 2018

Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States

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

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