@inproceedings{srinivasan-2026-takoformal, title={TäKōFormal: Enabling Robust Software for Programmable Memory Hierarchies}, url={http://dx.doi.org/10.1109/isca66397.2026.00157}, DOI={10.1109/isca66397.2026.00157}, booktitle={2026 ACM/IEEE 53rd Annual International Symposium on Computer Architecture (ISCA)}, publisher={IEEE}, author={Srinivasan, Pranav and Kapritsos, Manos and Manerkar, Yatin A.}, year={2026}, month=June, pages={2221–2237} }