The interaction of operating systems and computer architecture: A workshop summary | IEEE Journals & Magazine | IEEE Xplore