@misc{indiciae3d8b2e6dac01,
  title = {A Formal Model for Portable, Heterogeneous Accelerator Programming},
  author = {Sullivan, Zachary Joseph and Pollard, Samuel Douglas},
  year = {2024},
  doi = {10.2172/2999257},
  url = {https://www.osti.gov/biblio/2999257},
  note = {Source identifier: 2999257}
}