How else will he get the 1.21 Gigasamples he needs to travel back in time?
Anyway, here's a list I Googled in 1.21 seconds. It's old, but all the apps you mentioned are listed there and should work assuming they didn't remove x64 compatibility at some point since then.
For any other apps and music software, you'll most likely have to look at each of their sites and see if they mention anything about 64-bit builds or compatibility (for example, Cakewalk actually brags about 64-bit SONAR). You might have to rummage around their forums as well. Alternatively, you could just post a thread in your local audio forum (after searching first of course), as I'm sure many others have dealt with the same issue (like these people and this other guy).
Also, I believe XP x64 has a 32-bit compatibility mode, so at worst you'd have to use that for certain programs.
Good luck.