James Bornholt

33 papers A* 12A 3B 2Journal 10Unranked 5

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