James Bornholt

A DNA-Based Archival Storage System

James Bornholt, Randolph Lopez, Douglas M. Carmean et al. · 2016 · 310 citations

Computing, Biotechnology, Molecular Biology +17

Uncertain&lt; <i>T</i> &gt;

James Bornholt, Todd Mytkowicz, Kathryn S. McKinley · 2014 · 115 citations

Computing, Computer Science, Data Science +16

Optimizing synthesis with metasketches

James Bornholt, Emina Torlak, Dan Grossman et al. · 2016 · 80 citations

Computing, Computer Engineering, Computer Science +15

Hyperkernel

Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang et al. · 2017 · 77 citations · Full text

Computing, Computer Science, Computer Systems +16

Scaling symbolic evaluation for automated verification of systems code with Serval

Luke Nelson, James Bornholt, Ronghui Gu et al. · 2019 · 77 citations · Full text

Computing, Computer Engineering, Computer Science +12