Follow
Brett Boston
Brett Boston
Research Engineer, Galois
Verified email at galois.com - Homepage
Title
Cited by
Cited by
Year
Probability type inference for flexible approximate programming
B Boston, A Sampson, D Grossman, L Ceze
Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015
642015
Leto: verifying application-specific hardware fault tolerance with programmable execution models
B Boston, Z Gong, M Carbin
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-30, 2018
132018
Verified cryptographic code for everybody
B Boston, S Breese, J Dodds, M Dodds, B Huffman, A Petcher, ...
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
102021
Tuning approximate computations with constraint-based type inference
B Boston, A Sampson, D Grossman, L Ceze
Workshop on Approximate Computing Across the System Stack (WACAS), 2014
32014
Verifying Programs Under Custom Application-Specific Execution Models
B Boston, Z Gong, M Carbin
arXiv preprint arXiv:1805.06090, 2018
2018
Leto: verifying application-specific fault tolerance via first-class execution models
BBC Boston
Massachusetts Institute of Technology, 2018
2018
Burgertown presents: Open adcess
B Boston, M Dunitz
SIGTBD, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–7