James Bornholt

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 27

Top Topics

Continuous Media

Storage Systems

Top Venues

Publications

Hayley LeBlanc, Nathan Taylor, James Bornholt, Vijay Chidambaram
SquirrelFS: using the Rust compiler to check file-system crash consistency. OSDI (2024)
Hayley LeBlanc, Nathan Taylor, James Bornholt, Vijay Chidambaram
SquirrelFS: using the Rust compiler to check file-system crash consistency. CoRR (2024)
Samuel Thomas, James Bornholt
Automatic Generation of Vectorizing Compilers for Customizable Digital Signal Processors. ASPLOS (1) (2024)
Hayley LeBlanc, Shankara Pailoor, Om Saran K. R. E, Isil Dillig, James Bornholt, Vijay Chidambaram
Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems. EuroSys (2023)
Jacob Van Geffen, Xi Wang, Emina Torlak, James Bornholt
Synthesis-Aided Crash Consistency for Storage Systems. ECOOP (2023)
Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Isil Dillig
Synthesizing fine-grained synchronization protocols for implicit monitors. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Hayley LeBlanc, Shankara Pailoor, Isil Dillig, James Bornholt, Vijay Chidambaram
Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems. CoRR (2022)
Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Isil Dillig
Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors. CoRR (2022)
Alexa VanHattum, Rachit Nigam, Vincent T. Lee, James Bornholt, Adrian Sampson
Vectorization for digital signal processors via equality saturation. ASPLOS (2021)
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
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3. SOSP (2021)
Luke Nelson, James Bornholt, Arvind Krishnamurthy, Emina Torlak, Xi Wang
Noninterference specifications for secure systems. ACM SIGOPS Oper. Syst. Rev. 54 (1) (2020)
Meghan Cowan, Thierry Moreau, Tianqi Chen, James Bornholt, Luis Ceze
Automatic generation of high-performance quantized machine learning kernels. CGO (2020)
Sorawee Porncharoenwase, James Bornholt, Emina Torlak
Fixing Code that Explodes Under Symbolic Evaluation. VMCAI (2020)
Alexa VanHattum, Rachit Nigam, Vincent T. Lee, James Bornholt, Adrian Sampson
A Synthesis-Aided Compiler for DSP Architectures (WiP Paper). LCTES (2020)
Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang
Scaling symbolic evaluation for automated verification of systems code with Serval. SOSP (2019)
James Bornholt, Emina Torlak
Finding code that explodes under symbolic evaluation. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Thierry Moreau, Joshua San Miguel, Mark Wyse, James Bornholt, Armin Alaghi, Luis Ceze, Natalie D. Enright Jerger, Adrian Sampson
A Taxonomy of General Purpose Approximate Computing Techniques. IEEE Embed. Syst. Lett. 10 (1) (2018)
Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang
Nickel: A Framework for Design and Verification of Information Flow Control Systems. OSDI (2018)
James Bornholt, Emina Torlak
Synthesizing memory models from framework sketches and Litmus tests. PLDI (2017)
Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang
Hyperkernel: Push-Button Verification of an OS Kernel. SOSP (2017)
James Bornholt, Randolph Lopez, Douglas M. Carmean, Luis Ceze, Georg Seelig, Karin Strauss
Toward a DNA-Based Archival Storage System. IEEE Micro 37 (3) (2017)
Helgi Sigurbjarnarson, James Bornholt, Nicolas Christin, Lorrie Faith Cranor
Push-Button Verification of File Systems via Crash Refinement. USENIX Annual Technical Conference (2017)
Brandon Holt, James Bornholt, Irene Zhang, Dan R. K. Ports, Mark Oskin, Luis Ceze
Disciplined Inconsistency with Consistency Types. SoCC (2016)
Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang
Push-Button Verification of File Systems via Crash Refinement. OSDI (2016)
James Bornholt, Emina Torlak, Dan Grossman, Luis Ceze
Optimizing synthesis with metasketches. POPL (2016)
James Bornholt, Randolph Lopez, Douglas M. Carmean, Luis Ceze, Georg Seelig, Karin Strauss
A DNA-Based Archival Storage System. ASPLOS (2016)
James Bornholt, Antoine Kaufmann, Jialin Li, Arvind Krishnamurthy, Emina Torlak, Xi Wang
Specifying and Checking File System Crash-Consistency Models. ASPLOS (2016)
James Bornholt, Todd Mytkowicz, Kathryn S. McKinley
Uncertain: Abstractions for Uncertain Hardware and Software. IEEE Micro 35 (3) (2015)
Adrian Sampson, James Bornholt, Luis Ceze
Hardware-Software Co-Design: Not Just a Cliché. SNAPL (2015)
James Bornholt, Todd Mytkowicz, Kathryn S. McKinley
Uncertain: a first-order type for uncertain data. ASPLOS (2014)
James Bornholt, Todd Mytkowicz, Kathryn S. McKinley
The model is not enough: Understanding energy consumption in mobile devices. Hot Chips Symposium (2012)