Person. Yatin Manerkar University of Michigan · 0000-0002-6954-2292 PhD studentsPranav Srinivasan Papers TäKōFormal: Enabling Robust Software for Programmable Memory Hierarchies srinivasan-2026-takoformalISCA · 2026 DOI · arXiv