Brett Boston

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 4

Top Topics

Fault Tolerance

Application Specific

Top Venues

Proc. ACM Program. Lang.

Publications

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, Daniel Wagner, Simon Winwood
Macaw: A Machine Code Toolbox for the Busy Binary Analyst. CoRR (2024)
Brett Boston, Samuel Breese, Joey Dodds, Mike Dodds, Brian Huffman, Adam Petcher, Andrei Stefanescu
Verified Cryptographic Code for Everybody. CAV (1) (2021)
Brett Boston, Zoe Gong, Michael Carbin
Leto: verifying application-specific hardware fault tolerance with programmable execution models. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Brett Boston, Zoe Gong, Michael Carbin
Verifying Programs Under Custom Application-Specific Execution Models. CoRR (2018)
Brett Boston, Adrian Sampson, Dan Grossman, Luis Ceze
Probability type inference for flexible approximate programming. OOPSLA (2015)