Atomic Instruction Translation Towards A Multi-Threaded QEMU. - Alvise Rigo; Alexander Spyridakis; Daniel Raho (ECMS, 2016)