Brett Boston

According to our database, Brett Boston authored at least 4 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Verified Cryptographic Code for Everybody.

Brett Boston, Samuel Breese, Joey Dodds, Mike Dodds, Brian Huffman, Adam Petcher, Andrei Stefanescu

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2018

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

Brett Boston, Zoe Gong, Michael Carbin

Proc. ACM Program. Lang., 2018

Verifying Programs Under Custom Application-Specific Execution Models.

Brett Boston, Zoe Gong, Michael Carbin

CoRR, 2018

2015

Probability type inference for flexible approximate programming.

Brett Boston, Adrian Sampson, Dan Grossman, Luis Ceze

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015