What application virtual machines are out there that are written in higher level languages? C/C++ looks like the languages of choice (for obvious reasons). What I have found on google is at least two written in Java (both meta-circular) : JikesRVM and Maxine. Anything else that you have found?