@misc{indiciaebf3503a5876f,
  title = {Towards Certificate-Driven Software Porting: A Self-Improving Agentic Harness for Scientific Program Optimization},
  author = {Piyush Jha and Aishik Ghosh and Vijay Ganesh},
  year = {2026},
  url = {https://arxiv.org/abs/2609.34069},
  note = {Source identifier: 2609.34069}
}