James Bornholt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
11
Active years
2014–2024
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ASPLOS | Automatic Generation of Vectorizing Compilers for Customizable Digital Signal Processors. | Samuel Thomas, James Bornholt |
| 2024 | OSDI | SquirrelFS: using the Rust compiler to check file-system crash consistency. | Hayley LeBlanc, Nathan Taylor, James Bornholt, Vijay Chidambaram |
| 2023 | ECOOP | Synthesis-Aided Crash Consistency for Storage Systems. | Jacob Van Geffen, Xi Wang, Emina Torlak, James Bornholt |
| 2023 | EuroSys | Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems. | Hayley LeBlanc, Shankara Pailoor, Om Saran K. R. E., Isil Dillig, James Bornholt, Vijay Chidambaram |
| 2021 | ASPLOS | Vectorization for digital signal processors via equality saturation. | Alexa VanHattum, Rachit Nigam, Vincent T. Lee, James Bornholt, Adrian Sampson |
| 2021 | SOSP | 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 |
| 2020 | CGO | Automatic generation of high-performance quantized machine learning kernels. | Meghan Cowan, Thierry Moreau, Tianqi Chen, James Bornholt, Luis Ceze |
| 2020 | VMCAI | Fixing Code that Explodes Under Symbolic Evaluation. | Sorawee Porncharoenwase, James Bornholt, Emina Torlak |
| 2019 | SOSP | Scaling symbolic evaluation for automated verification of systems code with Serval. | Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang |
| 2018 | OSDI | 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 |
| 2017 | PLDI | Synthesizing memory models from framework sketches and Litmus tests. | James Bornholt, Emina Torlak |
| 2017 | USENIX | Push-Button Verification of File Systems via Crash Refinement. | Helgi Sigurbjarnarson, James Bornholt, Nicolas Christin, Lorrie Faith Cranor |
| 2017 | SOSP | Hyperkernel: Push-Button Verification of an OS Kernel. | Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang |
| 2016 | ASPLOS | Specifying and Checking File System Crash-Consistency Models. | James Bornholt, Antoine Kaufmann, Jialin Li, Arvind Krishnamurthy, Emina Torlak, Xi Wang |
| 2016 | ASPLOS | A DNA-Based Archival Storage System. | James Bornholt, Randolph Lopez, Douglas M. Carmean, Luis Ceze, Georg Seelig, Karin Strauss |
| 2016 | CLOUD | Disciplined Inconsistency with Consistency Types. | Brandon Holt, James Bornholt, Irene Zhang, Dan R. K. Ports, Mark Oskin, Luis Ceze |
| 2016 | OSDI | Push-Button Verification of File Systems via Crash Refinement. | Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang |
| 2016 | POPL | Optimizing synthesis with metasketches. | James Bornholt, Emina Torlak, Dan Grossman, Luis Ceze |
| 2014 | ASPLOS | Uncertain: a first-order type for uncertain data. | James Bornholt, Todd Mytkowicz, Kathryn S. McKinley |