You can use weak memory models for speculative execution, too! In h_poncedeleon's upcoming S&P'22 paper, we show how CAT models can detect code vulnerable to Spectre-PHT, Spectre-STL, predictive store forwarding, and memory ordering machine clears. (1/4)
Posted 2 years ago (13 December 2021)