Reversing the CPS transformation? A quick Google search didn't turn up anything obvious, so I'm asking here. 

Converting direct style programs to continuation-passing style is a well-studied program transformation. However, I'm interested in the reverse transformation -- I'd like to take a program in CPS, and convert it to direct-style. Obviously the identity trasnformation works, in a vacuous sense, but I'm interested in transformations that are "as direct-style as possible".
I think your looking for Back to Direct Style by Olivier Danvy