TY  - RPRT
TI  - Towards a Verifiable Domain-Specific Language for Hardware-Accelerated Stencils
AU  - Rouson, Damian
AU  - Yang, Xaokun
PY  - 2026
DO  - 10.2172/3393684
UR  - https://www.osti.gov/biblio/3393684
ID  - 3393684
ER  -