Brett Boston

Publications

Conference Papers

• “Verified Cryptographic Code for Everybody.” Brett Boston, Samuel Breese, Joey Dodds, Mike Dodds, Brian Huffman, Adam Petcher, and Andrei Stefanescu. In CAV 2021.

• “Leto: Verifying Application-Specific Hardware Fault Tolerance with Programmable Execution Models.” Brett Boston, Zoe Gong, Michael Carbin. In OOPSLA 2018.

  • Video.

• “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