Brett Boston

Leto : verifying application-specific fault tolerance via first-class execution models

Brett Boston, 2018 .

Verifying Programs Under Custom Application-Specific Execution Models pdf

Michael Carbin, Brett Boston, Zoe Gong, 2018, ArXiv.

Leto : verifying application-specific fault tolerancevia first-class execution models; Verifying application-specific fault tolerance viafirst-class execution models

Brett Boston, 2018 .

Leto: verifying application-specific hardware fault tolerance with programmable execution models

Michael Carbin, Brett Boston, Zoe Gong, 2018, Proc. ACM Program. Lang..

Tuning Approximate Computations with Constraint-Based Type Inference

Dan Grossman, Luis Ceze, Adrian Sampson, 2014 .

Probability type inference for flexible approximate programming

Dan Grossman, Luis Ceze, Adrian Sampson, 2015, OOPSLA.

Verified Cryptographic Code for Everybody

Brian Huffman, Samuel Breese, Andrei Stefanescu, 2021, CAV.