James Bornholt

Orcid: 0000-0002-3258-3226

According to our database1, James Bornholt authored at least 29 papers between 2012 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems.
Proceedings of the Eighteenth European Conference on Computer Systems, 2023

Synthesis-Aided Crash Consistency for Storage Systems.
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022
Synthesizing fine-grained synchronization protocols for implicit monitors.
Proc. ACM Program. Lang., 2022

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

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

2021
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3.
Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

Vectorization for digital signal processors via equality saturation.
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.
ACM SIGOPS Oper. Syst. Rev., 2020

Fixing Code that Explodes Under Symbolic Evaluation.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

A Synthesis-Aided Compiler for DSP Architectures (WiP Paper).
Proceedings of the 21st ACM SIGPLAN/SIGBED International Conference on Languages, 2020

Automatic generation of high-performance quantized machine learning kernels.
Proceedings of the CGO '20: 18th ACM/IEEE International Symposium on Code Generation and Optimization, 2020

2019
Optimizing the Automated Programming Stack.
PhD thesis, 2019

Scaling symbolic evaluation for automated verification of systems code with Serval.
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

2018
Finding code that explodes under symbolic evaluation.
Proc. ACM Program. Lang., 2018

A Taxonomy of General Purpose Approximate Computing Techniques.
IEEE Embed. Syst. Lett., 2018

Nickel: A Framework for Design and Verification of Information Flow Control Systems.
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

2017
Toward a DNA-Based Archival Storage System.
IEEE Micro, 2017

Push-Button Verification of File Systems via Crash Refinement.
Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Hyperkernel: Push-Button Verification of an OS Kernel.
Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Synthesizing memory models from framework sketches and Litmus tests.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016
Optimizing synthesis with metasketches.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Push-Button Verification of File Systems via Crash Refinement.
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

Disciplined Inconsistency with Consistency Types.
Proceedings of the Seventh ACM Symposium on Cloud Computing, 2016

A DNA-Based Archival Storage System.
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.
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.
IEEE Micro, 2015

Hardware-Software Co-Design: Not Just a Cliché.
Proceedings of the 1st Summit on Advances in Programming Languages, 2015

2014
Uncertain: a first-order type for uncertain data.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2012
The model is not enough: Understanding energy consumption in mobile devices.
Proceedings of the 2012 IEEE Hot Chips 24 Symposium (HCS), 2012


  Loading...