A DNA-Based Archival Storage System

James Bornholt, Randolph Lopez, Douglas M. Carmean, +2

Storage PerformanceEngineeringGeneticsStorage ManagementMolecular Biology +16

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

James Bornholt, Todd Mytkowicz, Kathryn S. McKinley

EngineeringMachine LearningVerificationProbabilistic LearningUncertain Database +18

Optimizing synthesis with metasketches

James Bornholt, Emina Torlak, Dan Grossman, +1

EngineeringComputer ArchitectureSoftware EngineeringSystem SynthesisSoftware Analysis +18

Hyperkernel

Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, +4

EngineeringVerificationComputer ArchitectureComputer-aided VerificationFormal Verification +14

Toward a DNA-Based Archival Storage System

James Bornholt, Randolph Lopez, Douglas M. Carmean, +2

IEEE Micro

DnaEngineeringGeneticsDna AnalysisStorage Management +16

Scaling symbolic evaluation for automated verification of systems code with Serval

Luke Nelson, James Bornholt, Ronghui Gu, +3

Program CheckingEngineeringVerificationSymbolic ProfilingComputer-aided Verification +22

A DNA-Based Archival Storage System

James Bornholt, Randolph Lopez, Douglas M. Carmean, +2

ACM SIGOPS Operating Systems Review

Storage PerformanceEngineeringGeneticsStorage ManagementMolecular Biology +16

Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3

James Bornholt, Rajeev Joshi, Vytautas Astrauskas, +9

Software MaintenanceEngineeringVerificationStorage ManagementSoftware Engineering +23

Push-button verification of file systems via crash refinement

Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, +1

Operating Systems Design and Implementation

Software MaintenanceDistributed File SystemEngineeringFile System CorrectnessVerification +18

A DNA-Based Archival Storage System

James Bornholt, Randolph Lopez, Douglas M. Carmean, +2

ACM SIGARCH Computer Architecture News

Storage PerformanceEngineeringGeneticsStorage ManagementMolecular Biology +16