Brett Boston

Publications

Conference Papers

• “Leto: Verifying Application-Specific Fault Tolerance via First-Class Execution Models.” Brett Boston, Zoe Gong, Michael Carbin. In OOPSLA 2018 (conditionally accepted).

  • arXiv.

• “Probability Type Inference for Flexible Approximate Programming.” Brett Boston, Adrian Sampson, Dan Grossman, and Luis Ceze. In OOPSLA 2015.

  • Preprint PDF.

  • Slides.

  • Video.

Workshop Papers

• “Tuning Approximate Computations with Constraint-Based Type Inference.” Brett Boston, Adrian Sampson, Dan Grossman, and Luis Ceze. In WACAS 2014.

Posters

• “Quality Types for Approximate Programming.” Brett Boston. In SPLASH 2014.

Awards

• Winner, 2015 UW CSE Best Senior Thesis Award

  • Thesis.

• Runner-up, 2015 CRA Outstanding Undergraduate Research Award