default search action

combined dblp search
author search
venue search
publication search

ask others

James Bornholt

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/ThomasB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/ThomasB24
Samuel Thomas, James Bornholt:
Automatic Generation of Vectorizing Compilers for Customizable Digital Signal Processors. ASPLOS (1) 2024: 19-34
[c21]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/osdi/LeBlancTBC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/LeBlancTBC24
Hayley LeBlanc, Nathan Taylor, James Bornholt, Vijay Chidambaram:
SquirrelFS: using the Rust compiler to check file-system crash consistency. OSDI 2024: 387-404
[i3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-09649
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-09649
Hayley LeBlanc, Nathan Taylor, James Bornholt, Vijay Chidambaram:
SquirrelFS: using the Rust compiler to check file-system crash consistency. CoRR abs/2406.09649 (2024)
2023
[c20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/Geffen0TB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/Geffen0TB23
Jacob Van Geffen, Xi Wang, Emina Torlak, James Bornholt:
Synthesis-Aided Crash Consistency for Storage Systems. ECOOP 2023: 35:1-35:26
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/LeBlancPEDBC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/LeBlancPEDBC23
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: 718-733
2022
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/FerlesSKBD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/FerlesSKBD22
Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Isil Dillig:
Synthesizing fine-grained synchronization protocols for implicit monitors. Proc. ACM Program. Lang. 6(OOPSLA1): 1-26 (2022)
[i2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-00783
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-00783
Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Isil Dillig:
Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version). CoRR abs/2203.00783 (2022)
[i1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-06066
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-06066
Hayley LeBlanc, Shankara Pailoor, Isil Dillig, James Bornholt, Vijay Chidambaram:
Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems. CoRR abs/2204.06066 (2022)
2021
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/VanHattumNLBS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/VanHattumNLBS21
Alexa VanHattum, Rachit Nigam, Vincent T. Lee, James Bornholt, Adrian Sampson:
Vectorization for digital signal processors via equality saturation. ASPLOS 2021: 874-886
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/BornholtJACKMSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/BornholtJACKMSS21
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: 836-850
2020
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/sigops/NelsonBKTW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigops/NelsonBKTW20
Luke Nelson, James Bornholt, Arvind Krishnamurthy, Emina Torlak, Xi Wang:
Noninterference specifications for secure systems. ACM SIGOPS Oper. Syst. Rev. 54(1): 31-39 (2020)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/cgo/CowanMCBC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cgo/CowanMCBC20
Meghan Cowan, Thierry Moreau, Tianqi Chen, James Bornholt, Luis Ceze:
Automatic generation of high-performance quantized machine learning kernels. CGO 2020: 305-316
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/lctrts/VanHattumNLBS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lctrts/VanHattumNLBS20
Alexa VanHattum, Rachit Nigam, Vincent T. Lee, James Bornholt, Adrian Sampson:
A Synthesis-Aided Compiler for DSP Architectures (WiP Paper). LCTES 2020: 131-135
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Porncharoenwase20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Porncharoenwase20
Sorawee Porncharoenwase, James Bornholt, Emina Torlak:
Fixing Code that Explodes Under Symbolic Evaluation. VMCAI 2020: 44-67

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[b1]
- view
  - electronic edition via handle.net
  - details & citations
- export record
  dblp key:
  - phd/us/Bornholt19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Bornholt19
James Bornholt:
Optimizing the Automated Programming Stack. University of Washington, USA, 2019
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/NelsonBGBTW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/NelsonBGBTW19
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: 225-242
2018
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/esl/MoreauMWBACJS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/esl/MoreauMWBACJS18
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): 2-5 (2018)
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/BornholtT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/BornholtT18
James Bornholt, Emina Torlak:
Finding code that explodes under symbolic evaluation. Proc. ACM Program. Lang. 2(OOPSLA): 149:1-149:26 (2018)
[c12]
- view
- export record
  dblp key:
  - conf/osdi/Sigurbjarnarson18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/Sigurbjarnarson18
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: 287-305
2017
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/micro/BornholtLCCSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/micro/BornholtLCCSS17
James Bornholt, Randolph Lopez, Douglas M. Carmean, Luis Ceze, Georg Seelig, Karin Strauss:
Toward a DNA-Based Archival Storage System. IEEE Micro 37(3): 98-104 (2017)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BornholtT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BornholtT17
James Bornholt, Emina Torlak:
Synthesizing memory models from framework sketches and Litmus tests. PLDI 2017: 467-481
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/NelsonSZJBTW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/NelsonSZJBTW17
Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang:
Hyperkernel: Push-Button Verification of an OS Kernel. SOSP 2017: 252-269
[c9]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/usenix/Sigurbjarnarson17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/usenix/Sigurbjarnarson17
Helgi Sigurbjarnarson, James Bornholt, Nicolas Christin, Lorrie Faith Cranor:
Push-Button Verification of File Systems via Crash Refinement. USENIX ATC 2017
2016
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/BornholtKLKTW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/BornholtKLKTW16
James Bornholt, Antoine Kaufmann, Jialin Li, Arvind Krishnamurthy, Emina Torlak, Xi Wang:
Specifying and Checking File System Crash-Consistency Models. ASPLOS 2016: 83-98
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/BornholtLCCSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/BornholtLCCSS16
James Bornholt, Randolph Lopez, Douglas M. Carmean, Luis Ceze, Georg Seelig, Karin Strauss:
A DNA-Based Archival Storage System. ASPLOS 2016: 637-649
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/cloud/HoltBZPOC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cloud/HoltBZPOC16
Brandon Holt, James Bornholt, Irene Zhang, Dan R. K. Ports, Mark Oskin, Luis Ceze:
Disciplined Inconsistency with Consistency Types. SoCC 2016: 279-293
[c5]
- view
- export record
  dblp key:
  - conf/osdi/Sigurbjarnarson16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/Sigurbjarnarson16
Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang:
Push-Button Verification of File Systems via Crash Refinement. OSDI 2016: 1-16
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/BornholtTGC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/BornholtTGC16
James Bornholt, Emina Torlak, Dan Grossman, Luis Ceze:
Optimizing synthesis with metasketches. POPL 2016: 775-788
2015
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/micro/BornholtMM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/micro/BornholtMM15
James Bornholt, Todd Mytkowicz, Kathryn S. McKinley:
Uncertain<T>: Abstractions for Uncertain Hardware and Software. IEEE Micro 35(3): 132-143 (2015)
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/snapl/SampsonBC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snapl/SampsonBC15
Adrian Sampson, James Bornholt, Luis Ceze:
Hardware-Software Co-Design: Not Just a Cliché. SNAPL 2015: 262-273
2014
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/BornholtMM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/BornholtMM14
James Bornholt, Todd Mytkowicz, Kathryn S. McKinley:
Uncertain: a first-order type for uncertain data. ASPLOS 2014: 51-66
2012
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/hotchips/BornholtMM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotchips/BornholtMM12
James Bornholt, Todd Mytkowicz, Kathryn S. McKinley:
The model is not enough: Understanding energy consumption in mobile devices. Hot Chips Symposium 2012: 1-3

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.