QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines. - Gabriel Kerneis; Charlie Shepherd; Stefan Hajnoczi (PEPM, 2014)