@misc{indiciae14ead80ded9c,
  title = {täkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version)},
  author = {Pranav Srinivasan and Manos Kapritsos and Yatin A. Manerkar},
  year = {2026},
  url = {https://arxiv.org/abs/2605.04172},
  note = {Source identifier: 2605.04172}
}