James Bornholt

According to our database, James Bornholt authored at least 31 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

SquirrelFS: using the Rust compiler to check file-system crash consistency.

Hayley LeBlanc, Nathan Taylor, James Bornholt, Vijay Chidambaram

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

Automatic Generation of Vectorizing Compilers for Customizable Digital Signal Processors.

Samuel Thomas, James Bornholt

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems.

Hayley LeBlanc, Shankara Pailoor, Om Saran K. R. E, Isil Dillig, James Bornholt, Vijay Chidambaram

Proceedings of the Eighteenth European Conference on Computer Systems, 2023

Synthesis-Aided Crash Consistency for Storage Systems.

Jacob Van Geffen, Xi Wang, Emina Torlak, James Bornholt

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Synthesizing fine-grained synchronization protocols for implicit monitors.

Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Isil Dillig

Proc. ACM Program. Lang., 2022

Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems.

Hayley LeBlanc, Shankara Pailoor, Isil Dillig, James Bornholt, Vijay Chidambaram

CoRR, 2022

Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version).

Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Isil Dillig

CoRR, 2022

2021

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

James Bornholt, Rajeev Joshi, Vytautas Astrauskas, Brendan Cully, Bernhard Kragl, Seth Markle, Kyle Sauri, Drew Schleit, Grant Slatton, Serdar Tasiran, Jacob Van Geffen, Andrew Warfield

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

Vectorization for digital signal processors via equality saturation.

Alexa VanHattum, Rachit Nigam, Vincent T. Lee, James Bornholt, Adrian Sampson

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020

Noninterference specifications for secure systems.

Luke Nelson, James Bornholt, Arvind Krishnamurthy, Emina Torlak, Xi Wang

ACM SIGOPS Oper. Syst. Rev., 2020

Fixing Code that Explodes Under Symbolic Evaluation.

Sorawee Porncharoenwase, James Bornholt, Emina Torlak

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

A Synthesis-Aided Compiler for DSP Architectures (WiP Paper).

Alexa VanHattum, Rachit Nigam, Vincent T. Lee, James Bornholt, Adrian Sampson

Proceedings of the 21st ACM SIGPLAN/SIGBED International Conference on Languages, 2020

Automatic generation of high-performance quantized machine learning kernels.

Meghan Cowan, Thierry Moreau, Tianqi Chen, James Bornholt, Luis Ceze

Proceedings of the CGO '20: 18th ACM/IEEE International Symposium on Code Generation and Optimization, 2020

2019

Optimizing the Automated Programming Stack.

James Bornholt

PhD thesis, 2019

Scaling symbolic evaluation for automated verification of systems code with Serval.

Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

2018

Finding code that explodes under symbolic evaluation.

James Bornholt, Emina Torlak

Proc. ACM Program. Lang., 2018

A Taxonomy of General Purpose Approximate Computing Techniques.

Thierry Moreau, Joshua San Miguel, Mark Wyse, James Bornholt, Armin Alaghi, Luis Ceze, Natalie D. Enright Jerger, Adrian Sampson

IEEE Embed. Syst. Lett., 2018

Nickel: A Framework for Design and Verification of Information Flow Control Systems.

Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

2017

Toward a DNA-Based Archival Storage System.

James Bornholt, Randolph Lopez, Douglas M. Carmean, Luis Ceze, Georg Seelig, Karin Strauss

IEEE Micro, 2017

Push-Button Verification of File Systems via Crash Refinement.

Helgi Sigurbjarnarson, James Bornholt, Nicolas Christin, Lorrie Faith Cranor

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Hyperkernel: Push-Button Verification of an OS Kernel.

Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Synthesizing memory models from framework sketches and Litmus tests.

James Bornholt, Emina Torlak

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

Optimizing synthesis with metasketches.

James Bornholt, Emina Torlak, Dan Grossman, Luis Ceze

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Push-Button Verification of File Systems via Crash Refinement.

Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

Disciplined Inconsistency with Consistency Types.

Brandon Holt, James Bornholt, Irene Zhang, Dan R. K. Ports, Mark Oskin, Luis Ceze

Proceedings of the Seventh ACM Symposium on Cloud Computing, 2016

A DNA-Based Archival Storage System.

James Bornholt, Randolph Lopez, Douglas M. Carmean, Luis Ceze, Georg Seelig, Karin Strauss

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

Specifying and Checking File System Crash-Consistency Models.

James Bornholt, Antoine Kaufmann, Jialin Li, Arvind Krishnamurthy, Emina Torlak, Xi Wang

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2015

Uncertain<T>: Abstractions for Uncertain Hardware and Software.

James Bornholt, Todd Mytkowicz, Kathryn S. McKinley

IEEE Micro, 2015

Hardware-Software Co-Design: Not Just a Cliché.

Adrian Sampson, James Bornholt, Luis Ceze

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

2014

Uncertain: a first-order type for uncertain data.

James Bornholt, Todd Mytkowicz, Kathryn S. McKinley

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2012

The model is not enough: Understanding energy consumption in mobile devices.

James Bornholt, Todd Mytkowicz, Kathryn S. McKinley

Proceedings of the 2012 IEEE Hot Chips 24 Symposium (HCS), 2012