srinivasan-2026-takoformal:
  type: article
  title: 'TäKōFormal: Enabling Robust Software for Programmable Memory Hierarchies'
  author:
  - Srinivasan, Pranav
  - Kapritsos, Manos
  - Manerkar, Yatin
  date: 2026-06
  page-range: 2221-2237
  serial-number:
    doi: 10.1109/isca66397.2026.00157
  parent:
    type: proceedings
    title: 2026 ACM/IEEE 53rd Annual International Symposium on Computer Architecture (ISCA)
    publisher: IEEE