The model is not enough: Understanding energy consumption in mobile devices. - James Bornholt; Todd Mytkowicz; Kathryn S. McKinley (Hot Chips Symposium, 2012)

Uncertain: a first-order type for uncertain data. - James Bornholt; Todd Mytkowicz; Kathryn S. McKinley (ASPLOS, 2014)

Hardware-Software Co-Design: Not Just a Cliché. - Adrian Sampson; James Bornholt; Luis Ceze (SNAPL, 2015)

Uncertain<T>: Abstractions for Uncertain Hardware and Software. - James Bornholt; Todd Mytkowicz; Kathryn S. McKinley (IEEE Micro, 2015)

Specifying and Checking File System Crash-Consistency Models. - James Bornholt; Antoine Kaufmann; Jialin Li 001; Arvind Krishnamurthy; Emina Torlak; Xi Wang 005 (ASPLOS, 2016)

A DNA-Based Archival Storage System. - James Bornholt; Randolph Lopez; Douglas M. Carmean; Luis Ceze; Georg Seelig; Karin Strauss (ASPLOS, 2016)

Disciplined Inconsistency with Consistency Types. - Brandon Holt; James Bornholt; Irene Zhang; Dan R. K. Ports; Mark Oskin; Luis Ceze (SoCC, 2016)

Push-Button Verification of File Systems via Crash Refinement. - Helgi Sigurbjarnarson; James Bornholt; Emina Torlak; Xi Wang 005 (OSDI, 2016)

Optimizing synthesis with metasketches. - James Bornholt; Emina Torlak; Dan Grossman; Luis Ceze (POPL, 2016)

Synthesizing memory models from framework sketches and Litmus tests. - James Bornholt; Emina Torlak (PLDI, 2017)

Hyperkernel: Push-Button Verification of an OS Kernel. - Luke Nelson; Helgi Sigurbjarnarson; Kaiyuan Zhang 001; Dylan Johnson; James Bornholt; Emina Torlak; Xi Wang 005 (SOSP, 2017)

Push-Button Verification of File Systems via Crash Refinement. - Helgi Sigurbjarnarson; James Bornholt; Nicolas Christin; Lorrie Faith Cranor (USENIX ATC, 2017)

Toward a DNA-Based Archival Storage System. - James Bornholt; Randolph Lopez; Douglas M. Carmean; Luis Ceze; Georg Seelig; Karin Strauss (IEEE Micro, 2017)

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 005 (OSDI, 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)

Finding code that explodes under symbolic evaluation. - James Bornholt; Emina Torlak (Proc. ACM Program. Lang., 2018)

Scaling symbolic evaluation for automated verification of systems code with Serval. - Luke Nelson; James Bornholt; Ronghui Gu; Andrew Baumann; Emina Torlak; Xi Wang 005 (SOSP, 2019)

Optimizing the Automated Programming Stack. - James Bornholt (2019)

Automatic generation of high-performance quantized machine learning kernels. - Meghan Cowan; Thierry Moreau; Tianqi Chen 001; James Bornholt; Luis Ceze (CGO, 2020)

A Synthesis-Aided Compiler for DSP Architectures (WiP Paper). - Alexa VanHattum; Rachit Nigam; Vincent T. Lee; James Bornholt; Adrian Sampson (LCTES, 2020)

Fixing Code that Explodes Under Symbolic Evaluation. - Sorawee Porncharoenwase; James Bornholt; Emina Torlak (VMCAI, 2020)

Noninterference specifications for secure systems. - Luke Nelson; James Bornholt; Arvind Krishnamurthy; Emina Torlak; Xi Wang 005 (ACM SIGOPS Oper. Syst. Rev., 2020)

Vectorization for digital signal processors via equality saturation. - Alexa VanHattum; Rachit Nigam; Vincent T. Lee; James Bornholt; Adrian Sampson (ASPLOS, 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 (SOSP, 2021)

Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version). - Kostas Ferles; Benjamin Sepanski; Rahul Krishnan; James Bornholt; Isil Dillig (CoRR, 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. - Kostas Ferles; Benjamin Sepanski; Rahul Krishnan; James Bornholt; Isil Dillig (Proc. ACM Program. Lang., 2022)

Synthesis-Aided Crash Consistency for Storage Systems. - Jacob Van Geffen; Xi Wang 005; Emina Torlak; James Bornholt (ECOOP, 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 (EuroSys, 2023)

Automatic Generation of Vectorizing Compilers for Customizable Digital Signal Processors. - Samuel Thomas; James Bornholt (ASPLOS (1), 2024)

SquirrelFS: using the Rust compiler to check file-system crash consistency. - Hayley LeBlanc; Nathan Taylor; James Bornholt; Vijay Chidambaram (OSDI, 2024)