Probability type inference for flexible approximate programming. - Brett Boston; Adrian Sampson; Dan Grossman; Luis Ceze (OOPSLA, 2015)

Verifying Programs Under Custom Application-Specific Execution Models. - Brett Boston; Zoe Gong; Michael Carbin (CoRR, 2018)

Leto: verifying application-specific hardware fault tolerance with programmable execution models. - Brett Boston; Zoe Gong; Michael Carbin (Proc. ACM Program. Lang., 2018)

Verified Cryptographic Code for Everybody. - Brett Boston; Samuel Breese; Joey Dodds; Mike Dodds; Brian Huffman; Adam Petcher; Andrei Stefanescu (CAV (1), 2021)

Macaw: A Machine Code Toolbox for the Busy Binary Analyst. - Ryan G. Scott; Brett Boston; Benjamin Davis; Iavor S. Diatchki; Mike Dodds; Joe Hendrix; Daniel Matichuk; Kevin Quick; Tristan Ravitch; Valentin Robert; Benjamin Selfridge; Andrei Stefanescu; et al. (CoRR, 2024)