Filter Results:
- Full text PDF available (4)
Publication Year
2012
2018
- This year (2)
- Last 5 years (17)
- Last 10 years (19)
Publication Type
Co-author
Journals and Conferences
Learn More
- Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang
- OSDI 2016
- 2016
The file system is an essential operating system component for persisting data on storage devices. Writing bug-free file systems is non-trivial, as they must correctly implement and maintain complex… (More)
- James Bornholt, Todd Mytkowicz, Kathryn S. McKinley
- ASPLOS
- 2014
Emerging applications increasingly use estimates such as sensor data (GPS), probabilistic models, machine learning, big data, and human data. Unfortunately, representing this uncertain data with… (More)
- James Bornholt, Randolph Lopez, Douglas M. Carmean, Luis Ceze, Georg Seelig, Karin Strauss
- ASPLOS
- 2016
Demand for data storage is growing exponentially, but the capacity of existing storage media is not keeping up. Using DNA to archive data is an attractive possibility because it is extremely dense,… (More)
- James Bornholt, Emina Torlak, Dan Grossman, Luis Ceze
- POPL
- 2016
Many advanced programming tools---for both end-users and expert developers---rely on program synthesis to automatically generate implementations from high-level specifications. These tools often need… (More)
- James Bornholt, Antoine Kaufmann, Jialin Li, Arvind Krishnamurthy, Emina Torlak, Xi Wang
- ASPLOS
- 2016
Applications depend on persistent storage to recover state after system crashes. But the POSIX file system interfaces do not define the possible outcomes of a crash. As a result, it is difficult for… (More)
- Luke Nelson, Helgi Sigurbjarnarson, +4 authors Xi Wang
- SOSP
- 2017
This paper describes an approach to designing, implementing, and formally verifying the functional correctness of an OS kernel, named Hyperkernel, with a high degree of proof automation and low proof… (More)
- James Bornholt, Todd Mytkowicz, Kathryn S. McKinley
- 2012 IEEE Hot Chips 24 Symposium (HCS)
- 2012
Mobile devices are placing energy efficiency in the hands of software developers. Unfortunately, power modelling alone cannot identify significant power variations, nor is it practical in deployment.… (More)
- Adrian Sampson, James Bornholt, Luis Ceze
- SNAPL
- 2015
The age of the air-tight hardware abstraction is over. As the computing ecosystem moves beyond the predictable yearly advances of Moore’s Law, appeals to familiarity and backwards compatibility will… (More)
- James Bornholt, Emina Torlak
- PLDI
- 2017
A memory consistency model specifies which writes to shared memory a given read may see. Ambiguities or errors in these specifications can lead to bugs in both compilers and applications. Yet… (More)
- James Bornholt, Todd Mytkowicz, Kathryn S. McKinley
- IEEE Micro
- 2015
......Computing has entered the era of uncertain data, in which hardware and software generate and reason about estimates. New hardware sensors, such as those found in smartphones, fitness devices,… (More)