Sotabase

Career

· Research Scientist, Amazon Web Services2024–
· Assistant Professor, University of Texas at Austin2024–
· Alumni, Columbia University Software Systems Laboratory (SSL)

Publications (40)

A DNA-Based Archival Storage System
International Conference on Architectural Support for Programming Languages and Operating Systems · 2016
448
cited
This Paper Is Included in the Proceedings of the 12th Usenix Symposium on Operating Systems Design and Implementation (osdi '16). Push-button Verification of File Systems via Crash Refinement Push-button Verification of File Systems via Crash Refinement
125
cited
Scaling symbolic evaluation for automated verification of systems code with Serval
Symposium on Operating Systems Principles · 2019
118
cited
Hyperkernel: Push-Button Verification of an OS Kernel
Symposium on Operating Systems Principles · 2017
117
cited
Artifact
Artifact Digital Object Group · 2018
110
cited
Uncertain: a first-order type for uncertain data
International Conference on Architectural Support for Programming Languages and Operating Systems · 2014
102
cited
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
Symposium on Operating Systems Principles · 2021
99
cited
Optimizing synthesis with metasketches
ACM-SIGACT Symposium on Principles of Programming Languages · 2016
94
cited
Specifying and Checking File System Crash-Consistency Models
International Conference on Architectural Support for Programming Languages and Operating Systems · 2016
83
cited
Uncertain <<< T >>> : A First-Order Type for Uncertain Data
2014
78
cited
Synthesizing memory models from framework sketches and Litmus tests
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2017
62
cited
Vectorization for digital signal processors via equality saturation
International Conference on Architectural Support for Programming Languages and Operating Systems · 2021
62
cited
Nickel: A Framework for Design and Verification of Information Flow Control Systems
USENIX Symposium on Operating Systems Design and Implementation · 2018
53
cited
Automatic generation of high-performance quantized machine learning kernels
IEEE/ACM International Symposium on Code Generation and Optimization · 2020
52
cited
The model is not enough: Understanding energy consumption in mobile devices
IEEE Hot Chips Symposium · 2012
52
cited
Toward a DNA-Based Archival Storage System
IEEE Micro · 2017
48
cited
Disciplined Inconsistency with Consistency Types
ACM Symposium on Cloud Computing · 2016
38
cited
A Taxonomy of General Purpose Approximate Computing Techniques
IEEE Embedded Systems Letters · 2018
34
cited
Hardware-Software Co-Design: Not Just a Cliché
Summit on Advances in Programming Languages · 2015
23
cited
Finding code that explodes under symbolic evaluation
Proc. ACM Program. Lang. · 2018
21
cited
Sotabase
James Bornholt | Researcher Profile | Sotabase | Sotabase