Trash in cache: detecting eternally silent stores. - Jonathan A. Shidal; Zachary Gottlieb; Ron K. Cytron; Krishna M. Kavi (MSPC@PLDI, 2014)