@misc{indiciaedac18d914fdf,
  title = {Towards a Verifiable Domain-Specific Language for Hardware-Accelerated Stencils},
  author = {Rouson, Damian and Yang, Xaokun},
  year = {2026},
  doi = {10.2172/3393684},
  url = {https://www.osti.gov/biblio/3393684},
  note = {Source identifier: 3393684}
}