| 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 | 65 | 2015 |
| 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 |
| 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 | 10 | 2021 |
| 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 | 3 | 2014 |
| 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 |
