| A DNA-based archival storage system J Bornholt, R Lopez, DM Carmean, L Ceze, G Seelig, K Strauss Proceedings of the Twenty-First International Conference on Architectural …, 2016 | 244 | 2016 |
| Uncertain<T>: A First-Order Type for Uncertain Data J Bornholt, T Mytkowicz, KS McKinley Proceedings of the 19th international conference on Architectural support …, 2014 | 157 | 2014 |
| Push-button verification of file systems via crash refinement H Sigurbjarnarson, J Bornholt, E Torlak, X Wang 12th {USENIX} Symposium on Operating Systems Design and Implementation …, 2016 | 80 | 2016 |
| Optimizing synthesis with metasketches J Bornholt, E Torlak, D Grossman, L Ceze Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016 | 74 | 2016 |
| Hyperkernel: Push-button verification of an OS kernel L Nelson, H Sigurbjarnarson, K Zhang, D Johnson, J Bornholt, E Torlak, ... Proceedings of the 26th Symposium on Operating Systems Principles, 252-269, 2017 | 58 | 2017 |
| Specifying and checking file system crash-consistency models J Bornholt, A Kaufmann, J Li, A Krishnamurthy, E Torlak, X Wang Proceedings of the Twenty-First International Conference on Architectural …, 2016 | 46 | 2016 |
| Synthesizing memory models from framework sketches and litmus tests J Bornholt, E Torlak ACM SIGPLAN Notices 52 (6), 467-481, 2017 | 41 | 2017 |
| The model is not enough: understanding energy consumption in mobile devices J Bornholt, T Mytkowicz, KS McKinley Hot Chips, 2012 | 41 | 2012 |
| A taxonomy of general purpose approximate computing techniques T Moreau, J San Miguel, M Wyse, J Bornholt, A Alaghi, L Ceze, NE Jerger, ... IEEE Embedded Systems Letters 10 (1), 2-5, 2017 | 37 | 2017 |
| Scaling symbolic evaluation for automated verification of systems code with Serval L Nelson, J Bornholt, R Gu, A Baumann, E Torlak, X Wang Proceedings of the 27th ACM Symposium on Operating Systems Principles, 225-242, 2019 | 31 | 2019 |
| Toward a DNA-based archival storage system J Bornholt, R Lopez, DM Carmean, L Ceze, G Seelig, K Strauss Ieee Micro 37 (3), 98-104, 2017 | 27 | 2017 |
| Error correction for nucleotide data stores K Strauss, SD Ang, LH Ceze, J Bornholt US Patent App. 15/004,827, 2017 | 24 | 2017 |
| Nickel: A framework for design and verification of information flow control systems H Sigurbjarnarson, L Nelson, B Castro-Karney, J Bornholt, E Torlak, ... 13th {USENIX} Symposium on Operating Systems Design and Implementation …, 2018 | 23 | 2018 |
| Disciplined inconsistency with consistency types B Holt, J Bornholt, I Zhang, D Ports, M Oskin, L Ceze Proceedings of the Seventh ACM Symposium on Cloud Computing, 279-293, 2016 | 21 | 2016 |
| Hardware-software co-design: not just a cliché A Sampson, J Bornholt, L Ceze 1st Summit on Advances in Programming Languages (SNAPL 2015), 2015 | 20 | 2015 |
| Finding code that explodes under symbolic evaluation J Bornholt, E Torlak Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-26, 2018 | 15 | 2018 |
| Automatic generation of high-performance quantized machine learning kernels M Cowan, T Moreau, T Chen, J Bornholt, L Ceze Proceedings of the 18th ACM/IEEE International Symposium on Code Generation …, 2020 | 10 | 2020 |
| Scaling program synthesis by exploiting existing code J Bornholt, E Torlak Machine Learning for Programming Languages, 2015 | 6 | 2015 |
| React: A framework for rapid exploration of approximate computing techniques M Wyse, A Baixo, T Moreau, B Zorn, J Bornholt, A Sampson, L Ceze, ... Workshop on Approximate Computing Across the Stack (WAX w/PLDI), 2015 | 5 | 2015 |
| Abstractions and techniques for programming with uncertain data J Bornholt Honors thesis, Australian National University, 2013 | 5 | 2013 |
Emina TorlakUniversity of WashingtonDirección de correo verificada de alum.mit.edu
