2 papers
cs.PF2025
DEER: Deep Runahead for Instruction Prefetching on Modern Mobile Workloads
Parmida Vahdatniya, Julian Humecki, Henry Kao +7
Mobile workloads incur heavy frontend stalls due to increasingly large code footprints as well as long repeat cycles. Existing instruction-prefetching techniques suffer from low co…
cs.LO2018
On Verifying Timed Hyperproperties
Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones
We study the satisfiability and model-checking problems for timed hyperproperties specified with HyperMTL, a timed extension of HyperLTL. Depending on whether interleaving of event…