A Safety-First Approach to Memory Models | IEEE Journals & Magazine | IEEE Xplore