| 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 | 64 | 2015 |
| 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 | 14 | 2021 |
| 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 | 14 | 2018 |
| 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 | 4 | 2014 |
| Macaw: A Machine Code Toolbox for the Busy Binary Analyst RG Scott, B Boston, B Davis, I Diatchki, M Dodds, J Hendrix, D Matichuk, ... arXiv preprint arXiv:2407.06375, 2024 | | 2024 |
| 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 |
