Följ
James Bornholt
James Bornholt
Verifierad e-postadress på cs.utexas.edu - Startsida
Titel
Citeras av
Citeras av
År
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
4742016
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
188*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 (OSDI …, 2016
1392016
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
1342017
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
1112019
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
1102016
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
862016
Synthesizing memory models from framework sketches and litmus tests
J Bornholt, E Torlak
ACM SIGPLAN Notices 52 (6), 467-481, 2017
832017
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
762017
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
642017
Error correction for nucleotide data stores
K Strauss, SD Ang, LH Ceze, J Bornholt
US Patent App. 15/004,827, 2017
632017
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 (OSDI …, 2018
582018
Using lightweight formal methods to validate a key-value storage node in Amazon S3
J Bornholt, R Joshi, V Astrauskas, B Cully, B Kragl, S Markle, K Sauri, ...
Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles …, 2021
552021
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
462020
The model is not enough: understanding energy consumption in mobile devices
J Bornholt, T Mytkowicz, KS McKinley
Hot Chips, 2012
442012
Vectorization for digital signal processors via equality saturation
A VanHattum, R Nigam, VT Lee, J Bornholt, A Sampson
Proceedings of the 26th ACM International Conference on Architectural …, 2021
432021
Finding code that explodes under symbolic evaluation
J Bornholt, E Torlak
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-26, 2018
382018
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
382016
Hardware-software co-design: not just a cliché
A Sampson, J Bornholt, L Ceze
1st Summit on Advances in Programming Languages (SNAPL 2015), 2015
262015
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), 7-9, 2015
122015
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20