3 papers
cs.LO2026
Dynamically Reprogrammable Runtime Monitors for Bounded-time MTL
Chirantan Hebballi, Akash Poptani, Amrutha Benny +3
A Runtime Verification (RV) framework that supports online, at-speed verification of properties that can change dynamically (during in-field operations) will benefit a large variet…
cs.DC2025
Characterizing Adaptive Mesh Refinement on Heterogeneous Platforms with Parthenon-VIBE
Akash Poptani, Alireza Khadem, Scott Mahlke +3
Hero-class HPC simulations rely on Adaptive Mesh Refinement (AMR) to reduce compute and memory demands while maintaining accuracy. This work analyzes the performance of Parthenon,…
cs.AR2025
DX100: A Programmable Data Access Accelerator for Indirection
Alireza Khadem, Kamalavasan Kamalakkannan, Zhenyan Zhu +8
Indirect memory accesses frequently appear in applications where memory bandwidth is a critical bottleneck. Prior indirect memory access proposals, such as indirect prefetchers, ru…