TY  - RPRT
TI  - Towards Certificate-Driven Software Porting: A Self-Improving Agentic Harness for Scientific Program Optimization
AU  - Piyush Jha
AU  - Aishik Ghosh
AU  - Vijay Ganesh
PY  - 2026
UR  - https://arxiv.org/abs/2609.34069
ID  - 2609.34069
ER  -