Concepedia

James Bornholt

JB

25

Publications

1.4K

Citations

20

H-Index

2012

Active since

Affiliations

University of Washington(Current)

Microsoft (United States)

The University of Texas at Austin

Microsoft Research (United Kingdom)

Australian National University

James Bornholt is an author at University of Washington specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsComputer EngineeringSoftware AnalysisVerificationProgram AnalysisSoftware EngineeringData ManagementSoftware Design

Publications per year

2012–2024

25

Publications

25

A DNA-Based Archival Storage System

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

Storage Performance, Engineering, Genetics +18

Uncertain< <i>T</i> >

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

Engineering, Machine Learning, Verification +20

Optimizing synthesis with metasketches

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

Engineering, Computer Architecture, Software Engineering +20

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

Engineering, Verification, Computer Architecture +16

Toward a DNA-Based Archival Storage System

James Bornholt, Randolph Lopez, Douglas M. Carmean et al. · IEEE Micro · 2017 · 74 citations

Dna, Engineering, Genetics +18

Rows per page

1–5 of 25