Linked Presentation: Automatically Reasoning About How Systems Code Uses the CPU CachePerformance Interfaces for Hardware Accelerators