Person. Pranav Srinivasan PhD · University of Michigan · pransr.in · GenericMonkey PhD advisorManos Kapritsos, Yatin Manerkar PhDUniversity of Michigan Master’sUniversity of Michigan UndergraduateUniversity of Michigan Papers TäKōFormal: Enabling Robust Software for Programmable Memory Hierarchies srinivasan-2026-takoformalISCA · 2026 DOI · arXiv Verus: A Practical Foundation for Systems Verification lattuada-2024-verusSOSP · 2024 DOI A Defense-Inspired Benchmark Suite ehrett-2021-aISPASS · 2021 DOI